From 66b9d8bf383bfbf7cf6cef0e013d8dd5d1b91dea Mon Sep 17 00:00:00 2001
From: orbitcowboy <ettl.martin78@gmail.com>
Date: Thu, 10 Sep 2015 11:50:47 +0200
Subject: [PATCH] Improved testing of std.cfg and posix.cfg.

---
 cfg/posix.cfg    |  2 ++
 test/cfg/posix.c |  3 +++
 test/cfg/std.c   | 11 +++++++++++
 3 files changed, 16 insertions(+)

diff --git a/cfg/posix.cfg b/cfg/posix.cfg
index 0ad3f0d14..a219f8ab8 100644
--- a/cfg/posix.cfg
+++ b/cfg/posix.cfg
@@ -828,6 +828,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- ssize_t write(int fildes, const void *buf, size_t nbyte); -->
   <function name="write">
     <noreturn>false</noreturn>
     <arg nr="1">
@@ -839,6 +840,7 @@
     </arg>
     <arg nr="3">
       <not-uninit/>
+      <valid>0:</valid>
     </arg>
   </function>
   <function name="recv">
diff --git a/test/cfg/posix.c b/test/cfg/posix.c
index 6ca83596c..334d2616d 100644
--- a/test/cfg/posix.c
+++ b/test/cfg/posix.c
@@ -148,12 +148,15 @@ void uninitvar(int fd)
     char buf[2];
     int decimal, sign;
     double d;
+    void *p;
     // cppcheck-suppress uninitvar
     write(x,"ab",2);
     // cppcheck-suppress uninitvar
     write(fd,buf,2);
     // cppcheck-suppress uninitvar
     write(fd,"ab",x);
+    // cppcheck-suppress uninitvar
+    write(fd,p,2);
 
 
     /* int regcomp(regex_t *restrict preg, const char *restrict pattern, int cflags); */
diff --git a/test/cfg/std.c b/test/cfg/std.c
index edced6778..7dabd8a8b 100644
--- a/test/cfg/std.c
+++ b/test/cfg/std.c
@@ -16,6 +16,7 @@
 #include <fenv.h>
 #include <setjmp.h>
 #include <time.h>
+#include <stdbool.h>
 
 void bufferAccessOutOfBounds(void)
 {
@@ -3367,3 +3368,13 @@ void uninitvar_itoa(void)
     // cppcheck-suppress uninitvar
     (void)itoa(value,str,base);
 }
+
+void invalidFunctionArgBool_abs(bool b, double x, double y)
+{
+    // cppcheck-suppress invalidFunctionArgBool
+    (void)abs(true); // #6990
+    // cppcheck-suppress invalidFunctionArgBool
+    (void)abs(b); // #6990
+    // cppcheck-suppress invalidFunctionArgBool
+    (void)abs(x<y); // #5635
+}