From 9890df11df21b2b99b0e0be87b3856cacb956891 Mon Sep 17 00:00:00 2001
From: orbitcowboy <orbitcowboy@web.de>
Date: Sat, 7 Sep 2019 10:52:30 +0200
Subject: [PATCH] posix.cfg: Added support for some functions from
 <sys/time.h>.

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

diff --git a/cfg/posix.cfg b/cfg/posix.cfg
index 5cd1b10e2..b6f99508e 100644
--- a/cfg/posix.cfg
+++ b/cfg/posix.cfg
@@ -726,6 +726,44 @@ The obsolescent function 'usleep' is called. POSIX.1-2001 declares usleep() func
       <not-uninit/>
     </arg>
   </function>
+  <!-- int timerisset(struct timeval *tvp); -->
+  <function name="timerisset">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <use-retval/>
+    <returnValue type="int"/>
+    <arg nr="1" direction="in">
+      <not-uninit/>
+      <not-null/>
+    </arg>
+  </function>
+  <!-- void timerclear(struct timeval *tvp); -->
+  <function name="timerclear">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <returnValue type="void"/>
+    <arg nr="1" direction="inout">
+      <not-null/>
+    </arg>
+  </function>
+  <!-- void timeradd(struct timeval *a, struct timeval *b, struct timeval *res);-->
+  <!-- void timersub(struct timeval *a, struct timeval *b, struct timeval *res);-->
+  <function name="timeradd,timersub">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <returnValue type="void"/>
+    <arg nr="1" direction="in">
+      <not-uninit/>
+      <not-null/>
+    </arg>
+    <arg nr="2" direction="in">
+      <not-uninit/>
+      <not-null/>
+    </arg>
+    <arg nr="3" direction="out">
+      <not-null/>
+    </arg>
+  </function>
   <!-- int timercmp(struct timeval *a, struct timeval *b, CMP)-->
   <function name="timercmp">
     <noreturn>false</noreturn>