From 40985ada143ec507cf8947ae2056566a61e947fd Mon Sep 17 00:00:00 2001
From: orbitcowboy <ettl.martin78@gmail.com>
Date: Wed, 2 Aug 2017 14:11:50 +0200
Subject: [PATCH] posix.cfg: Added more returnValue-types.

---
 cfg/posix.cfg | 69 +++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 69 insertions(+)

diff --git a/cfg/posix.cfg b/cfg/posix.cfg
index 9b62cae5f..57048a1b0 100644
--- a/cfg/posix.cfg
+++ b/cfg/posix.cfg
@@ -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">