diff --git a/cfg/posix.cfg b/cfg/posix.cfg
index 87f242951..9b62cae5f 100644
--- a/cfg/posix.cfg
+++ b/cfg/posix.cfg
@@ -1121,6 +1121,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   <!-- ssize_t read(int fd, void *buf, size_t count); -->
   <function name="read">
     <leak-ignore/>
+    <returnValue type="ssize_t"/>
     <arg nr="1">
       <not-uninit/>
     </arg>
@@ -1136,6 +1137,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   <function name="write">
     <noreturn>false</noreturn>
     <leak-ignore/>
+    <returnValue type="ssize_t"/>
     <arg nr="1">
       <not-uninit/>
     </arg>
@@ -1148,7 +1150,9 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
       <valid>0:</valid>
     </arg>
   </function>
+  <!-- ssize_t recv(int sockfd, void *buf, size_t len, int flags); -->
   <function name="recv">
+    <returnValue type="ssize_t"/>
     <arg nr="1">
       <not-uninit/>
     </arg>
@@ -1162,7 +1166,10 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
       <not-uninit/>
     </arg>
   </function>
+  <!-- ssize_t recvfrom(int sockfd, void *buf, size_t len, int flags,
+                        struct sockaddr *src_addr, socklen_t *addrlen); -->
   <function name="recvfrom">
+    <returnValue type="ssize_t"/>
     <arg nr="1">
       <not-uninit/>
     </arg>
@@ -1178,7 +1185,19 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <arg nr="5"/>
     <arg nr="6"/>
   </function>
+  <!-- ssize_t recvmsg(int sockfd, struct msghdr *msg, int flags); -->
+  <function name="recvmsg">
+    <returnValue type="ssize_t"/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <not-uninit/>
+    </arg>
+  </function>
+  <!-- ssize_t send(int sockfd, const void *buf, size_t len, int flags); -->
   <function name="send">
+    <returnValue type="ssize_t"/>
     <arg nr="1">
       <not-uninit/>
     </arg>
@@ -1192,7 +1211,10 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
       <not-uninit/>
     </arg>
   </function>
+  <!-- ssize_t sendto(int sockfd, const void *buf, size_t len, int flags,
+                      const struct sockaddr *dest_addr, socklen_t addrlen); -->
   <function name="sendto">
+    <returnValue type="ssize_t"/>
     <arg nr="1">
       <not-uninit/>
     </arg>
@@ -1208,6 +1230,19 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
     <arg nr="5"/>
     <arg nr="6"/>
   </function>
+  <!-- ssize_t sendmsg(int sockfd, const struct msghdr *msg, int flags); -->
+  <function name="sendmsg">
+    <returnValue type="ssize_t"/>
+    <arg nr="1">
+      <not-uninit/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+    </arg>
+    <arg nr="3">
+      <not-uninit/>
+    </arg>
+  </function>
   <!-- void *mmap(void *addr, size_t length, int prot, int flags, int fd, off_t offset); -->
   <function name="mmap">
     <use-retval/>
@@ -1260,6 +1295,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- int munmap(void *addr, size_t length); -->
   <function name="munmap">
+    <returnValue type="int"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-null/>
@@ -1288,6 +1324,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   <function name="fcntl">
     <noreturn>false</noreturn>
     <leak-ignore/>
+    <returnValue type="int"/>
     <arg nr="1">
       <not-uninit/>
     </arg>
@@ -1328,23 +1365,29 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
       <not-uninit/>
     </arg>
   </function>
+  <!-- gid_t getgid(void) -->
   <function name="getgid">
     <use-retval/>
+    <returnValue type="gid_t"/>
     <noreturn>false</noreturn>
   </function>
+  <!-- gid_t getegid(void) -->
   <function name="getegid">
     <use-retval/>
+    <returnValue type="gid_t"/>
     <noreturn>false</noreturn>
   </function>
   <!-- uid_t getuid (void); -->
   <function name="getuid">
     <use-retval/>
+    <returnValue type="uid_t"/>
     <noreturn>false</noreturn>
     <leak-ignore/>
   </function>
   <!-- pid_t getsid(pid_t pid); -->
   <function name="getsid">
     <use-retval/>
