std.cfg: Added more functions and improved documentation.

This commit is contained in:
orbitcowboy 2015-01-19 11:55:16 +01:00
parent 3b8540fdc0
commit 7c737f0350
1 changed files with 360 additions and 3 deletions

View File

@ -744,6 +744,7 @@
<not-uninit/>
</arg>
</function>
<!-- double tgamma(double x); -->
<function name="tgamma">
<use-retval/>
<pure/>
@ -753,6 +754,7 @@
<not-uninit/>
</arg>
</function>
<!-- float tgammaf(float x); -->
<function name="tgammaf">
<use-retval/>
<pure/>
@ -762,6 +764,7 @@
<not-uninit/>
</arg>
</function>
<!-- long double tgammal(long double x); -->
<function name="tgammal">
<use-retval/>
<pure/>
@ -771,6 +774,7 @@
<not-uninit/>
</arg>
</function>
<!-- double trunc(double x); -->
<function name="trunc">
<use-retval/>
<pure/>
@ -780,6 +784,7 @@
<not-uninit/>
</arg>
</function>
<!-- float truncf(float x); -->
<function name="truncf">
<use-retval/>
<pure/>
@ -789,6 +794,7 @@
<not-uninit/>
</arg>
</function>
<!-- long double truncl(long double x); -->
<function name="truncl">
<use-retval/>
<pure/>
@ -1814,6 +1820,7 @@
<not-uninit/>
</arg>
</function>
<!-- int vfprintf(FILE *stream, const char *format, va_list arg); -->
<function name="vfprintf">
<noreturn>false</noreturn>
<leak-ignore/>
@ -1829,6 +1836,7 @@
<not-uninit/>
</arg>
</function>
<!-- int vfwprintf(FILE *stream, const wchar_t *format, va_list arg); -->
<function name="vfwprintf">
<noreturn>false</noreturn>
<leak-ignore/>
@ -2022,6 +2030,7 @@
<formatstr/>
</arg>
</function>
<!-- int vfscanf(FILE *stream, const char * format, va_list arg); -->
<function name="vfscanf">
<noreturn>false</noreturn>
<leak-ignore/>
@ -2033,6 +2042,18 @@
<formatstr/>
</arg>
</function>
<!-- int vfwscanf(FILE *stream, const wchar_t * format, va_list arg); -->
<function name="vfwscanf">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-uninit/>
</arg>
<formatstr scan="true"/>
<arg nr="2">
<formatstr/>
</arg>
</function>
<!-- int fseek(FILE* stream, long int offset, int origin); -->
<function name="fseek">
<noreturn>false</noreturn>
@ -2226,16 +2247,28 @@
<not-null/>
</arg>
</function>
<!-- int wctob(win_t c); -->
<function name="wctob">
<use-retval/>
<noreturn>false</noreturn>
<leak-ignore/>
<pure/>
<arg nr="1">
<not-uninit/>
</arg>
</function>
<!-- int wctomb(char *s, wchar_t wchar); -->
<function name="wctomb">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-uninit/>
<not-null/>
</arg>
<arg nr="2">
<not-uninit/>
</arg>
</function>
<!-- size_t wcstombs(char *mbstr, const wchar_t *wcstr, size_t n);-->
<function name="wcstombs">
<noreturn>false</noreturn>
<leak-ignore/>
@ -2270,6 +2303,7 @@
<noreturn>false</noreturn>
<leak-ignore/>
</function>
<!-- int ungetc(int c, FILE *stream); -->
<function name="ungetc">
<noreturn>false</noreturn>
<leak-ignore/>
@ -2281,6 +2315,7 @@
<not-uninit/>
</arg>
</function>
<!-- win_t ungetwc(win_t c, FILE *stream); -->
<function name="ungetwc">
<noreturn>false</noreturn>
<leak-ignore/>
@ -3560,6 +3595,27 @@
<valid>0:</valid>
</arg>
</function>
<!-- wchar_t *wmemchr(const wchar_t *cs, wchar_t c, size_t n);-->
<function name="wmemchr">
<use-retval/>
<pure/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-null/>
<not-uninit/>
<minsize type="argvalue" arg="3"/>
</arg>
<arg nr="2">
<not-uninit/>
<not-bool/>
<valid>0:</valid>
</arg>
<arg nr="3">
<not-bool/>
<valid>0:</valid>
</arg>
</function>
<!-- int memcmp(const void *s1, const void *s2, size_t n);-->
<function name="memcmp">
<use-retval/>
@ -3599,6 +3655,24 @@
<valid>0:</valid>
</arg>
</function>
<!-- wchar_t * wmemcpy(wchar_t *ct, const wchar_t *cs, size_t n);-->
<function name="wmemcpy">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-null/>
<minsize type="argvalue" arg="3"/>
</arg>
<arg nr="2">
<not-null/>
<not-uninit/>
<minsize type="argvalue" arg="3"/>
</arg>
<arg nr="3">
<not-bool/>
<valid>0:</valid>
</arg>
</function>
<!-- void * memmove(void *ct, const void *cs, size_t n); -->
<function name="memmove">
<noreturn>false</noreturn>
@ -3617,6 +3691,24 @@
<valid>0:</valid>
</arg>
</function>
<!-- wchar_t * wmemmove(wchar_t *ct, const wchar_t *cs, size_t n); -->
<function name="wmemmove">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-null/>
<minsize type="argvalue" arg="3"/>
</arg>
<arg nr="2">
<not-null/>
<not-uninit/>
<minsize type="argvalue" arg="3"/>
</arg>
<arg nr="3">
<not-bool/>
<valid>0:</valid>
</arg>
</function>
<!-- void *memset(void *s, int c, size_t n); -->
<function name="memset">
<noreturn>false</noreturn>
@ -3633,6 +3725,22 @@
<valid>0:</valid>
</arg>
</function>
<!-- wchar_t *wmemset(wchar_t *s, wchar_t c, size_t n); -->
<function name="wmemset">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-null/>
<minsize type="argvalue" arg="3"/>
</arg>
<arg nr="2">
<not-uninit/>
</arg>
<arg nr="3">
<not-bool/>
<valid>0:</valid>
</arg>
</function>
<!-- time_t mktime(struct tm *tp); -->
<function name="mktime">
<noreturn>false</noreturn>
@ -3869,6 +3977,7 @@
<not-uninit/>
</arg>
</function>
<!-- int vprintf(const char *format, va_list arg); -->
<function name="vprintf">
<noreturn>false</noreturn>
<leak-ignore/>
@ -3880,6 +3989,7 @@
<not-uninit/>
</arg>
</function>
<!-- int vprintf(const wchar_t *format, va_list arg); -->
<function name="vwprintf">
<noreturn>false</noreturn>
<leak-ignore/>
@ -4164,22 +4274,47 @@
<leak-ignore/>
<formatstr scan="true"/>
<arg nr="1">
<not-null/>
<formatstr/>
</arg>
</function>
<!-- int vsscanf(const char *s, const char *format, va_list arg); -->
<function name="vsscanf">
<noreturn>false</noreturn>
<leak-ignore/>
<formatstr scan="true"/>
<arg nr="2">
<not-null/>
<formatstr/>
</arg>
</function>
<!-- int vswscanf(const wchar_t *s, const wchar_t *format, va_list arg); -->
<function name="vswscanf">
<noreturn>false</noreturn>
<leak-ignore/>
<formatstr scan="true"/>
<arg nr="2">
<not-null/>
<formatstr/>
</arg>
</function>
<!-- int vscanf(const char *format, va_list arg); -->
<function name="vscanf">
<noreturn>false</noreturn>
<leak-ignore/>
<formatstr scan="true"/>
<arg nr="1">
<not-null/>
<formatstr/>
</arg>
</function>
<!-- int vscanf(const wchar_t *format, va_list arg); -->
<function name="vwscanf">
<noreturn>false</noreturn>
<leak-ignore/>
<formatstr scan="true"/>
<arg nr="1">
<not-null/>
<formatstr/>
</arg>
</function>
@ -4245,18 +4380,29 @@
<not-uninit/>
</arg>
</function>
<!-- wchar_t wcscat(wchar_t *deststr, const char *srcstr); -->
<function name="wcscat">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-null/>
<not-uninit/>
</arg>
<arg nr="2">
<not-null/>
<not-uninit/>
</arg>
</function>
<!-- size_t wcrtomb(char *s, wchar_t wc, mbstate_t *ps); -->
<function name="wcrtomb">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="2">
<not-uninit/>
</arg>
<arg nr="3">
<not-null/>
</arg>
</function>
<!-- char * strchr(const char *cs, int c); -->
<function name="strchr">
<use-retval/>
@ -4270,6 +4416,7 @@
<not-uninit/>
</arg>
</function>
<!-- wchar_t wcschr(const wchar_t *cs, wchar_t c); -->
<function name="wcschr">
<use-retval/>
<noreturn>false</noreturn>
@ -4297,6 +4444,7 @@
<not-uninit/>
</arg>
</function>
<!-- int wcscmp(const wchar_t *str1, const wchar_t c); -->
<function name="wcscmp">
<use-retval/>
<noreturn>false</noreturn>
@ -4324,6 +4472,7 @@
<not-uninit/>
</arg>
</function>
<!-- wchar_t *wcscpy(wchar_t *deststr, const wchar_t *srcstr); -->
<function name="wcscpy">
<noreturn>false</noreturn>
<leak-ignore/>
@ -4335,6 +4484,7 @@
<not-uninit/>
</arg>
</function>
<!-- size_t strftime(char *s, size_t max, const char *fmt, const struct tm *p); -->
<function name="strftime">
<noreturn>false</noreturn>
<leak-ignore/>
@ -4353,24 +4503,48 @@
<not-uninit/>
</arg>
</function>
<!-- size_t strfxtime(char *s, size_t max, const char *fmt, const struct tmx *p); -->
<function name="strfxtime">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-null/>
</arg>
<arg nr="2">
<not-uninit/>
</arg>
<arg nr="3">
<not-null/>
<not-uninit/>
</arg>
<arg nr="4">
<not-null/>
<not-uninit/>
</arg>
</function>
<!-- size_t strlen(const char *string); -->
<function name="strlen">
<use-retval/>
<noreturn>false</noreturn>
<leak-ignore/>
<pure/>
<arg nr="1">
<not-null/>
<not-uninit/>
</arg>
</function>
<!-- size_t wcslen(const wchar_t *string); -->
<function name="wcslen">
<use-retval/>
<noreturn>false</noreturn>
<leak-ignore/>
<pure/>
<arg nr="1">
<not-null/>
<not-uninit/>
</arg>
</function>
<!-- char *strncpy(char *s, const char *ct, size_t n); -->
<function name="strncpy">
<noreturn>false</noreturn>
<leak-ignore/>
@ -4388,6 +4562,7 @@
<valid>0:</valid>
</arg>
</function>
<!-- char * strpbrk(const char *cs, const char *ct); -->
<function name="strpbrk">
<use-retval/>
<noreturn>false</noreturn>
@ -4401,6 +4576,7 @@
<not-uninit/>
</arg>
</function>
<!-- char * strncat(char *ct, const char *s, size_t n); -->
<function name="strncat">
<noreturn>false</noreturn>
<leak-ignore/>
@ -4418,6 +4594,7 @@
<valid>0:</valid>
</arg>
</function>
<!-- wchar_t *wcsncat(wchar_t *ct, const wchar_t *cs, size_t n); -->
<function name="wcsncat">
<noreturn>false</noreturn>
<leak-ignore/>
@ -4434,6 +4611,7 @@
<valid>0:</valid>
</arg>
</function>
<!-- int strncmp(const char *s1, const char *s2, size_t n); -->
<function name="strncmp">
<use-retval/>
<noreturn>false</noreturn>
@ -4470,6 +4648,7 @@
<valid>0:</valid>
</arg>
</function>
<!-- size_t strstr(const char *s1, const char *s2); -->
<function name="strstr">
<use-retval/>
<noreturn>false</noreturn>
@ -4483,10 +4662,12 @@
<not-uninit/>
</arg>
</function>
<!-- wchar_t *wcsstr(const wchar_t *s1, const wchar_t *s2); -->
<function name="wcsstr">
<use-retval/>
<noreturn>false</noreturn>
<leak-ignore/>
<pure/>
<arg nr="1">
<not-null/>
<not-uninit/>
@ -4496,6 +4677,7 @@
<not-uninit/>
</arg>
</function>
<!-- size_t strspn(const char *cs, const char *ct); -->
<function name="strspn">
<use-retval/>
<noreturn>false</noreturn>
@ -4509,6 +4691,7 @@
<not-uninit/>
</arg>
</function>
<!-- size_t strxfrm(char *ds, const char *ss, size_t n); -->
<function name="strxfrm">
<noreturn>false</noreturn>
<leak-ignore/>
@ -4520,6 +4703,7 @@
<not-uninit/>
</arg>
</function>
<!-- size_t wcsxfrm(wchar_t *s1, const wchar_t *s2, size_t n); -->
<function name="wcsxfrm">
<noreturn>false</noreturn>
<leak-ignore/>
@ -4534,10 +4718,12 @@
<not-uninit/>
</arg>
</function>
<!-- size_t wcsspn(const wchar_t *s1, const wchar_t *s2); -->
<function name="wcsspn">
<use-retval/>
<noreturn>false</noreturn>
<leak-ignore/>
<pure/>
<arg nr="1">
<not-null/>
<not-uninit/>
@ -4564,6 +4750,7 @@
<not-uninit/>
</arg>
</function>
<!-- char * strerror(int errornum); -->
<function name="strerror">
<use-retval/>
<noreturn>false</noreturn>
@ -4572,10 +4759,12 @@
<not-uninit/>
</arg>
</function>
<!-- size_t strcspn(const char *cs, const char *ct); -->
<function name="strcspn">
<use-retval/>
<noreturn>false</noreturn>
<leak-ignore/>
<pure/>
<arg nr="1">
<not-null/>
<not-uninit/>
@ -4585,10 +4774,12 @@
<not-uninit/>
</arg>
</function>
<!-- size_t wcscspn(const wchar_t *cs, const wchar_t *ct); -->
<function name="wcscspn">
<use-retval/>
<noreturn>false</noreturn>
<leak-ignore/>
<pure/>
<arg nr="1">
<not-null/>
<not-uninit/>
@ -4598,6 +4789,7 @@
<not-uninit/>
</arg>
</function>
<!-- wchar_t * wcspbrk(const wchar_t *ct, wchar_t c); -->
<function name="wcspbrk">
<use-retval/>
<noreturn>false</noreturn>
@ -4607,10 +4799,10 @@
<not-uninit/>
</arg>
<arg nr="2">
<not-null/>
<not-uninit/>
</arg>
</function>
<!-- wchar_t * wcsncpy(wchar_t *s, const wchar_t *cs, size_t n); -->
<function name="wcsncpy">
<noreturn>false</noreturn>
<leak-ignore/>
@ -4639,6 +4831,7 @@
<not-uninit/>
</arg>
</function>
<!-- int wcscoll(const wchar_t *s1, const wchar_t *s2); -->
<function name="wcscoll">
<use-retval/>
<noreturn>false</noreturn>
@ -4687,6 +4880,25 @@
<not-uninit/>
</arg>
</function>
<!-- size_t wcsrtombs(char *dst, const wchar_t **src, size_t len, mbstate_t *ps); -->
<function name="wcsrtombs">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-null/>
</arg>
<arg nr="2">
<not-null/>
<not-uninit/>
</arg>
<arg nr="3">
<not-uninit/>
</arg>
<arg nr="4">
<not-null/>
</arg>
</function>
<!-- char *strtok(char *s, const char *ct); -->
<function name="strtok">
<!-- strtok may modify the first argument, so using the return value is not mandatory -->
<noreturn>false</noreturn>
@ -4700,6 +4912,7 @@
<not-uninit/>
</arg>
</function>
<!-- long strtol(const char *s, char **endp, int base); -->
<function name="strtol">
<use-retval/>
<noreturn>false</noreturn>
@ -4712,6 +4925,35 @@
<valid>0,2:36</valid>
</arg>
</function>
<!-- intmax_t strtoimax(const char *s, char **endp, int base); -->
<function name="strtoimax">
<use-retval/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-null/>
<not-uninit/>
</arg>
<arg nr="3">
<valid>0,2:36</valid>
<not-uninit/>
</arg>
</function>
<!-- uintmax_t strtoumax(const char *s, char **endp, int base); -->
<function name="strtoumax">
<use-retval/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-null/>
<not-uninit/>
</arg>
<arg nr="3">
<valid>0,2:36</valid>
<not-uninit/>
</arg>
</function>
<!-- float strtof(const char *s, char **endp); -->
<function name="strtof">
<use-retval/>
<noreturn>false</noreturn>
@ -4721,6 +4963,7 @@
<not-uninit/>
</arg>
</function>
<!-- double strtod(const char *s, char **endp); -->
<function name="strtod">
<use-retval/>
<noreturn>false</noreturn>
@ -4730,6 +4973,7 @@
<not-uninit/>
</arg>
</function>
<!-- long double strtod(const char *s, char **endp); -->
<function name="strtold">
<use-retval/>
<noreturn>false</noreturn>
@ -4739,6 +4983,7 @@
<not-uninit/>
</arg>
</function>
<!-- unsigned long strtoul(const char *s, char **endp, int base); -->
<function name="strtoul">
<use-retval/>
<noreturn>false</noreturn>
@ -4751,6 +4996,7 @@
<valid>0,2:36</valid>
</arg>
</function>
<!-- long long strtoll(const char *s, char **endp, int base); -->
<function name="strtoll">
<use-retval/>
<noreturn>false</noreturn>
@ -4763,6 +5009,7 @@
<valid>0,2:36</valid>
</arg>
</function>
<!-- unsigned long long strtoull(const char *s, char **endp, int base); -->
<function name="strtoull">
<use-retval/>
<noreturn>false</noreturn>
@ -4775,6 +5022,7 @@
<valid>0,2:36</valid>
</arg>
</function>
<!-- time_t time(time_t *tp); -->
<function name="time">
<noreturn>false</noreturn>
<leak-ignore/>
@ -4782,15 +5030,18 @@
<not-uninit/>
</arg>
</function>
<!-- char *tmpnam(char *s); -->
<function name="tmpnam">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1"/>
</function>
<!-- FILE *tmpfile(void); -->
<function name="tmpfile">
<use-retval/>
<noreturn>false</noreturn>
</function>
<!-- int tolower(int c); -->
<function name="tolower">
<use-retval/>
<noreturn>false</noreturn>
@ -4799,6 +5050,7 @@
<valid>0:255</valid>
</arg>
</function>
<!-- int toupper(int c); -->
<function name="toupper">
<use-retval/>
<noreturn>false</noreturn>
@ -4823,6 +5075,7 @@
<noreturn>false</noreturn>
<leak-ignore/>
</function>
<!-- float wcstod(const wchar_t *s, wchar ** endp); -->
<function name="wcstof">
<use-retval/>
<noreturn>false</noreturn>
@ -4832,6 +5085,7 @@
<not-uninit/>
</arg>
</function>
<!-- double wcstod(const wchar_t *s, wchar ** endp); -->
<function name="wcstod">
<use-retval/>
<noreturn>false</noreturn>
@ -4855,6 +5109,7 @@
<not-uninit/>
</arg>
</function>
<!-- long double wcstold(const wchar_t *s, wchar ** endp); -->
<function name="wcstold">
<use-retval/>
<noreturn>false</noreturn>
@ -4864,6 +5119,50 @@
<not-uninit/>
</arg>
</function>
<!-- wchar_t* wcstok(wchar_t *s, const wchar *ct, wchar_t **ptr); -->
<function name="wcstok">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-uninit/>
</arg>
<arg nr="2">
<not-uninit/>
<not-null/>
</arg>
<arg nr="3">
<not-null/>
</arg>
</function>
<!-- intmax_t wcstoimax(const wchar_t *s, wchar ** endp, int base); -->
<function name="wcstoimax">
<use-retval/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-null/>
<not-uninit/>
</arg>
<arg nr="3">
<not-uninit/>
<valid>0,2:36</valid>
</arg>
</function>
<!-- uintmax_t wcstoumax(const wchar_t *s, wchar ** endp, int base); -->
<function name="wcstoumax">
<use-retval/>
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-null/>
<not-uninit/>
</arg>
<arg nr="3">
<not-uninit/>
<valid>0,2:36</valid>
</arg>
</function>
<!-- long wcstol(const wchar_t *s, wchar ** endp, int base); -->
<function name="wcstol">
<use-retval/>
<noreturn>false</noreturn>
@ -4873,9 +5172,11 @@
<not-uninit/>
</arg>
<arg nr="3">
<not-uninit/>
<valid>0,2:36</valid>
</arg>
</function>
<!-- long long wcstoll(const wchar_t *s, wchar ** endp, int base); -->
<function name="wcstoll">
<use-retval/>
<noreturn>false</noreturn>
@ -4885,9 +5186,11 @@
<not-uninit/>
</arg>
<arg nr="3">
<not-uninit/>
<valid>0,2:36</valid>
</arg>
</function>
<!-- unsigned long wcstoul(const wchar_t *s, wchar ** endp, int base); -->
<function name="wcstoul">
<use-retval/>
<noreturn>false</noreturn>
@ -4897,9 +5200,11 @@
<not-uninit/>
</arg>
<arg nr="3">
<not-uninit/>
<valid>0,2:36</valid>
</arg>
</function>
<!-- unsigned long long wcstoull(const wchar_t *s, wchar ** endp, int base); -->
<function name="wcstoull">
<use-retval/>
<noreturn>false</noreturn>
@ -4909,14 +5214,17 @@
<not-uninit/>
</arg>
<arg nr="3">
<not-uninit/>
<valid>0,2:36</valid>
</arg>
</function>
<!-- int wprintf(const wchar_t *format, ...); -->
<function name="wprintf">
<noreturn>false</noreturn>
<leak-ignore/>
<formatstr/>
<arg nr="1">
<not-null/>
<formatstr/>
</arg>
<arg nr="any">
@ -4929,14 +5237,30 @@
<leak-ignore/>
<formatstr/>
<arg nr="2">
<not-null/>
<formatstr/>
</arg>
</function>
<!-- int vsprintf(char *s, const char *format, va_list arg); -->
<function name="vsprintf">
<noreturn>false</noreturn>
<leak-ignore/>
<formatstr/>
<arg nr="2">
<not-null/>
<formatstr/>
</arg>
</function>
<!-- int vswprintf(wchar_t *s, size_t n, const wchar_t *format, va_list arg); -->
<function name="vswprintf">
<noreturn>false</noreturn>
<leak-ignore/>
<formatstr/>
<arg nr="2">
<not-uninit/>
</arg>
<arg nr="3">
<not-null/>
<formatstr/>
</arg>
</function>
@ -4958,15 +5282,24 @@
<noreturn>false</noreturn>
<leak-ignore/>
<formatstr/>
<arg nr="2">
<not-uninit/>
</arg>
<arg nr="3">
<not-null/>
<formatstr/>
</arg>
</function>
<!-- int vsnprintf(char *s, size_t n, const char *format, va_list arg); -->
<function name="vsnprintf">
<noreturn>false</noreturn>
<leak-ignore/>
<formatstr/>
<arg nr="2">
<not-uninit/>
</arg>
<arg nr="3">
<not-null/>
<formatstr/>
</arg>
</function>
@ -4978,11 +5311,13 @@
<formatstr/>
</arg>
</function>
<!-- int wscanf(const wchar_t *format, ...); -->
<function name="wscanf">
<noreturn>false</noreturn>
<leak-ignore/>
<formatstr scan="true"/>
<arg nr="1">
<not-null/>
<formatstr/>
</arg>
</function>
@ -5008,6 +5343,7 @@
<formatstr/>
</arg>
</function>
<!-- int swscanf(const wchar_t *string, const wchar_t *format, ...); -->
<function name="swscanf">
<noreturn>false</noreturn>
<leak-ignore/>
@ -5016,6 +5352,27 @@
<formatstr/>
</arg>
</function>
<!-- int system(const char *command); -->
<function name="system">
<noreturn>false</noreturn>
<leak-ignore/>
<arg nr="1">
<not-uninit/>
</arg>
</function>
<!-- struct tmx *zonetime(const time_t *tp, int zone); -->
<function name="zonetime">
<noreturn>false</noreturn>
<leak-ignore/>
<use-retval/>
<arg nr="1">
<not-uninit/>
<not-null/>
</arg>
<arg nr="2">
<not-uninit/>
</arg>
</function>
<container id="stdContainer" endPattern="&gt; !!::">
<type templateParameter="0"/>
<size>