From 4294e7a2d93657115ca6c2e03b061d40e4a7381e Mon Sep 17 00:00:00 2001
From: Martin Ettl <ettl.martin78@googlemail.com>
Date: Sun, 18 Jan 2015 15:31:16 +0100
Subject: [PATCH] std.cfg: Improved documentation and added support for more
 functions.

---
 cfg/std.cfg | 72 +++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 72 insertions(+)

diff --git a/cfg/std.cfg b/cfg/std.cfg
index e5d115047..ecbe8e417 100644
--- a/cfg/std.cfg
+++ b/cfg/std.cfg
@@ -2966,6 +2966,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- int rand(void); -->
   <function name="rand">
     <use-retval/>
     <noreturn>false</noreturn>
@@ -3214,6 +3215,39 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- double nan(const char *tagp); -->
+  <function name="nan">
+    <pure/>
+    <use-retval/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+  </function>
+  <!-- float nanf(const char *tagp); -->
+  <function name="nanf">
+    <pure/>
+    <use-retval/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+  </function>
+  <!-- long double nanl(const char *tagp); -->
+  <function name="nanl">
+    <pure/>
+    <use-retval/>
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+  </function>
   <!-- int isnan(double x); -->
   <function name="isnan">
     <pure/>
@@ -3367,6 +3401,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- double nearbyint(double x); -->
   <function name="nearbyint">
     <pure/>
     <use-retval/>
@@ -3376,6 +3411,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- float nearbyintf(float x); -->
   <function name="nearbyintf">
     <pure/>
     <use-retval/>
@@ -3385,6 +3421,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- long double nearbyintl(long double x); -->
   <function name="nearbyintl">
     <pure/>
     <use-retval/>
@@ -3394,6 +3431,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- double nextafter(double x, double y); -->
   <function name="nextafter">
     <pure/>
     <use-retval/>
@@ -3406,6 +3444,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- float nextafterf(float x, float y); -->
   <function name="nextafterf">
     <pure/>
     <use-retval/>
@@ -3418,6 +3457,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- long double nextafterl(long double x, long double y);-->
   <function name="nextafterl">
     <pure/>
     <use-retval/>
@@ -3430,6 +3470,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- double nexttoward(double x, long double y); -->
   <function name="nexttoward">
     <pure/>
     <use-retval/>
@@ -3442,6 +3483,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- float nexttowardf(float x, long double y); -->
   <function name="nexttowardf">
     <pure/>
     <use-retval/>
@@ -3454,6 +3496,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- long double nexttowardl(long double x, long double y); -->
   <function name="nexttowardl">
     <pure/>
     <use-retval/>
@@ -3492,6 +3535,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- int memchr(const void *cs, int c, size_t n);-->
   <function name="memchr">
     <use-retval/>
     <pure/>
@@ -3512,6 +3556,7 @@
       <valid>0:</valid>
     </arg>
   </function>
+  <!-- int memcmp(const void *s1, const void *s2, size_t n);-->
   <function name="memcmp">
     <use-retval/>
     <pure/>
@@ -3532,6 +3577,7 @@
       <valid>0:</valid>
     </arg>
   </function>
+  <!-- void * memcpy(void *ct, const void *cs, size_t n);-->
   <function name="memcpy">
     <noreturn>false</noreturn>
     <leak-ignore/>
@@ -3549,6 +3595,7 @@
       <valid>0:</valid>
     </arg>
   </function>
+  <!-- void * memmove(void *ct, const void *cs, size_t n); -->
   <function name="memmove">
     <noreturn>false</noreturn>
     <leak-ignore/>
@@ -3566,6 +3613,7 @@
       <valid>0:</valid>
     </arg>
   </function>
+  <!-- void *memset(void *s, int c, size_t n); -->
   <function name="memset">
     <noreturn>false</noreturn>
     <leak-ignore/>
@@ -3581,6 +3629,7 @@
       <valid>0:</valid>
     </arg>
   </function>
+  <!-- time_t mktime(struct tm *tp); -->
   <function name="mktime">
     <noreturn>false</noreturn>
     <leak-ignore/>
@@ -3589,6 +3638,16 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- time_t mkxtime(struct tmx *tp); -->
+  <function name="mktime">
+    <noreturn>false</noreturn>
+    <leak-ignore/>
+    <arg nr="1">
+      <not-null/>
+      <not-uninit/>
+    </arg>
+  </function>
+  <!-- double modf(double x, double *ip); -->
   <function name="modf">
     <noreturn>false</noreturn>
     <leak-ignore/>
@@ -3599,6 +3658,7 @@
       <not-null/>
     </arg>
   </function>
+  <!-- float modff(float x, float *ip); -->
   <function name="modff">
     <noreturn>false</noreturn>
     <leak-ignore/>
@@ -3609,6 +3669,7 @@
       <not-null/>
     </arg>
   </function>
+  <!-- long double modfl(long double x, long double *ip); -->
   <function name="modfl">
     <noreturn>false</noreturn>
     <leak-ignore/>
@@ -3619,6 +3680,7 @@
       <not-null/>
     </arg>
   </function>
+  <!-- void perror(const char *string); -->
   <function name="perror">
     <noreturn>false</noreturn>
     <leak-ignore/>
@@ -3704,6 +3766,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- double remainder(double x, double y); -->
   <function name="remainder">
     <use-retval/>
     <pure/>
@@ -3716,6 +3779,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- float remainderf(float x, float y); -->
   <function name="remainderf">
     <use-retval/>
     <pure/>
@@ -3728,6 +3792,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- long double remainderl(long double x, long double y); -->
   <function name="remainderl">
     <use-retval/>
     <pure/>
@@ -3785,6 +3850,7 @@
       <not-null/>
     </arg>
   </function>
+  <!-- int printf(const char *format, ...); -->
   <function name="printf">
     <noreturn>false</noreturn>
     <leak-ignore/>
@@ -3843,6 +3909,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- void qsort(void *base, size_t n, size_t size, int (*cmp)(const void *, const void *)); -->
   <function name="qsort">
     <noreturn>false</noreturn>
     <leak-ignore/>
@@ -3861,6 +3928,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- int putc(int c, FILE *stream); -->
   <function name="putc">
     <noreturn>false</noreturn>
     <leak-ignore/>
@@ -3886,6 +3954,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- int puthchar(int c); -->
   <function name="putchar">
     <noreturn>false</noreturn>
     <leak-ignore/>
@@ -3903,6 +3972,7 @@
       <not-uninit/>
     </arg>
   </function>
+  <!-- int puts(const char *string); -->
   <function name="puts">
     <noreturn>false</noreturn>
     <leak-ignore/>
@@ -3913,12 +3983,14 @@
       <valid>0:</valid>
     </arg>
   </function>
+  <!-- void *realloc(void *block, size_t newsize); -->
   <function name="realloc">
     <noreturn>false</noreturn>
     <arg nr="2">
       <not-uninit/>
     </arg>
   </function>
+  <!-- int remove(const char *filename); -->
   <function name="remove">
     <noreturn>false</noreturn>
     <leak-ignore/>