diff --git a/cfg/posix.cfg b/cfg/posix.cfg
index 813b2910e..4cf56de55 100644
--- a/cfg/posix.cfg
+++ b/cfg/posix.cfg
@@ -2235,6 +2235,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <leak-ignore/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
     <formatstr/>
     <arg nr="2" direction="in">
@@ -2251,6 +2252,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <leak-ignore/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
     <arg nr="2" direction="in">
       <not-uninit/>
@@ -2379,6 +2381,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <noreturn>false</noreturn>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
     <arg nr="2" direction="in">
       <not-uninit/>
@@ -2391,12 +2394,15 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <noreturn>false</noreturn>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
     <arg nr="2" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
     <arg nr="3" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
     <arg nr="4" direction="out">
       <not-null/>
@@ -2479,6 +2485,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <noreturn>false</noreturn>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
     <arg nr="2" direction="in">
       <not-uninit/>
@@ -2491,6 +2498,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <noreturn>false</noreturn>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
     <arg nr="2" direction="in">
       <not-uninit/>
@@ -2644,6 +2652,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     </arg>
     <arg nr="2" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
     <arg nr="any"/>
   </function>
@@ -2660,6 +2669,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     </arg>
     <arg nr="3" direction="in">
       <not-uninit/>
+      <not-bool/>
       <valid>0:</valid>
     </arg>
     <arg nr="4" direction="out">
@@ -2680,6 +2690,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     </arg>
     <arg nr="3" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
     <arg nr="4" direction="in">
       <not-bool/>
@@ -2713,6 +2724,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     </arg>
     <arg nr="3" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
     <arg nr="4" direction="out"/>
     <arg nr="5" direction="in">
@@ -2730,6 +2742,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     </arg>
     <arg nr="2" direction="in">
       <not-uninit/>
+      <not-bool/>
       <minsize type="argvalue" arg="3"/>
     </arg>
     <arg nr="3" direction="in">
@@ -2840,6 +2853,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     </arg>
     <arg nr="2" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
     <arg nr="3" direction="in">
       <not-uninit/>
@@ -2953,6 +2967,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <returnValue type="void"/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
   </function>
   <!-- int uname(struct utsname *buf); -->
@@ -2964,7 +2979,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
       <not-bool/>
     </arg>
   </function>
-  <!--void           endpwent(void); -->
+  <!--void endpwent(void); -->
   <function name="endpwent">
     <noreturn>false</noreturn>
     <returnValue type="void"/>
@@ -3028,6 +3043,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     </arg>
     <arg nr="4" direction="in">
       <not-uninit/>
+      <not-bool/>
       <valid>0:</valid>
     </arg>
     <arg nr="5" direction="out">
@@ -3052,6 +3068,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <noreturn>false</noreturn>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
     <arg nr="2" direction="out"/>
     <arg nr="3" direction="out">
@@ -3059,6 +3076,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     </arg>
     <arg nr="4" direction="in">
       <not-uninit/>
+      <not-bool/>
       <valid>0:</valid>
     </arg>
     <arg nr="5" direction="out">
@@ -3091,9 +3109,11 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     </arg>
     <arg nr="2" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
     <arg nr="3" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
     <arg nr="4" direction="in">
       <not-uninit/>
@@ -3180,6 +3200,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     </arg>
     <arg nr="3" direction="in">
       <not-uninit/>
+      <not-bool/>
       <valid>0:</valid>
     </arg>
     <arg nr="4" direction="out"/>
@@ -3224,6 +3245,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <noreturn>false</noreturn>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <not-bool/>
       <valid>0:</valid>
     </arg>
     <arg nr="2" direction="out">
@@ -3249,6 +3271,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <returnValue type="int"/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
     <arg nr="2" direction="out">
       <not-null/>
@@ -3262,6 +3285,8 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <noreturn>false</noreturn>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <not-bool/>
+      <valid>0:</valid>
     </arg>
     <arg nr="2" direction="in">
       <not-uninit/>
@@ -3275,10 +3300,12 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <noreturn>false</noreturn>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <not-bool/>
       <valid>0:</valid>
     </arg>
     <arg nr="2" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
     <arg nr="3" direction="in">
       <not-uninit/>
@@ -3302,6 +3329,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     </arg>
     <arg nr="2" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
     <arg nr="3" direction="out">
       <not-null/>
