gnu.cfg: Added support for mempcpy() and wmempcpy(). Ref.: https://man7.org/linux/man-pages/man3/mempcpy.3.html

This commit is contained in:
orbitcowboy 2022-04-05 11:09:58 +02:00
parent cfbbeb4b1b
commit 0000bb2792
1 changed files with 44 additions and 0 deletions

View File

@ -248,6 +248,50 @@
<not-bool/> <not-bool/>
</arg> </arg>
</function> </function>
<!-- https://man7.org/linux/man-pages/man3/mempcpy.3.html-->
<!-- wchar_t *wmempcpy(wchar_t *restrict dest, const wchar_t *restrict src, size_t n);-->
<function name="wmempcpy">
<returnValue type="wchar_t *"/>
<noreturn>false</noreturn>
<leak-ignore/>
<not-overlapping-data ptr1-arg="1" ptr2-arg="2" size-arg="3"/>
<arg nr="1" direction="out">
<not-null/>
<minsize type="argvalue" arg="3"/>
</arg>
<arg nr="2" direction="in">
<not-null/>
<not-uninit/>
<minsize type="argvalue" arg="3"/>
</arg>
<arg nr="3" direction="in">
<not-uninit/>
<not-bool/>
<valid>0:</valid>
</arg>
</function>
<!-- https://man7.org/linux/man-pages/man3/mempcpy.3.html-->
<!-- void *mempcpy(void *restrict dest, const void *restrict src, size_t n);-->
<function name="mempcpy">
<returnValue type="void *"/>
<noreturn>false</noreturn>
<leak-ignore/>
<not-overlapping-data ptr1-arg="1" ptr2-arg="2" size-arg="3"/>
<arg nr="1" direction="out">
<not-null/>
<minsize type="argvalue" arg="3"/>
</arg>
<arg nr="2" direction="in">
<not-null/>
<not-uninit/>
<minsize type="argvalue" arg="3"/>
</arg>
<arg nr="3" direction="in">
<not-uninit/>
<not-bool/>
<valid>0:</valid>
</arg>
</function>
<!-- void xexit(int status); --> <!-- void xexit(int status); -->
<function name="xexit"> <function name="xexit">
<noreturn>true</noreturn> <noreturn>true</noreturn>