+    <returnValue type="pid_t"/>
     <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
@@ -1354,30 +1397,35 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   <!-- uid_t geteuid(void); -->
   <function name="geteuid">
     <use-retval/>
+    <returnValue type="uid_t"/>
     <noreturn>false</noreturn>
     <leak-ignore/>
   </function>
   <!-- pid_t getppid(void); -->
   <function name="getppid">
     <use-retval/>
+    <returnValue type="pid_t"/>
     <noreturn>false</noreturn>
     <leak-ignore/>
   </function>
   <!-- pid_t getpid(void); -->
   <function name="getpid">
     <use-retval/>
+    <returnValue type="pid_t"/>
     <noreturn>false</noreturn>
     <leak-ignore/>
   </function>
   <!-- pid_t getpgrp(void); -->
   <function name="getpgrp">
     <use-retval/>
+    <returnValue type="pid_t"/>
     <noreturn>false</noreturn>
     <leak-ignore/>
   </function>
   <!-- ppid_t getpgid(pid_t pid); -->
   <function name="getpgid">
     <use-retval/>
+    <returnValue type="ppid_t"/>
     <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
@@ -1387,6 +1435,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   <!-- int setuid(uid_t uid); -->
   <function name="setuid">
     <use-retval/>
+    <returnValue type="int"/>
     <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
@@ -1396,14 +1445,17 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   <!-- int seteuid(uid_t euid); -->
   <function name="seteuid">
     <use-retval/>
+    <returnValue type="int"/>
     <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
       <not-uninit/>
     </arg>
   </function>
+  <!-- int setgid(gid_t gid); -->
   <function name="setgid">
     <use-retval/>
+    <returnValue type="int"/>
     <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
@@ -1413,6 +1465,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   <!-- int setegid(gid_t egid); -->
   <function name="setegid">
     <use-retval/>
+    <returnValue type="int"/>
     <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
@@ -1421,6 +1474,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- int setpgid(pid_t pid, pid_t pgid); -->
   <function name="setpgid">
+    <returnValue type="int"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-uninit/>
@@ -1431,14 +1485,17 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- int pipe(int fildes[2]); -->
   <function name="pipe">
+    <returnValue type="int"/>
     <noreturn>false</noreturn>
   </function>
   <!-- pid_t setpgrp(void); -->
   <function name="setpgrp">
+    <returnValue type="pid_t"/>
     <noreturn>false</noreturn>
   </function>
   <!-- int setregid(gid_t rgid, gid_t egid); -->
   <function name="setregid">
+    <returnValue type="int"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-uninit/>
@@ -1449,6 +1506,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- int setreuid(uid_t ruid, uid_t euid); -->
   <function name="setreuid">
+    <returnValue type="int"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-uninit/>
@@ -1459,6 +1517,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- int setfsuid(uid_t fsuid); -->
   <function name="setfsuid">
+    <returnValue type="int"/>
     <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
@@ -1467,6 +1526,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- int setfsgid(uid_t fsgid); -->
   <function name="setfsgid">
+    <returnValue type="int"/>
     <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
@@ -1475,11 +1535,13 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- pid_t setsid(void); -->
   <function name="setsid">
+    <returnValue type="pid_t"/>
     <noreturn>false</noreturn>
     <!-- it is a good idea to do: <use-retval/> -->
   </function>
   <!-- char *getwd(char *path_name);-->
   <function name="getwd">
+    <returnValue type="char *"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-null/>
@@ -1490,6 +1552,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   <!-- http://pubs.opengroup.org/onlinepubs/009695399/basedefs/arpa/inet.h.html -->
   <!-- uint32_t htonl(uint32_t); -->
   <function name="htonl">
+    <returnValue type="uint32_t"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-uninit/>
@@ -1497,6 +1560,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- uint16_t htons(uint16_t); -->
   <function name="htons">
+    <returnValue type="uint16_t"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-uninit/>
@@ -1504,6 +1568,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- uint32_t ntohl(uint32_t); -->
   <function name="ntohl">
