gnu.cfg: Improved configuration of memmem().

This commit is contained in:
orbitcowboy 2016-12-04 20:30:33 +01:00
parent a5e214ab3f
commit 29a6a39fb5
1 changed files with 3 additions and 0 deletions

View File

@ -456,12 +456,14 @@
<function name="memmem">
<noreturn>false</noreturn>
<leak-ignore/>
<use-retval/>
<arg nr="1">
<not-null/>
<not-uninit/>
</arg>
<arg nr="2">
<not-uninit/>
<valid>0:</valid>
</arg>
<arg nr="3">
<not-null/>
@ -469,6 +471,7 @@
</arg>
<arg nr="4">
<not-uninit/>
<valid>0:</valid>
</arg>
</function>
<!-- http://man7.org/linux/man-pages/man3/memrchr.3.html -->