@@ -3322,6 +3350,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     </arg>
     <arg nr="2" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
     <arg nr="3" direction="out">
       <not-null/>
@@ -3342,6 +3371,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     </arg>
     <arg nr="2" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
     <arg nr="3" direction="out">
       <not-null/>
@@ -3357,13 +3387,16 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <leak-ignore/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <not-bool/>
       <valid>0:</valid>
     </arg>
     <arg nr="2" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
     <arg nr="3" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
   </function>
   <!-- int nanosleep(const struct timespec *rqtp, struct timespec *rmtp); -->
@@ -3431,6 +3464,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     </arg>
     <arg nr="3" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
   </function>
   <!-- int unsetenv(const char *name); -->
@@ -3526,6 +3560,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <leak-ignore/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
     <arg nr="2" direction="in">
       <not-null/>
@@ -3533,6 +3568,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     </arg>
     <arg nr="3" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
     <arg nr="4" direction="in">
       <not-null/>
@@ -3546,6 +3582,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <leak-ignore/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
     <arg nr="2" direction="in">
       <not-null/>
@@ -3643,6 +3680,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <noreturn>false</noreturn>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
     <arg nr="2" direction="in">
       <not-uninit/>
@@ -3655,6 +3693,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <noreturn>false</noreturn>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
     <arg nr="2" direction="in">
       <not-uninit/>
@@ -3707,6 +3746,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
       <not-uninit/>
     </arg>
     <arg nr="3">
+      <not-bool/>
       <not-uninit/>
     </arg>
     <arg nr="any"/>
@@ -3740,6 +3780,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <leak-ignore/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
     <arg nr="2" direction="in">
       <not-uninit/>
@@ -3777,6 +3818,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     </arg>
     <arg nr="3" direction="in">
       <not-uninit/>
+      <not-bool/>
       <valid>0:</valid>
     </arg>
     <warn severity="style" reason="Obsolescent" alternatives="memcpy,memmove"/>
@@ -3811,6 +3853,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     </arg>
     <arg nr="2" direction="in">
       <not-uninit/>
+      <not-bool/>
       <valid>0:</valid>
     </arg>
     <warn severity="style" reason="Obsolescent" alternatives="memset"/>
@@ -4000,6 +4043,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     </arg>
     <arg nr="2" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
   </function>
   <!-- https://pubs.opengroup.org/onlinepubs/9699919799/functions/pthread_self.html -->
@@ -4212,6 +4256,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     </arg>
     <arg nr="3" direction="in">
       <not-uninit/>
+      <not-bool/>
       <valid>0:</valid>
     </arg>
   </function>
@@ -4295,6 +4340,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     </arg>
     <arg nr="3" direction="in">
       <not-uninit/>
+      <not-bool/>
       <valid>0:</valid>
     </arg>
     <arg nr="4" direction="out">
@@ -4450,6 +4496,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     </arg>
     <arg nr="2" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
     <arg nr="3" direction="in">
       <not-uninit/>
@@ -4501,6 +4548,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <leak-ignore/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
     <arg nr="2" direction="out"/>
     <arg nr="3" direction="in">
@@ -4547,9 +4595,11 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <leak-ignore/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
     <arg nr="2" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
     <arg nr="3">
       <!-- direction (in/out) depends on the value of arg2 "cmd" -->
@@ -4564,9 +4614,11 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <leak-ignore/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
     <arg nr="2" direction="in">
       <not-uninit/>
+      <not-bool/>
       <valid>0:</valid>
     </arg>
     <arg nr="3" direction="in">
@@ -4582,6 +4634,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <leak-ignore/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
     <arg nr="2" direction="in"/>
     <arg nr="3" direction="in">
@@ -4607,6 +4660,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <leak-ignore/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
     <arg nr="2" direction="out">
       <not-null/>
@@ -4621,6 +4675,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <leak-ignore/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
     <arg nr="2" direction="in">
       <not-uninit/>
@@ -4639,6 +4694,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     </arg>
     <arg nr="2" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
     <arg nr="3" direction="in">
       <not-uninit/>
@@ -4716,6 +4772,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     </arg>
     <arg nr="3" direction="in">
       <not-uninit/>
+      <not-bool/>
       <valid>0:</valid>
     </arg>
     <arg nr="4" direction="in">
@@ -4733,6 +4790,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <use-retval/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <not-bool/>
       <valid>0:</valid>
     </arg>
     <arg nr="2">
