Skip to content

Commit 9152dd7

Browse files
authored
gnu.cfg: Added support for dlmopen() (danmar#7151)
Reference: https://www.man7.org/linux/man-pages/man3/dlmopen.3.html
1 parent e228821 commit 9152dd7

File tree

1 file changed

+19
-0
lines changed

1 file changed

+19
-0
lines changed

cfg/gnu.cfg

Lines changed: 19 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -181,6 +181,25 @@
181181
<strz/>
182182
</arg>
183183
</function>
184+
<!-- see https://www.man7.org/linux/man-pages/man3/dlmopen.3.html -->
185+
<!-- void *dlmopen(Lmid_t lmid, const char *filename, int flags); -->
186+
<function name="dlmopen">
187+
<noreturn>false</noreturn>
188+
<use-retval/>
189+
<returnValue type="void*"/>
190+
<arg nr="1" direction="in">
191+
<not-uninit/>
192+
<not-bool/>
193+
</arg>
194+
<arg nr="2" direction="in">
195+
<not-uninit/>
196+
<strz/>
197+
</arg>
198+
<arg nr="3" direction="in">
199+
<not-uninit/>
200+
<not-bool/>
201+
</arg>
202+
</function>
184203
<!-- https://gcc.gnu.org/onlinedocs/gcc-6.2.0/gcc/Alignment.html -->
185204
<!-- __alignof__ is used like sizeof -->
186205
<!-- Declaration for this GNU compiler extension could look like this: -->

0 commit comments

Comments
 (0)