From 7d0bb0dc29d405bb8261bb624c3ca553d9efb291 Mon Sep 17 00:00:00 2001
From: orbitcowboy <orbitcowboy@web.de>
Date: Fri, 26 Apr 2019 16:58:21 +0200
Subject: [PATCH] posix.cfg: Improved validation of file descriptors.

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

diff --git a/cfg/posix.cfg b/cfg/posix.cfg
index df3ed7878..3626e8e82 100644
--- a/cfg/posix.cfg
+++ b/cfg/posix.cfg
@@ -199,6 +199,7 @@
     <arg nr="1" direction="in">
       <not-bool/>
       <not-uninit/>
+      <valid>0:</valid>
     </arg>
   </function>
   <!-- int dup2(int fildes1, int filedes2);
@@ -209,10 +210,12 @@
     <arg nr="1" direction="in">
       <not-bool/>
       <not-uninit/>
+      <valid>0:</valid>
     </arg>
     <arg nr="2" direction="in">
       <not-bool/>
       <not-uninit/>
+      <valid>0:</valid>
     </arg>
   </function>
   <!-- int gettimeofday(struct timeval *tv, struct timezone *tz); -->
@@ -296,6 +299,7 @@
     <arg nr="1" direction="in">
       <not-uninit/>
       <not-bool/>
+      <valid>0:</valid>
     </arg>
   </function>
   <!-- http://pubs.opengroup.org/onlinepubs/9699919799/functions/fnmatch.html -->
@@ -328,6 +332,7 @@
     <arg nr="1" direction="in">
       <not-uninit/>
       <not-bool/>
+      <valid>0:</valid>
     </arg>
   </function>
   <!-- http://pubs.opengroup.org/onlinepubs/9699919799/functions/truncate.html -->
@@ -991,6 +996,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/>
@@ -1038,6 +1044,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/>
@@ -1210,6 +1217,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <returnValue type="long int"/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <valid>0:</valid>
     </arg>
     <arg nr="2" direction="in">
       <not-uninit/>
@@ -2681,6 +2689,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <leak-ignore/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <valid>0:</valid>
     </arg>
     <arg nr="2" direction="in">
       <not-uninit/>
@@ -4318,6 +4327,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <leak-ignore/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <valid>0:</valid>
     </arg>
     <arg nr="2" direction="in">
       <not-uninit/>
@@ -4332,6 +4342,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <leak-ignore/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <valid>0:</valid>
     </arg>
     <arg nr="2" direction="in">
       <not-uninit/>
@@ -4347,6 +4358,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <leak-ignore/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <valid>0:</valid>
     </arg>
     <arg nr="2" direction="in">
       <not-uninit/>
@@ -4362,6 +4374,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <leak-ignore/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <valid>0:</valid>
     </arg>
     <arg nr="2" direction="out">
       <not-null/>
@@ -4376,6 +4389,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <leak-ignore/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <valid>0:</valid>
     </arg>
     <arg nr="2" direction="in">
       <not-uninit/>
@@ -4412,6 +4426,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <arg nr="1" direction="in">
       <not-uninit/>
       <not-bool/>
+      <valid>0:</valid>
     </arg>
   </function>
   <!-- These are defined as macros http://man7.org/linux/man-pages/man7/inode.7.html -->