posix.cfg: Added more returnValue-types.

This commit is contained in:
orbitcowboy 2017-08-02 14:11:50 +02:00
parent f516c5696e
commit 40985ada14
1 changed files with 69 additions and 0 deletions

View File

@ -2741,6 +2741,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<function name="pthread_attr_setstackaddr">
<noreturn>false</noreturn>
<leak-ignore/>
<returnValue type="int"/>
<arg nr="1">
<not-null/>
<not-uninit/>
@ -2755,6 +2756,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<function name="pthread_attr_getstackaddr">
<noreturn>false</noreturn>
<leak-ignore/>
<returnValue type="int"/>
<arg nr="1">
<not-null/>
<not-uninit/>
@ -2767,6 +2769,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<!-- char *tempnam(const char *dir, const char *pfx); -->
<function name="tempnam">
<use-retval/>
<returnValue type="char *"/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
@ -2780,6 +2783,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<!-- char *crypt(const char *key, const char *salt); -->
<function name="crypt">
<use-retval/>
<returnValue type="char *"/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
@ -2795,6 +2799,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<!-- char *ttyname(int fd); -->
<function name="ttyname">
<use-retval/>
<returnValue type="char *"/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
@ -2805,6 +2810,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<!-- struct spwd *getspnam(const char *name); -->
<function name="getspnam">
<use-retval/>
<returnValue type="struct spwd *"/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
@ -2816,6 +2822,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<!-- struct spwd *getspent(void); -->
<function name="getspent">
<use-retval/>
<returnValue type="struct spwd *"/>
<noreturn>false</noreturn>
<leak-ignore/>
<warn severity="portability">Non reentrant function 'getspent' called. For threadsafe applications it is recommended to use the reentrant replacement function 'getspent_r'.</warn>
@ -2823,6 +2830,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<!-- struct spwd *fgetspent(FILE *fp); -->
<function name="fgetspent">
<use-retval/>
<returnValue type="struct spwd *"/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
@ -2834,6 +2842,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<!-- struct spwd *sgetspent(const char *s); -->
<function name="sgetspent">
<use-retval/>
<returnValue type="struct spwd *"/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
@ -2845,6 +2854,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<!-- struct passwd *fgetpwent(FILE *stream); -->
<function name="fgetpwent">
<use-retval/>
<returnValue type="struct passwd *"/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
@ -2856,6 +2866,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<!-- struct group *getgrent(void); -->
<function name="getgrent">
<use-retval/>
<returnValue type="struct group *"/>
<noreturn>false</noreturn>
<leak-ignore/>
<warn severity="portability">Non reentrant function 'getgrent' called. For threadsafe applications it is recommended to use the reentrant replacement function 'getgrent_r'.</warn>
@ -2863,6 +2874,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<!-- int getgrent_r(struct group *gbuf, char *buf, size_t buflen, struct group **gbufp) -->
<function name="getgrent_r">
<use-retval/>
<returnValue type="int"/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="2">
@ -2877,6 +2889,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<!-- struct group *fgetgrent(FILE *stream); -->
<function name="fgetgrent">
<use-retval/>
<returnValue type="struct group *"/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
@ -2889,6 +2902,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<function name="getnetgrent">
<noreturn>false</noreturn>
<leak-ignore/>
<returnValue type="int"/>
<arg nr="1">
<not-null/>
</arg>
@ -2903,6 +2917,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<!-- struct group *getgrnam(const char *name); -->
<function name="getgrnam">
<use-retval/>
<returnValue type="struct group *"/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
@ -2913,6 +2928,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
</function>
<!-- struct group *getgrgid(gid_t gid); -->
<function name="getgrgid">
<returnValue type="struct group *"/>
<use-retval/>
<noreturn>false</noreturn>
<leak-ignore/>
@ -2923,6 +2939,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
</function>
<!-- char *getlogin(void); -->
<function name="getlogin">
<returnValue type="char *"/>
<use-retval/>
<noreturn>false</noreturn>
<leak-ignore/>
@ -2930,6 +2947,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
</function>
<!-- char *ctermid(char *s); -->
<function name="ctermid">
<returnValue type="char *"/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"/>
@ -2937,6 +2955,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
</function>
<!-- char *realpath(const char *path, char *resolved_path); -->
<function name="realpath">
<returnValue type="char *"/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
@ -2947,6 +2966,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
</function>
<!-- int remove(const char *pathname); -->
<function name="remove">
<returnValue type="int"/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
@ -2956,6 +2976,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
</function>
<!-- int fileno(FILE *stream);-->
<function name="fileno">
<returnValue type="int"/>
<use-retval/>
<noreturn>false</noreturn>
<leak-ignore/>
@ -2966,6 +2987,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
</function>
<!-- int fseeko(FILE *stream, off_t offset, int whence); -->
<function name="fseeko">
<returnValue type="int"/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
@ -2982,6 +3004,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<!-- off_t ftello(FILE *stream); -->
<function name="ftello">
<use-retval/>
<returnValue type="off_t"/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
@ -2992,6 +3015,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<!-- int execv(const char *path, char *const argv[]);
int execvp(const char *file, char *const argv[]); -->
<function name="execv,execvp">
<returnValue type="int"/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
@ -3005,12 +3029,14 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
</function>
<!-- pid_t wait(int *stat_loc); -->
<function name="wait">
<returnValue type="pid_t"/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"/>
</function>
<!-- pid_t waitpid(pid_t pid, int *stat_loc, int options); -->
<function name="waitpid">
<returnValue type="pid_t"/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
@ -3027,6 +3053,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<!-- size_t strnlen(const char *s, size_t maxlen); -->
<function name="strnlen,wcsnlen">
<use-retval/>
<returnValue type="size_t"/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
@ -3041,6 +3068,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<!-- http://man7.org/linux/man-pages/man3/ffs.3.html -->
<!-- int ffs(int i); -->
<function name="ffs">
<returnValue type="int"/>
<use-retval/>
<noreturn>false</noreturn>
<leak-ignore/>
@ -3051,6 +3079,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<!-- http://pubs.opengroup.org/onlinepubs/9699919799/functions/shmctl.html -->
<!-- int shmctl(int shmid, int cmd, struct shmid_ds *buf); -->
<function name="shmctl">
<returnValue type="int"/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
@ -3063,6 +3092,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<!-- http://pubs.opengroup.org/onlinepubs/009695399/functions/shmget.html -->
<!-- int shmget(key_t key, size_t size, int shmflg); -->
<function name="shmget">
<returnValue type="int"/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
@ -3092,6 +3122,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<!-- http://man7.org/linux/man-pages/man2/shmat.2.html -->
<!-- int shmdt(const void *shmaddr);-->
<function name="shmdt">
<returnValue type="int"/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"/>
@ -3099,6 +3130,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<!-- http://man7.org/linux/man-pages/man2/setrlimit.2.html -->
<!-- int getrlimit(int resource, struct rlimit *rlim); -->
<function name="getrlimit">
<returnValue type="int"/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
@ -3111,6 +3143,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<!-- http://man7.org/linux/man-pages/man2/setrlimit.2.html -->
<!-- int setrlimit(int resource, const struct rlimit *rlim); -->
<function name="setrlimit">
<returnValue type="int"/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
@ -3124,6 +3157,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<!-- http://man7.org/linux/man-pages/man3/glob.3.html -->
<!-- int glob(const char *pattern, int flags, int (*errfunc) (const char *epath, int eerrno), glob_t *pglob);-->
<function name="glob">
<returnValue type="int"/>
<noreturn>false</noreturn>
<arg nr="1">
<not-uninit/>
@ -3175,6 +3209,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<!-- int fnmatch(const char *pattern, const char *string, int flags); -->
<function name="fnmatch">
<use-retval/>
<returnValue type="int"/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
@ -3192,6 +3227,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<!-- http://man7.org/linux/man-pages/man3/opterr.3.html-->
<!-- int getopt(int argc, char * const argv[], const char *optstring); -->
<function name="getopt">
<returnValue type="int"/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
@ -3210,6 +3246,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<!-- http://man7.org/linux/man-pages/man2/setitimer.2.html-->
<!-- int getitimer(int which, struct itimerval *curr_value); -->
<function name="getitimer">
<returnValue type="int"/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
@ -3223,6 +3260,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<!-- http://man7.org/linux/man-pages/man2/setitimer.2.html-->
<!-- int setitimer(int which, const struct itimerval *new_value, struct itimerval *old_value); -->
<function name="setitimer">
<returnValue type="int"/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
@ -3238,6 +3276,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<!-- http://man7.org/linux/man-pages/man2/sigaction.2.html -->
<!-- int sigaction(int signum, const struct sigaction *act, struct sigaction *oldact); -->
<function name="sigaction">
<returnValue type="int"/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
@ -3248,6 +3287,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<!-- http://pubs.opengroup.org/onlinepubs/9699919799/functions/sigaltstack.html -->
<!-- int sigaltstack(const stack_t *restrict ss, stack_t *restrict oss); -->
<function name="sigaltstack">
<returnValue type="int"/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
@ -3255,6 +3295,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
</arg>
<arg nr="2"/>
</function>
<!-- void siglongjmp(sigjmp_buf env, int val); -->
<function name="siglongjmp,_longjmp">
<noreturn>true</noreturn>
<arg nr="1">
@ -3267,13 +3308,16 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<!-- http://pubs.opengroup.org/onlinepubs/9699919799/functions/sigsetjmp.html -->
<!-- int sigsetjmp(sigjmp_buf env, int savemask); -->
<function name="sigsetjmp,_setjmp">
<returnValue type="int"/>
<noreturn>false</noreturn>
<arg nr="1"/>
<arg nr="2">
<not-uninit/>
</arg>
</function>
<!-- int sigsuspend(const sigset_t *mask);-->
<function name="sigsuspend">
<returnValue type="int"/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
@ -3287,6 +3331,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
sigset_t *restrict oset); -->
<function name="pthread_sigmask,sigprocmask">
<noreturn>false</noreturn>
<returnValue type="int"/>
<arg nr="1">
<not-uninit/>
</arg>
@ -3300,6 +3345,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<!-- http://man7.org/linux/man-pages/man2/getrusage.2.html-->
<!-- int getrusage(int who, struct rusage *usage);-->
<function name="getrusage">
<returnValue type="int"/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
@ -3312,6 +3358,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<!-- http://man7.org/linux/man-pages/man3/sigsetops.3.html -->
<!-- int sigemptyset(sigset_t *set); -->
<function name="sigemptyset">
<returnValue type="int"/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
@ -3321,6 +3368,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<!-- http://man7.org/linux/man-pages/man3/sigsetops.3.html -->
<!-- int sigfillset(sigset_t *set); -->
<function name="sigfillset">
<returnValue type="int"/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
@ -3330,6 +3378,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<!-- http://man7.org/linux/man-pages/man3/sigsetops.3.html -->
<!-- int sigaddset(sigset_t *set, int signum); -->
<function name="sigaddset">
<returnValue type="int"/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
@ -3342,6 +3391,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<!-- http://man7.org/linux/man-pages/man3/sigsetops.3.html -->
<!-- int sigdelset(sigset_t *set, int signum);-->
<function name="sigdelset">
<returnValue type="int"/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
@ -3354,6 +3404,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<!-- http://man7.org/linux/man-pages/man3/sigsetops.3.html -->
<!-- int sigismember(const sigset_t *set, int signum);-->
<function name="sigismember">
<returnValue type="int"/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
@ -3363,12 +3414,23 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<not-uninit/>
</arg>
</function>
<!-- int posix_spawn(pid_t *restrict pid, const char *restrict path,
const posix_spawn_file_actions_t *file_actions,
const posix_spawnattr_t *restrict attrp,
char *const argv[restrict], char *const envp[restrict]);
int posix_spawnp(pid_t *restrict pid, const char *restrict file,
const posix_spawn_file_actions_t *file_actions,
const posix_spawnattr_t *restrict attrp,
char *const argv[restrict], char * const envp[restrict]); -->
<function name="posix_spawn,posix_spawnp">
<returnValue type="int"/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="6"/>
</function>
<!-- int msgctl(int msqid, int cmd, struct msqid_ds *buf); -->
<function name="msgctl">
<returnValue type="int"/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
@ -3381,7 +3443,9 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<not-uninit/>
</arg>
</function>
<!-- int msgget(key_t key, int msgflg);-->
<function name="msgget">
<returnValue type="int"/>
<noreturn>false</noreturn>
<use-retval/>
<arg nr="1">
@ -3391,7 +3455,10 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<not-uninit/>
</arg>
</function>
<!-- ssize_t msgrcv(int msqid, void *msgp, size_t msgsz, long msgtyp,
int msgflg); -->
<function name="msgrcv">
<returnValue type="ssize_t"/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
@ -3410,7 +3477,9 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
<not-uninit/>
</arg>
</function>
<!-- int msgsnd(int msqid, const void *msgp, size_t msgsz, int msgflg); -->
<function name="msgsnd">
<returnValue type="int"/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">