From 6d681a095989e75579d6e9208cbc34e629109fad Mon Sep 17 00:00:00 2001
From: orbitcowboy <orbitcowboy@web.de>
Date: Fri, 26 Apr 2019 10:16:29 +0200
Subject: [PATCH] posix.cfg: Issue a warning in case a function accepting a
 file descriptor is called with a negative value.

---
 cfg/posix.cfg | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/cfg/posix.cfg b/cfg/posix.cfg
index e780827d0..102d501ba 100644
--- a/cfg/posix.cfg
+++ b/cfg/posix.cfg
@@ -245,6 +245,7 @@
     <leak-ignore/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <valid>0:</valid>
     </arg>
     <arg nr="2" direction="inout">
       <not-null/>
@@ -257,6 +258,7 @@
     <returnValue type="int"/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <valid>0:</valid>
     </arg>
     <arg nr="2" direction="in">
       <not-null/>
@@ -270,6 +272,7 @@
     <leak-ignore/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <valid>0:</valid>
     </arg>
     <arg nr="2" direction="inout">
       <not-null/>
@@ -1101,6 +1104,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-uninit/>
+      <valid>0:</valid>
       <not-bool/>
     </arg>
   </function>
@@ -1111,6 +1115,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
+      <valid>0:</valid>
       <not-uninit/>
       <not-bool/>
     </arg>
@@ -1242,6 +1247,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <noreturn>false</noreturn>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <valid>0:</valid>
     </arg>
     <arg nr="2">
       <not-null/>
@@ -1501,6 +1507,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     </arg>
     <arg nr="5" direction="in">
       <not-uninit/>
+      <valid>0:</valid>
     </arg>
     <arg nr="6" direction="in">
       <not-uninit/>
@@ -1528,6 +1535,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     </arg>
     <arg nr="5" direction="in">
       <not-uninit/>
+      <valid>0:</valid>
     </arg>
     <arg nr="6" direction="in">
       <not-uninit/>
@@ -1571,6 +1579,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <returnValue type="int"/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <valid>0:</valid>
     </arg>
     <arg nr="2" direction="in">
       <not-uninit/>
@@ -1587,6 +1596,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <returnValue type="int"/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <valid>0:</valid>
     </arg>
     <arg nr="2" direction="in">
       <not-uninit/>
@@ -3461,6 +3471,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1" direction="in">
+      <valid>0:</valid>
       <not-uninit/>
       <not-bool/>
     </arg>