From d361ca7b61be193d396ddf613f9976c6255c2e82 Mon Sep 17 00:00:00 2001
From: orbitcowboy <ettl.martin78@gmail.com>
Date: Mon, 7 Nov 2016 11:01:19 +0100
Subject: [PATCH] std.cfg: Improved support for <returnValue> for functions
 like isalpha() etc.

---
 cfg/std.cfg | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

diff --git a/cfg/std.cfg b/cfg/std.cfg
index 3d8e750c1..c39fae1bf 100644
--- a/cfg/std.cfg
+++ b/cfg/std.cfg
@@ -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/>