std.cfg: Improved documentation and added support for more functions.

This commit is contained in:
Martin Ettl 2015-01-18 15:31:16 +01:00
parent 8dab677eac
commit 4294e7a2d9
1 changed files with 72 additions and 0 deletions

View File

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