From 49a28d00f987381ebe37c3b08832823dc257f9d1 Mon Sep 17 00:00:00 2001
From: alexander <amai@users.sf.net>
Date: Mon, 29 May 2017 00:47:24 +0200
Subject: [PATCH] Add some interfaces + small changes to existing ones

---
 cfg/gnu.cfg   | 170 ++++++++++++++++++++++++++++++++++++++++++++++++++
 cfg/posix.cfg |  14 +++--
 cfg/std.cfg   |   2 +-
 3 files changed, 181 insertions(+), 5 deletions(-)

diff --git a/cfg/gnu.cfg b/cfg/gnu.cfg
index 2ba9f49a7..eb02a23bf 100644
--- a/cfg/gnu.cfg
+++ b/cfg/gnu.cfg
@@ -586,4 +586,174 @@
   <!-- see http://kernelnewbies.org/FAQ/LikelyUnlikely -->
   <define name="likely(X)" value="(X)"/>
   <define name="unlikely(X)" value="(X)"/>
+<!-- int epoll_create(int size);
+       int epoll_create1(int flags); -->
+  <function name="epoll_create,epoll_create1">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-bool/>
+      <not-uninit/>
+    </arg>
+  </function>
+  <!-- int epoll_ctl(int epfd, int op, int fd, struct epoll_event *event); -->
+  <function name="epoll_ctl">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-bool/>
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-bool/>
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <not-bool/>
+      <not-uninit/>
+    </arg>
+    <arg nr="4">
+      <not-bool/>
+      <not-null/>
+    </arg>
+  </function>
+  <!-- int epoll_wait(int epfd, struct epoll_event *events, int maxevents, int timeout); -->
+  <function name="epoll_wait">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-bool/>
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-bool/>
+      <not-null/>
+    </arg>
+    <arg nr="3">
+      <not-bool/>
+      <not-uninit/>
+      <valid>1:</valid>
+    </arg>
+    <arg nr="4">
+      <not-bool/>
+      <not-uninit/>
+    </arg>
+  </function>
+  <!-- int epoll_pwait(int epfd, struct epoll_event *events, int maxevents, int timeout, const sigset_t *sigmask); -->
+  <function name="epoll_pwait">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-bool/>
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-bool/>
+      <not-null/>
+    </arg>
+    <arg nr="3">
+      <not-bool/>
+      <not-uninit/>
+      <valid>1:</valid>
+    </arg>
+    <arg nr="4">
+      <not-bool/>
+      <not-uninit/>
+    </arg>
+    <arg nr="5">
+      <not-bool/>
+      <not-null/>
+      <not-uninit/>
+    </arg>
+  </function>
+  <resource>
+    <dealloc>close</dealloc>
+    <alloc init="true">epoll_create</alloc>
+  </resource>
+  <resource>
+    <dealloc>close</dealloc>
+    <alloc init="true">epoll_create1</alloc>
+  </resource>
+  <podtype name="epoll_event"/>
+  <!-- int epoll_create(int size);
+       int epoll_create1(int flags); -->
+  <function name="epoll_create,epoll_create1">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-bool/>
+      <not-uninit/>
+    </arg>
+  </function>
+  <!-- int epoll_ctl(int epfd, int op, int fd, struct epoll_event *event); -->
+  <function name="epoll_ctl">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-bool/>
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-bool/>
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <not-bool/>
+      <not-uninit/>
+    </arg>
+    <arg nr="4">
+      <not-bool/>
+      <not-null/>
+    </arg>
+  </function>
+  <!-- int epoll_wait(int epfd, struct epoll_event *events, int maxevents, int timeout); -->
+  <function name="epoll_wait">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-bool/>
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-bool/>
+      <not-null/>
+    </arg>
+    <arg nr="3">
+      <not-bool/>
+      <not-uninit/>
+      <valid>1:</valid>
+    </arg>
+    <arg nr="4">
+      <not-bool/>
+      <not-uninit/>
+    </arg>
+  </function>
+  <!-- int epoll_pwait(int epfd, struct epoll_event *events, int maxevents, int timeout, const sigset_t *sigmask); -->
+  <function name="epoll_pwait">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-bool/>
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-bool/>
+      <not-null/>
+    </arg>
+    <arg nr="3">
+      <not-bool/>
+      <not-uninit/>
+      <valid>1:</valid>
+    </arg>
+    <arg nr="4">
+      <not-bool/>
+      <not-uninit/>
+    </arg>
+    <arg nr="5">
+      <not-bool/>
+      <not-null/>
+      <not-uninit/>
+    </arg>
+  </function>
+  <resource>
+    <dealloc>close</dealloc>
+    <alloc init="true">epoll_create</alloc>
+  </resource>
+  <resource>
+    <dealloc>close</dealloc>
+    <alloc init="true">epoll_create1</alloc>
+  </resource>
+  <podtype name="epoll_event"/>
 </def>
diff --git a/cfg/posix.cfg b/cfg/posix.cfg
index 034d9610a..349034825 100644
--- a/cfg/posix.cfg
+++ b/cfg/posix.cfg
@@ -2966,13 +2966,20 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     </arg>
     <arg nr="2"/>
   </function>
+  <function name="siglongjmp">
+    <noreturn>true</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
+  </function>
   <!-- http://pubs.opengroup.org/onlinepubs/9699919799/functions/sigsetjmp.html -->
   <!-- int sigsetjmp(sigjmp_buf env, int savemask); -->
   <function name="sigsetjmp">
     <noreturn>false</noreturn>
-    <arg nr="1">
-      <not-uninit/>
-    </arg>
+    <arg nr="1"/>
     <arg nr="2">
       <not-uninit/>
     </arg>
@@ -3136,7 +3143,6 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   <podtype name="trace_event_set_t"/>
   <podtype name="trace_id_t"/>
   <podtype name="stat"/>
-  <podtype name="jmp_buf"/>
   <podtype name="sigjmp_buf"/>
   <podtype name="sigset_t"/>
   <podtype name="termios"/>
diff --git a/cfg/std.cfg b/cfg/std.cfg
index d1ef74d02..9e4838fc9 100644
--- a/cfg/std.cfg
+++ b/cfg/std.cfg
@@ -2307,7 +2307,7 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
   </function>
   <!-- void longjmp(jmp_buf env, int val); -->
   <function name="longjmp,std::longjmp">
-    <noreturn>false</noreturn>
+    <noreturn>true</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>