From 862361d807c830632b4a8ccd11f17db9eb6001cd Mon Sep 17 00:00:00 2001
From: orbitcowboy <ettl.martin78@gmail.com>
Date: Tue, 14 Jul 2015 09:07:47 +0200
Subject: [PATCH] posix.cfg and gnu.cfg: Added support for more functions.

---
 cfg/gnu.cfg   | 82 +++++++++++++++++++++++++++++++++++++++++++++++++++
 cfg/posix.cfg | 73 +++++++++++++++++++++++++++------------------
 2 files changed, 127 insertions(+), 28 deletions(-)

diff --git a/cfg/gnu.cfg b/cfg/gnu.cfg
index d9b3d49ec..e16102ad6 100644
--- a/cfg/gnu.cfg
+++ b/cfg/gnu.cfg
@@ -4,6 +4,26 @@
     <dealloc>free</dealloc>
     <alloc init="true">get_current_dir_name</alloc>
   </memory>
+  <!-- http://man7.org/linux/man-pages/man2/accept.2.html -->
+  <!-- int accept4(int sockfd, struct sockaddr *addr, socklen_t *addrlen, int flags); -->
+  <function name="accept">
+    <use-retval/>
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <not-uninit/>
+      <not-null/>
+    </arg>
+    <arg nr="4">
+      <not-uninit/>
+    </arg>
+    <leak-ignore/>
+  </function>
   <!-- long long atoq(const char *nptr); -->
   <function name="atoq">
     <use-retval/>
@@ -215,4 +235,66 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- http://linux.die.net/man/2/getresuid -->
+  <!-- int getresuid(uid_t *ruid, uid_t *euid, uid_t *suid); -->
+  <function name="getresuid">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <pure/>
+    <arg nr="1">
+      <not-null/>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+    </arg>
+    <arg nr="3">
+      <not-null/>
+    </arg>
+  </function>
+  <!-- http://linux.die.net/man/2/getresuid -->
+  <!-- int getresgid(gid_t *rgid, gid_t *egid, gid_t *sgid); -->
+  <function name="getresgid">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <pure/>
+    <arg nr="1">
+      <not-null/>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+    </arg>
+    <arg nr="3">
+      <not-null/>
+    </arg>
+  </function>
+  <!-- http://man7.org/linux/man-pages/man2/setresuid.2.html -->
+  <!-- int setresuid(uid_t ruid, uid_t euid, uid_t suid);-->
+  <function name="setresuid">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <not-uninit/>
+    </arg>
+    <leak-ignore/>
+  </function>
+  <!-- http://man7.org/linux/man-pages/man2/setresuid.2.html -->
+  <!-- int setresgid(gid_t rgid, gid_t egid, gid_t sgid);-->
+  <function name="setresgid">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <not-uninit/>
+    </arg>
+    <leak-ignore/>
+  </function>
 </def>
diff --git a/cfg/posix.cfg b/cfg/posix.cfg
index 8bea99cea..7fa3876bf 100644
--- a/cfg/posix.cfg
+++ b/cfg/posix.cfg
@@ -1,5 +1,46 @@
 <?xml version="1.0"?>
 <def format="1">
+  <!-- http://man7.org/linux/man-pages/man3/a64l.3.html -->
+  <!-- long a64l(const char *str64); -->
+  <function name="a64l">
+    <use-retval/>
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+      <not-null/>
+    </arg>
+    <leak-ignore/>
+  </function>
+  <!-- http://man7.org/linux/man-pages/man3/a64l.3.html -->
+  <!-- char *l64a(long value); -->
+  <function name="l64a">
+    <use-retval/>
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+      <!-- The behavior of l64a() is undefined when value is negative. -->
+      <!-- If value is zero, it returns an empty string. -->
+      <valid>0:</valid>
+    </arg>
+    <leak-ignore/>
+  </function>
+  <!-- http://man7.org/linux/man-pages/man2/accept.2.html -->
+  <!-- int accept(int sockfd, struct sockaddr *addr, socklen_t *addrlen); -->
+  <function name="accept">
+    <use-retval/>
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <not-uninit/>
+      <not-null/>
+    </arg>
+    <leak-ignore/>
+  </function>
   <!-- struct group *getgrnam(const char *name); -->
   <function name="getgrnam">
     <use-retval/>
@@ -973,6 +1014,7 @@
     <use-retval/>
     <leak-ignore/>
   </function>
+  <!-- uid_t geteuid(void); -->
   <function name="geteuid">
     <noreturn>false</noreturn>
     <use-retval/>
@@ -1005,6 +1047,7 @@
     <use-retval/>
     <leak-ignore/>
   </function>
+  <!-- int setuid(uid_t uid); -->
   <function name="setuid">
     <noreturn>false</noreturn>
     <use-retval/>
@@ -1013,6 +1056,7 @@
     </arg>
     <leak-ignore/>
   </function>
+  <!-- int seteuid(uid_t euid); -->
   <function name="seteuid">
     <noreturn>false</noreturn>
     <use-retval/>
@@ -1029,6 +1073,7 @@
     </arg>
     <leak-ignore/>
   </function>
+  <!-- int setegid(gid_t egid); -->
   <function name="setegid">
     <noreturn>false</noreturn>
     <use-retval/>
@@ -1091,34 +1136,6 @@
     </arg>
     <leak-ignore/>
   </function>
-  <!-- int setresuid(uid_t ruid, uid_t euid, uid_t suid);-->
-  <function name="setresuid">
-    <noreturn>false</noreturn>
-    <arg nr="1">
-      <not-uninit/>
-    </arg>
-    <arg nr="2">
-      <not-uninit/>
-    </arg>
-    <arg nr="3">
-      <not-uninit/>
-    </arg>
-    <leak-ignore/>
-  </function>
-  <!-- int setresgid(gid_t rgid, gid_t egid, gid_t sgid);-->
-  <function name="setresgid">
-    <noreturn>false</noreturn>
-    <arg nr="1">
-      <not-uninit/>
-    </arg>
-    <arg nr="2">
-      <not-uninit/>
-    </arg>
-    <arg nr="3">
-      <not-uninit/>
-    </arg>
-    <leak-ignore/>
-  </function>
   <!-- pid_t setsid(void); -->
   <function name="setsid">
     <noreturn>false</noreturn>