From e1eb7e04b5b7fc983e46bffd000c9896c59c40df Mon Sep 17 00:00:00 2001
From: orbitcowboy <orbitcowboy@web.de>
Date: Sat, 22 Feb 2020 14:24:14 +0100
Subject: [PATCH] std.cfg: Added <not-bool/>-flags for some functions from
 <cwctype>

---
 cfg/std.cfg    | 12 ++++++++++++
 test/cfg/std.c |  8 ++++++++
 2 files changed, 20 insertions(+)

diff --git a/cfg/std.cfg b/cfg/std.cfg
index a0b87b589..e05ab521f 100644
--- a/cfg/std.cfg
+++ b/cfg/std.cfg
@@ -2522,6 +2522,7 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
     <leak-ignore/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
   </function>
   <!-- int isalpha(int c); -->
@@ -2546,6 +2547,7 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
     <leak-ignore/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
   </function>
   <!-- int isblank(int c); -->
@@ -2570,6 +2572,7 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
     <leak-ignore/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
   </function>
   <!-- int iscntrl(int c); -->
@@ -2594,6 +2597,7 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
     <leak-ignore/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
   </function>
   <!-- int iswctype( wint_t wc, wctype_t desc ); -->
@@ -2632,6 +2636,7 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
     <leak-ignore/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
   </function>
   <!-- int isgraph(int c); -->
@@ -2656,6 +2661,7 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
     <leak-ignore/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
   </function>
   <!-- int islower(int c); -->
@@ -2680,6 +2686,7 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
     <leak-ignore/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
   </function>
   <!-- int isprint(int c); -->
@@ -2704,6 +2711,7 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
     <leak-ignore/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
   </function>
   <!-- int ispunct(int c); -->
@@ -2728,6 +2736,7 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
     <leak-ignore/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
   </function>
   <!-- int isspace(int c); -->
@@ -2752,6 +2761,7 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
     <leak-ignore/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
   </function>
   <!-- int isupper(int c); -->
@@ -2776,6 +2786,7 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
     <leak-ignore/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
   </function>
   <!-- int isxdigit(int c); -->
@@ -2800,6 +2811,7 @@ The obsolete function 'gets' is called. With 'gets' you'll get a buffer overrun
     <leak-ignore/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
   </function>
   <!-- wint_t towctrans(wint_t c, wctrans_t desc); -->
diff --git a/test/cfg/std.c b/test/cfg/std.c
index 4e125199a..d2eb9db5b 100644
--- a/test/cfg/std.c
+++ b/test/cfg/std.c
@@ -3978,6 +3978,14 @@ bool invalidFunctionArgBool_islower(bool b, int c)
     return islower(c != 0);
 }
 
+bool invalidFunctionArgBool_iswcntrl(bool b, wint_t c)
+{
+    // cppcheck-suppress invalidFunctionArgBool
+    (void)iswcntrl(b);
+    // cppcheck-suppress invalidFunctionArgBool
+    return iswcntrl(c != 0);
+}
+
 bool invalidFunctionArgBool_isprint(bool b, int c)
 {
     // cppcheck-suppress invalidFunctionArgBool