+    <returnValue type="uint32_t"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-uninit/>
@@ -1511,6 +1576,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- uint16_t ntohs(uint16_t); -->
   <function name="ntohs">
+    <returnValue type="uint16_t"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-uninit/>
@@ -1518,6 +1584,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- int      mq_close(mqd_t); -->
   <function name="mq_close">
+    <returnValue type="int"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-uninit/>
@@ -1525,6 +1592,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- int      mq_getattr(mqd_t, struct mq_attr *); -->
   <function name="mq_getattr">
+    <returnValue type="int"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-uninit/>
@@ -1533,6 +1601,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- int      mq_notify(mqd_t, const struct sigevent *); -->
   <function name="mq_notify">
+    <returnValue type="int"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-null/>
@@ -1542,10 +1611,12 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- mqd_t    mq_open(const char *, int, ...); -->
   <function name="mq_open">
+    <returnValue type="mqd_t"/>
     <noreturn>false</noreturn>
   </function>
   <!-- ssize_t  mq_receive(mqd_t, char *, size_t, unsigned *); -->
   <function name="mq_receive">
+    <returnValue type="ssize_t"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-uninit/>
@@ -1554,6 +1625,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- int      mq_send(mqd_t, const char *, size_t, unsigned); -->
   <function name="mq_send">
+    <returnValue type="int"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-uninit/>
@@ -1563,6 +1635,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   <!-- int      mq_setattr(mqd_t, const struct mq_attr *restrict,-->
   <!--             struct mq_attr *restrict); -->
   <function name="mq_setattr">
+    <returnValue type="int"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-uninit/>
@@ -1572,6 +1645,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   <!-- ssize_t  mq_timedreceive(mqd_t, char *restrict, size_t,-->
   <!--             unsigned *restrict, const struct timespec *restrict); -->
   <function name="mq_timedreceive">
+    <returnValue type="ssize_t"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-uninit/>
@@ -1581,6 +1655,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   <!-- int      mq_timedsend(mqd_t, const char *, size_t, unsigned,-->
   <!--             const struct timespec *); -->
   <function name="mq_timedsend">
+    <returnValue type="int"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-uninit/>
@@ -1589,6 +1664,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- int      mq_unlink(const char *); -->
   <function name="mq_unlink">
+    <returnValue type="int"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-null/>
@@ -1597,6 +1673,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- int     dbm_clearerr(DBM *); -->
   <function name="dbm_clearerr">
+    <returnValue type="int"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-null/>
@@ -1613,6 +1690,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- int     dbm_delete(DBM *, datum); -->
   <function name="dbm_delete">
+    <returnValue type="int"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-null/>
@@ -1625,6 +1703,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   <!-- int     dbm_error(DBM *); -->
   <function name="dbm_error">
     <use-retval/>
+    <returnValue type="int"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-null/>
@@ -1634,6 +1713,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   <!-- datum   dbm_fetch(DBM *, datum); -->
   <function name="dbm_fetch">
     <use-retval/>
+    <returnValue type="datum"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-null/>
@@ -1646,6 +1726,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   <!-- datum   dbm_firstkey(DBM *); -->
   <function name="dbm_firstkey">
     <use-retval/>
+    <returnValue type="datum"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-null/>
@@ -1655,6 +1736,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   <!-- datum   dbm_nextkey(DBM *); -->
   <function name="dbm_nextkey">
     <use-retval/>
+    <returnValue type="datum"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-null/>
@@ -1663,6 +1745,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- DBM    *dbm_open(const char *, int, mode_t); -->
   <function name="dbm_open">
+    <returnValue type="DBM *"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-null/>
@@ -1677,6 +1760,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- int     dbm_store(DBM *, datum, datum, int); -->
   <function name="dbm_store">
+    <returnValue type="int"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-null/>
@@ -1705,6 +1789,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   <!-- http://pubs.opengroup.org/onlinepubs/009695399/functions/freeaddrinfo.html -->
   <!-- int getaddrinfo(const char * nodename, const char * servname, const struct addrinfo * hints, struct addrinfo ** res); -->
   <function name="getaddrinfo">
