posix.cfg: Added <not-bool/>-flag at more function args.

This commit is contained in:
orbitcowboy 2020-02-22 23:26:08 +01:00
parent 1f668c8dc4
commit 7245ec0520
1 changed files with 87 additions and 5 deletions

View File

@ -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"/>