@@ -4753,6 +4811,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <leak-ignore/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
     <arg nr="2" direction="out">
       <not-null/>
@@ -4767,6 +4826,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <leak-ignore/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
     <arg nr="2" direction="in">
       <not-uninit/>
@@ -4784,6 +4844,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <leak-ignore/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
     <arg nr="2" direction="in"/>
     <arg nr="3" direction="out">
@@ -4813,6 +4874,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     </arg>
     <arg nr="2" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
   </function>
   <!-- http://pubs.opengroup.org/onlinepubs/9699919799/functions/sigsetjmp.html -->
@@ -4837,18 +4899,18 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     </arg>
   </function>
   <!-- http://pubs.opengroup.org/onlinepubs/9699919799/functions/sigprocmask.html -->
-  <!-- int pthread_sigmask(int how, const sigset_t *restrict set,
-       sigset_t *restrict oset);
-		int sigprocmask(int how, const sigset_t *restrict set,
-       sigset_t *restrict oset); -->
+  <!-- int pthread_sigmask(int how, const sigset_t *restrict set, sigset_t *restrict oset);
+		int sigprocmask(int how, const sigset_t *restrict set, sigset_t *restrict oset); -->
   <function name="pthread_sigmask,sigprocmask">
     <noreturn>false</noreturn>
     <returnValue type="int"/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
     <arg nr="2" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
     <arg nr="3" direction="out">
       <not-uninit/>
@@ -4882,6 +4944,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <leak-ignore/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
     <arg nr="2" direction="out">
       <not-null/>
@@ -4990,9 +5053,11 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <leak-ignore/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
     <arg nr="2" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
     <arg nr="3">
       <!-- direction (in/out) depends on the value of arg2 "cmd" -->
@@ -5008,6 +5073,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <use-retval/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
     <arg nr="2" direction="in">
       <not-uninit/>
@@ -5023,6 +5089,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <leak-ignore/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
     <arg nr="2" direction="out">
       <not-null/>
@@ -5031,10 +5098,12 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     </arg>
     <arg nr="3" direction="in">
       <not-uninit/>
+      <not-bool/>
       <valid>0:</valid>
     </arg>
     <arg nr="4" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
     <arg nr="5" direction="in">
       <not-uninit/>
@@ -5049,6 +5118,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <leak-ignore/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
     <arg nr="2" direction="in">
       <not-null/>
@@ -5058,6 +5128,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     </arg>
     <arg nr="3" direction="in">
       <not-uninit/>
+      <not-bool/>
       <valid>0:</valid>
     </arg>
     <arg nr="4" direction="in">
@@ -5073,6 +5144,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <leak-ignore/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <not-bool/>
       <valid>0:</valid>
     </arg>
     <arg nr="2" direction="in">
@@ -5088,6 +5160,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <leak-ignore/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <not-bool/>
       <valid>0:</valid>
     </arg>
     <arg nr="2" direction="in">
@@ -5104,6 +5177,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <leak-ignore/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <not-bool/>
       <valid>0:</valid>
     </arg>
     <arg nr="2" direction="in">
@@ -5120,6 +5194,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <leak-ignore/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <not-bool/>
       <valid>0:</valid>
     </arg>
     <arg nr="2" direction="out">
@@ -5135,10 +5210,12 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <leak-ignore/>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <not-bool/>
       <valid>0:</valid>
     </arg>
     <arg nr="2" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
     <arg nr="3" direction="in">
       <not-null/>
@@ -5203,6 +5280,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     </arg>
     <arg nr="3" direction="in">
       <not-uninit/>
+      <not-bool/>
       <valid>0:</valid>
     </arg>
   </function>
@@ -5223,6 +5301,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     </arg>
     <arg nr="2" direction="in">
       <not-uninit/>
+      <not-bool/>
       <valid>1:</valid>
     </arg>
   </function>
@@ -5237,9 +5316,11 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     </arg>
     <arg nr="2" direction="in">
       <not-uninit/>
+      <not-bool/>
     </arg>
     <arg nr="3" direction="in">
       <not-uninit/>
+      <not-bool/>
       <valid>0:</valid>
     </arg>
   </function>
@@ -5251,6 +5332,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <noreturn>false</noreturn>
     <arg nr="1" direction="in">
       <not-uninit/>
+      <not-bool/>
       <valid>0:</valid>
     </arg>
     <warn severity="style" alternatives="malloc,mmap" reason="Obsolete"/>