+    <returnValue type="int"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-uninit/>
@@ -1737,6 +1822,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- int uname(struct utsname *buf); -->
   <function name="uname">
+    <returnValue type="int"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-null/>
@@ -1763,6 +1849,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- char *strtok(char *s, const char *ct); -->
   <function name="strtok,std::strtok">
+    <returnValue type="char *"/>
     <pure/>
     <noreturn>false</noreturn>
     <leak-ignore/>
@@ -1779,6 +1866,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   <function name="strtok_r">
     <!-- strtok may modify the first argument, so using the return value is not mandatory -->
     <noreturn>false</noreturn>
+    <returnValue type="char *"/>
     <pure/>
     <leak-ignore/>
     <arg nr="1">
@@ -1795,6 +1883,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   <!--int getpwnam_r(const char *, struct passwd *, char *, size_t, struct passwd **); -->
   <function name="getpwnam_r">
     <use-retval/>
+    <returnValue type="int"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-uninit/>
@@ -1816,6 +1905,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- int getpwuid_r(uid_t, struct passwd *, char *, size_t, struct passwd **); -->
   <function name="getpwuid_r">
+    <returnValue type="int"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-uninit/>
@@ -1832,6 +1922,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- int catclose(nl_catd); -->
   <function name="catclose">
+    <returnValue type="int"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-uninit/>
@@ -1839,6 +1930,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- char *catgets(nl_catd, int, int, const char *); -->
   <function name="catgets">
+    <returnValue type="char *"/>
     <use-retval/>
     <noreturn>false</noreturn>
     <arg nr="1">
@@ -1856,6 +1948,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- nl_catd catopen(const char *, int); -->
   <function name="catopen">
+    <returnValue type="nl_catd"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-null/>
@@ -1868,6 +1961,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   <!-- http://pubs.opengroup.org/onlinepubs/9699919799/basedefs/poll.h.html -->
   <!-- int   poll(struct pollfd [], nfds_t, int); -->
   <function name="poll">
+    <returnValue type="int"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-uninit/>
@@ -1881,6 +1975,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- int    regcomp(regex_t *, const char *, int); -->
   <function name="regcomp">
+    <returnValue type="int"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-null/>
@@ -1894,6 +1989,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- size_t regerror(int, const regex_t *, char *, size_t); -->
   <function name="regerror">
+    <returnValue type="size_t"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-uninit/>
@@ -1908,6 +2004,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- int    regexec(const regex_t *, const char *, size_t, regmatch_t [restrict], int); -->
   <function name="regexec">
+    <returnValue type="int"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-null/>
@@ -1938,6 +2035,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- int    sched_get_priority_max(int); -->
   <function name="sched_get_priority_max">
+    <returnValue type="int"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-uninit/>
@@ -1945,6 +2043,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- int    sched_get_priority_min(int); -->
   <function name="sched_get_priority_min">
+    <returnValue type="int"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-uninit/>
@@ -1952,6 +2051,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- int    sched_getparam(pid_t, struct sched_param *); -->
   <function name="sched_getparam">
+    <returnValue type="int"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-uninit/>
@@ -1962,6 +2062,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- int    sched_getscheduler(pid_t); -->
   <function name="sched_getscheduler">
+    <returnValue type="int"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-uninit/>
@@ -1970,6 +2071,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   <!-- int    sched_rr_get_interval(pid_t, struct timespec *); -->
   <function name="sched_rr_get_interval">
     <noreturn>false</noreturn>
+    <returnValue type="int"/>
     <arg nr="1">
       <not-uninit/>
     </arg>
@@ -1979,6 +2081,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- int    sched_setparam(pid_t, const struct sched_param *); -->
   <function name="sched_setparam">
+    <returnValue type="int"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-uninit/>
@@ -1989,6 +2092,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- int    sched_setscheduler(pid_t, int, const struct sched_param *); -->
   <function name="sched_setscheduler">
+    <returnValue type="int"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-uninit/>
@@ -2002,11 +2106,13 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- int    sched_yield(void); -->
   <function name="sched_yield">
