std.cfg: Improved support for <returnValue> for functions like isalpha() etc.

This commit is contained in:
orbitcowboy 2016-11-07 11:01:19 +01:00
parent 0b643a2429
commit d361ca7b61
1 changed files with 18 additions and 0 deletions

View File

@ -1489,6 +1489,7 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
<pure/>
<noreturn>false</noreturn>
<leak-ignore/>
<returnValue type="int"><![CDATA[arg1>=0x30 && arg1<=0x39 || arg1>=0x41 && arg1 <=0x5A || arg1>=0x61 && arg1 <=0x7A]]></returnValue>
<arg nr="1">
<not-uninit/>
<valid>0:255</valid>
@ -1500,6 +1501,7 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
<pure/>
<noreturn>false</noreturn>
<leak-ignore/>
<returnValue type="int"><![CDATA[arg1>=0x30 && arg1<=0x39 || arg1>=0x41 && arg1 <=0x5A || arg1>=0x61 && arg1 <=0x7A]]></returnValue>
<arg nr="1">
<not-uninit/>
</arg>
@ -1558,6 +1560,7 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
<pure/>
<noreturn>false</noreturn>
<leak-ignore/>
<returnValue type="int"><![CDATA[arg1==0x7F || arg1<=0x1F]]></returnValue>
<arg nr="1">
<not-uninit/>
<valid>0:255</valid>
@ -1569,6 +1572,7 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
<pure/>
<noreturn>false</noreturn>
<leak-ignore/>
<returnValue type="int"><![CDATA[arg1==0x7F || arg1<=0x1F]]></returnValue>
<arg nr="1">
<not-uninit/>
</arg>
@ -1615,6 +1619,7 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
<pure/>
<noreturn>false</noreturn>
<leak-ignore/>
<returnValue type="int"><![CDATA[arg1>=0x21 && arg1<=0x7E]]></returnValue>
<arg nr="1">
<not-uninit/>
<valid>0:255</valid>
@ -1626,6 +1631,7 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
<pure/>
<noreturn>false</noreturn>
<leak-ignore/>
<returnValue type="int"><![CDATA[arg1>=0x21 && arg1<=0x7E]]></returnValue>
<arg nr="1">
<not-uninit/>
</arg>
@ -1636,6 +1642,7 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
<pure/>
<noreturn>false</noreturn>
<leak-ignore/>
<returnValue type="int"><![CDATA[arg1>=0x61 && arg1<=0x7A]]></returnValue>
<arg nr="1">
<not-uninit/>
<valid>0:255</valid>
@ -1647,6 +1654,7 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
<pure/>
<noreturn>false</noreturn>
<leak-ignore/>
<returnValue type="int"><![CDATA[arg1>=0x61 && arg1<=0x7A]]></returnValue>
<arg nr="1">
<not-uninit/>
</arg>
@ -1657,6 +1665,7 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
<pure/>
<noreturn>false</noreturn>
<leak-ignore/>
<returnValue type="int"><![CDATA[arg1>=0x20 && arg1<=0x7E]]></returnValue>
<arg nr="1">
<not-uninit/>
<valid>0:255</valid>
@ -1668,6 +1677,7 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
<pure/>
<noreturn>false</noreturn>
<leak-ignore/>
<returnValue type="int"><![CDATA[arg1>=0x20 && arg1<=0x7E]]></returnValue>
<arg nr="1">
<not-uninit/>
</arg>
@ -1678,6 +1688,7 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
<pure/>
<noreturn>false</noreturn>
<leak-ignore/>
<returnValue type="int"><![CDATA[arg1>=0x21 && arg1<=0x2F || arg1>=0x3A && arg1<=0x40 || arg1>=0x5B && arg1<=0x60 || arg1>=0x7B && arg1<=0x7E]]></returnValue>
<arg nr="1">
<not-uninit/>
<valid>0:255</valid>
@ -1689,6 +1700,7 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
<pure/>
<noreturn>false</noreturn>
<leak-ignore/>
<returnValue type="int"><![CDATA[arg1>=0x21 && arg1<=0x2F || arg1>=0x3A && arg1<=0x40 || arg1>=0x5B && arg1<=0x60 || arg1>=0x7B && arg1<=0x7E]]></returnValue>
<arg nr="1">
<not-uninit/>
</arg>
@ -1699,6 +1711,7 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
<pure/>
<noreturn>false</noreturn>
<leak-ignore/>
<returnValue type="int"><![CDATA[arg1>=0x09 && arg1<=0x0D || arg1==0x20]]></returnValue>
<arg nr="1">
<not-uninit/>
<valid>0:255</valid>
@ -1709,6 +1722,7 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
<use-retval/>
<pure/>
<noreturn>false</noreturn>
<returnValue type="int"><![CDATA[arg1>=0x09 && arg1<=0x0D || arg1==0x20]]></returnValue>
<leak-ignore/>
<arg nr="1">
<not-uninit/>
@ -1720,6 +1734,7 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
<pure/>
<noreturn>false</noreturn>
<leak-ignore/>
<returnValue type="int"><![CDATA[arg1>=0x41 && arg1<=0x5A]]></returnValue>
<arg nr="1">
<not-uninit/>
<valid>0:255</valid>
@ -1731,6 +1746,7 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
<pure/>
<noreturn>false</noreturn>
<leak-ignore/>
<returnValue type="int"><![CDATA[arg1>=0x41 && arg1<=0x5A]]></returnValue>
<arg nr="1">
<not-uninit/>
</arg>
@ -1741,6 +1757,7 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
<pure/>
<noreturn>false</noreturn>
<leak-ignore/>
<returnValue type="int"><![CDATA[arg1>=0x30 && arg1<=0x39 || arg1>=0x41 && arg1<=0x46 || arg1>=0x61 && arg1<=0x66]]></returnValue>
<arg nr="1">
<not-uninit/>
<valid>0:255</valid>
@ -1751,6 +1768,7 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
<use-retval/>
<pure/>
<noreturn>false</noreturn>
<returnValue type="int"><![CDATA[arg1>=0x30 && arg1<=0x39 || arg1>=0x41 && arg1<=0x46 || arg1>=0x61 && arg1<=0x66]]></returnValue>
<leak-ignore/>
<arg nr="1">
<not-uninit/>