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

---
 cfg/gnu.cfg | 1 +
 1 file changed, 1 insertion(+)

diff --git a/cfg/gnu.cfg b/cfg/gnu.cfg
index ac7522f54..d845d3de0 100644
--- a/cfg/gnu.cfg
+++ b/cfg/gnu.cfg
@@ -159,6 +159,7 @@
     <noreturn>false</noreturn>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <valid>0:</valid>
     </arg>
     <arg nr="2" direction="out">
       <not-uninit/>