From 6bd7dd771d2d08386e1e49f836a6c307f351e3e5 Mon Sep 17 00:00:00 2001
From: Alexander Mai <amai@users.sf.net>
Date: Wed, 11 Mar 2015 18:59:34 +0100
Subject: [PATCH] Add some functions from <time.h> to posix.cfg (see #6577)

---
 cfg/posix.cfg    | 29 +++++++++++++++++++++++++++++
 test/cfg/posix.c |  9 ++++++++-
 2 files changed, 37 insertions(+), 1 deletion(-)

diff --git a/cfg/posix.cfg b/cfg/posix.cfg
index ee384075a..edf5b293a 100644
--- a/cfg/posix.cfg
+++ b/cfg/posix.cfg
@@ -1226,4 +1226,33 @@
     </arg>
     <leak-ignore/>
   </function>
+  <!-- http://pubs.opengroup.org/onlinepubs/007908799/xsh/time.h.html -->
+  <!-- int clock_settime(clockid_t clock_id, const struct timespec *tp); -->
+  <function name="clock_settime">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
+  </function>
+  <!-- int clock_gettime(clockid_t clock_id, struct timespec *tp); -->
+  <function name="clock_gettime">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-null/>
+    </arg>
+  </function>
+  <!-- int clock_getres(clockid_t clock_id, struct timespec *res); -->
+  <function name="clock_getres">
+    <noreturn>false</noreturn>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2"/>
+  </function>
 </def>
diff --git a/test/cfg/posix.c b/test/cfg/posix.c
index 7bc0a4968..819b9d853 100644
--- a/test/cfg/posix.c
+++ b/test/cfg/posix.c
@@ -14,8 +14,9 @@
 #include <sys/socket.h>
 #include <fcntl.h>
 #include <netdb.h>
-#include <unistd.h>
 #include <regex.h>
+#include <time.h>
+#include <unistd.h>
 
 void bufferAccessOutOfBounds(int fd) {
   char a[5];
@@ -173,3 +174,9 @@ void uninitvar_types(void) {
     // cppcheck-suppress uninitvar
     d.d_ino + 1;
 }
+
+void timet_h() {
+  struct timespec* ptp;
+  // cppcheck-suppress uninitvar
+  clock_settime(CLOCK_REALTIME, ptp);
+}