From c4fb56e55060e346eb533096ab7bcd5d6e260dc1 Mon Sep 17 00:00:00 2001
From: orbitcowboy <orbitcowboy@web.de>
Date: Thu, 25 Apr 2019 17:04:30 +0200
Subject: [PATCH] posix.cfg: Warn for socket/file-descriptors having negatives
 values.

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

diff --git a/cfg/posix.cfg b/cfg/posix.cfg
index 732d86de7..8da76f08e 100644
--- a/cfg/posix.cfg
+++ b/cfg/posix.cfg
@@ -38,6 +38,7 @@
     <returnValue type="int"/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <valid>0:</valid>
     </arg>
     <arg nr="2" direction="out">
       <not-uninit/>
@@ -1304,6 +1305,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <returnValue type="ssize_t"/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <valid>0:</valid>
     </arg>
     <arg nr="2" direction="out">
       <minsize type="argvalue" arg="3"/>
@@ -1321,6 +1323,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <returnValue type="ssize_t"/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <valid>0:</valid>
     </arg>
     <arg nr="2" direction="in">
       <not-uninit/>
@@ -1337,6 +1340,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <returnValue type="ssize_t"/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <valid>0:</valid>
     </arg>
     <arg nr="2" direction="out">
       <minsize type="argvalue" arg="3"/>
@@ -1355,6 +1359,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <returnValue type="ssize_t"/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <valid>0:</valid>
     </arg>
     <arg nr="2" direction="out">
       <minsize type="argvalue" arg="3"/>
@@ -1375,6 +1380,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <returnValue type="ssize_t"/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <valid>0:</valid>
     </arg>
     <arg nr="2" direction="inout"/>
     <arg nr="3" direction="in">
@@ -1387,6 +1393,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <returnValue type="ssize_t"/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <valid>0:</valid>
     </arg>
     <arg nr="2" direction="in">
       <minsize type="argvalue" arg="3"/>
@@ -1405,6 +1412,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <returnValue type="ssize_t"/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <valid>0:</valid>
     </arg>
     <arg nr="2" direction="in">
       <minsize type="argvalue" arg="3"/>
@@ -1425,6 +1433,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <returnValue type="ssize_t"/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <valid>0:</valid>
     </arg>
     <arg nr="2" direction="in">
       <not-uninit/>