+    <returnValue type="int"/>
     <noreturn>false</noreturn>
   </function>
   <!-- char *ecvt(double value, int ndigit, int *restrict decpt, int *restrict sign);-->
   <!--      LEGACY in POSIX.1-2001, removed in POSIX.1-2008-->
   <function name="ecvt">
+    <returnValue type="char *"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-uninit/>
@@ -2025,6 +2131,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   <!-- char *fcvt(double value, int ndigit, int *restrict decpt, int *restrict sign);-->
   <!--    LEGACY in POSIX.1-2001, removed in POSIX.1-2008-->
   <function name="fcvt">
+    <returnValue type="char *"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-uninit/>
@@ -2043,6 +2150,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   <!-- char *gcvt(double value, int ndigit, char *buf);-->
   <!--    LEGACY in POSIX.1-2001, removed in POSIX.1-2008-->
   <function name="gcvt">
+    <returnValue type="char *"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-uninit/>
@@ -2057,6 +2165,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- off_t lseek(int fildes, off_t offset, int whence); -->
   <function name="lseek">
+    <returnValue type="off_t"/>
     <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
@@ -2071,6 +2180,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- int nanosleep(const struct timespec *rqtp, struct timespec *rmtp); -->
   <function name="nanosleep">
+    <returnValue type="int"/>
     <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
@@ -2089,6 +2199,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- char *getpass(const char *prompt); -->
   <function name="getpass">
+    <returnValue type="char *"/>
     <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
@@ -2099,10 +2210,12 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   <!-- double drand48(void); -->
   <function name="drand48">
     <use-retval/>
+    <returnValue type="double"/>
     <noreturn>false</noreturn>
   </function>
   <!-- int putenv(char *string); -->
   <function name="putenv">
+    <returnValue type="int"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-null/>
@@ -2111,6 +2224,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- int setenv(const char *envname, const char *envval, int overwrite); -->
   <function name="setenv">
+    <returnValue type="int"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-null/>
@@ -2126,6 +2240,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- int unsetenv(const char *name); -->
   <function name="unsetenv">
+    <returnValue type="int"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-null/>
@@ -2135,6 +2250,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   <!-- struct tm * localtime(const time_t *tp); -->
   <function name="localtime,std::localtime">
     <noreturn>false</noreturn>
+    <returnValue type="struct tm *"/>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -2145,6 +2261,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   <!-- struct tm *localtime_r(const time_t *timep, struct tm *result); -->
   <function name="localtime_r">
     <noreturn>false</noreturn>
+    <returnValue type="struct tm *"/>
     <leak-ignore/>
     <arg nr="1">
       <not-null/>
@@ -2156,6 +2273,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- struct dirent *readdir(DIR *dirp); -->
   <function name="readdir">
+    <returnValue type="struct dirent *"/>
     <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
@@ -2166,6 +2284,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- int readdir_r(DIR *dirp, struct dirent *entry, struct dirent **result); -->
   <function name="readdir_r">
+    <returnValue type="int"/>
     <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
@@ -2181,6 +2300,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- ssize_t readlink(const char *path, char *buf, size_t bufsiz); -->
   <function name="readlink">
+    <returnValue type="ssize_t"/>
     <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
@@ -2197,6 +2317,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- int readlinkat(int dirfd, const char *pathname, char *buf, size_t bufsiz); -->
   <function name="readlinkat">
+    <returnValue type="int"/>
     <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
@@ -2216,6 +2337,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- char *asctime_r(const struct tm *tm, char *buf); -->
   <function name="asctime_r">
+    <returnValue type="char *"/>
     <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
@@ -2229,6 +2351,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- char *ctime_r(const time_t *timep, char *buf); -->
   <function name="ctime_r">
+    <returnValue type="char *"/>
     <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
@@ -2242,6 +2365,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- struct tm *gmtime_r(const time_t *timep, struct tm *result); -->
   <function name="gmtime_r">
+    <returnValue type="struct tm *"/>
     <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
@@ -2254,6 +2378,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- struct tm * gmtime(const time_t *tp); -->
   <function name="gmtime">
+    <returnValue type="struct tm *"/>
     <use-retval/>
     <noreturn>false</noreturn>
     <leak-ignore/>
