gnu.cfg: Warn for socket/file-descriptors having negatives values.

2019-04-25 17:07:44 +02:00 · 2019-04-25 17:07:44 +02:00 · c0b533c452
parent c4fb56e550
commit c0b533c452
1 changed files with 1 additions and 0 deletions
--- 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/>