@@ -2266,6 +2391,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   <!-- http://pubs.opengroup.org/onlinepubs/007908799/xsh/time.h.html -->
   <!-- int clock_settime(clockid_t clock_id, const struct timespec *tp); -->
   <function name="clock_settime">
+    <returnValue type="int"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-uninit/>
@@ -2276,6 +2402,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- int killpg(int pgrp, int sig); -->
   <function name="killpg">
+    <returnValue type="int"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-uninit/>
@@ -2286,6 +2413,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- int kill(pid_t pid, int sig); -->
   <function name="kill">
+    <returnValue type="int"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-uninit/>
@@ -2296,6 +2424,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- int clock_gettime(clockid_t clock_id, struct timespec *tp); -->
   <function name="clock_gettime">
+    <returnValue type="int"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-uninit/>
@@ -2306,6 +2435,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- int clock_getres(clockid_t clock_id, struct timespec *res); -->
   <function name="clock_getres">
+    <returnValue type="int"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-uninit/>
@@ -2314,6 +2444,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- char* tmpnam(char *s); -->
   <function name="tmpnam,tmpnam_r">
+    <returnValue type="char *"/>
     <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
@@ -2361,6 +2492,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- useconds_t ualarm(useconds_t useconds, useconds_t interval); -->
   <function name="ualarm">
+    <returnValue type="useconds_t"/>
     <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
@@ -2373,6 +2505,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- double scalb(double x, double n); -->
   <function name="scalb">
+    <returnValue type="double"/>
     <use-retval/>
     <noreturn>false</noreturn>
     <leak-ignore/>
@@ -2404,6 +2537,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   <!-- int bcmp(const void *s1, void *s2, size_t n); -->
   <function name="bcmp">
     <use-retval/>
+    <returnValue type="int"/>
     <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
@@ -2435,6 +2569,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- int ftime(struct timeb *tp); -->
   <function name="ftime">
+    <returnValue type="int"/>
     <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
@@ -2445,6 +2580,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   <!-- wchar_t *wcswcs(const wchar_t *ws1, const wchar_t *ws2); -->
   <function name="wcswcs">
     <use-retval/>
+    <returnValue type="wchar_t *"/>
     <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
@@ -2459,6 +2595,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- char *stpcpy(char *desstr, const char *srcstr); -->
   <function name="stpcpy">
+    <returnValue type="char *"/>
     <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
@@ -2474,6 +2611,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   <!-- char *index(const char *s, int c); -->
   <function name="index">
     <use-retval/>
+    <returnValue type="char *"/>
     <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
@@ -2488,6 +2626,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   <!-- char *rindex(const char *s, int c); -->
   <function name="rindex">
     <use-retval/>
+    <returnValue type="char *"/>
     <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
@@ -2501,6 +2640,7 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- sighandler_t bsd_signal(int signum, sighandler_t handler); -->
   <function name="bsd_signal">
+    <returnValue type="sighandler_t"/>
     <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="1">
@@ -2513,23 +2653,27 @@ The function 'mktemp' is considered to be dangerous due to race conditions and s
   </function>
   <!-- pid_t fork(void); -->
   <function name="fork">
+    <returnValue type="pid_t"/>
     <noreturn>false</noreturn>
     <leak-ignore/>
   </function>
   <!-- pid_t vfork(void); -->
   <function name="vfork">
+    <returnValue type="pid_t"/>
     <noreturn>false</noreturn>
     <leak-ignore/>
     <warn severity="style" reason="Obsolescent" alternatives="fork"/>
   </function>
   <!-- int pthread_atfork(void (*prepare)(void), void (*parent)(void), void (*child)(void)); -->
   <function name="pthread_atfork">
+    <returnValue type="int"/>
     <noreturn>false</noreturn>
     <leak-ignore/>
     <arg nr="3"/>
   </function>
   <!-- int pthread_create(pthread_t * thread, const pthread_attr_t * attr, void *(*start_routine)(void*), void * arg); -->
   <function name="pthread_create">
+    <returnValue type="int"/>
     <noreturn>false</noreturn>
     <arg nr="1">
       <not-null/>