|
2321 | 2321 | <minsize type="argvalue" arg="3"/> |
2322 | 2322 | </arg> |
2323 | 2323 | <arg nr="3"> |
| 2324 | + <not-uninit/> |
2324 | 2325 | <not-bool/> |
2325 | 2326 | <valid>0:</valid> |
2326 | | - <not-uninit/> |
2327 | 2327 | </arg> |
2328 | 2328 | </function> |
2329 | 2329 | <!-- wchar_t * wmemcpy(wchar_t *ct, const wchar_t *cs, size_t n);--> |
|
2340 | 2340 | <minsize type="argvalue" arg="3"/> |
2341 | 2341 | </arg> |
2342 | 2342 | <arg nr="3"> |
| 2343 | + <not-uninit/> |
2343 | 2344 | <not-bool/> |
2344 | 2345 | <valid>0:</valid> |
2345 | | - <not-uninit/> |
2346 | 2346 | </arg> |
2347 | 2347 | </function> |
2348 | 2348 | <!-- void * memmove(void *ct, const void *cs, size_t n); --> |
|
2359 | 2359 | <minsize type="argvalue" arg="3"/> |
2360 | 2360 | </arg> |
2361 | 2361 | <arg nr="3"> |
| 2362 | + <not-uninit/> |
2362 | 2363 | <not-bool/> |
2363 | 2364 | <valid>0:</valid> |
2364 | | - <not-uninit/> |
2365 | 2365 | </arg> |
2366 | 2366 | </function> |
2367 | 2367 | <!-- wchar_t * wmemmove(wchar_t *ct, const wchar_t *cs, size_t n); --> |
|
2378 | 2378 | <minsize type="argvalue" arg="3"/> |
2379 | 2379 | </arg> |
2380 | 2380 | <arg nr="3"> |
| 2381 | + <not-uninit/> |
2381 | 2382 | <not-bool/> |
2382 | 2383 | <valid>0:</valid> |
2383 | | - <not-uninit/> |
2384 | 2384 | </arg> |
2385 | 2385 | </function> |
2386 | 2386 | <!-- void *memset(void *s, int c, size_t n); --> |
|
2395 | 2395 | <not-uninit/> |
2396 | 2396 | </arg> |
2397 | 2397 | <arg nr="3"> |
| 2398 | + <not-uninit/> |
2398 | 2399 | <not-bool/> |
2399 | 2400 | <valid>0:</valid> |
2400 | | - <not-uninit/> |
2401 | 2401 | </arg> |
2402 | 2402 | </function> |
2403 | 2403 | <!-- wchar_t *wmemset(wchar_t *s, wchar_t c, size_t n); --> |
|
2412 | 2412 | <not-uninit/> |
2413 | 2413 | </arg> |
2414 | 2414 | <arg nr="3"> |
| 2415 | + <not-uninit/> |
2415 | 2416 | <not-bool/> |
2416 | 2417 | <valid>0:</valid> |
2417 | | - <not-uninit/> |
2418 | 2418 | </arg> |
2419 | 2419 | </function> |
2420 | 2420 | <!-- time_t mktime(struct tm *tp); --> |
|
2754 | 2754 | <leak-ignore/> |
2755 | 2755 | <formatstr scan="true"/> |
2756 | 2756 | <arg nr="1"> |
2757 | | - <not-uninit/> |
2758 | 2757 | <formatstr/> |
2759 | 2758 | <not-null/> |
| 2759 | + <not-uninit/> |
2760 | 2760 | </arg> |
2761 | 2761 | </function> |
2762 | 2762 | <!-- int vsscanf(const char *s, const char *format, va_list arg); --> |
2763 | 2763 | <function name="vsscanf,std::vsscanf"> |
2764 | 2764 | <noreturn>false</noreturn> |
2765 | 2765 | <leak-ignore/> |
2766 | | - <formatstr scan="true"/> |
2767 | 2766 | <arg nr="1"> |
2768 | | - <not-uninit/> |
2769 | 2767 | <not-null/> |
| 2768 | + <not-uninit/> |
2770 | 2769 | </arg> |
| 2770 | + <formatstr scan="true"/> |
2771 | 2771 | <arg nr="2"> |
2772 | | - <not-uninit/> |
2773 | 2772 | <formatstr/> |
2774 | 2773 | <not-null/> |
| 2774 | + <not-uninit/> |
2775 | 2775 | </arg> |
2776 | 2776 | <arg nr="3"/> |
2777 | 2777 | </function> |
2778 | 2778 | <!-- int vswscanf(const wchar_t *s, const wchar_t *format, va_list arg); --> |
2779 | 2779 | <function name="vswscanf,std::vswscanf"> |
2780 | 2780 | <noreturn>false</noreturn> |
2781 | 2781 | <leak-ignore/> |
2782 | | - <formatstr scan="true"/> |
2783 | 2782 | <arg nr="1"> |
2784 | | - <not-uninit/> |
2785 | 2783 | <not-null/> |
| 2784 | + <not-uninit/> |
2786 | 2785 | </arg> |
| 2786 | + <formatstr scan="true"/> |
2787 | 2787 | <arg nr="2"> |
2788 | | - <not-uninit/> |
2789 | 2788 | <formatstr/> |
2790 | 2789 | <not-null/> |
| 2790 | + <not-uninit/> |
2791 | 2791 | </arg> |
2792 | 2792 | <arg nr="3"/> |
2793 | 2793 | </function> |
|
2797 | 2797 | <leak-ignore/> |
2798 | 2798 | <formatstr scan="true"/> |
2799 | 2799 | <arg nr="1"> |
2800 | | - <not-uninit/> |
2801 | 2800 | <formatstr/> |
2802 | 2801 | <not-null/> |
| 2802 | + <not-uninit/> |
2803 | 2803 | </arg> |
2804 | 2804 | <arg nr="2"/> |
2805 | 2805 | </function> |
|
2850 | 2850 | <leak-ignore/> |
2851 | 2851 | <arg nr="1"/> |
2852 | 2852 | </function> |
2853 | | - <memory> |
2854 | | - <dealloc>free</dealloc> |
2855 | | - <alloc init="false">malloc</alloc> |
2856 | | - <alloc init="true">calloc</alloc> |
2857 | | - </memory> |
2858 | | - <resource> |
2859 | | - <dealloc>fclose</dealloc> |
2860 | | - <alloc init="true">fopen</alloc> |
2861 | | - <alloc init="true">tmpfile</alloc> |
2862 | | - </resource> |
2863 | 2853 | <!-- char * strcat(char *deststr, const char *srcstr); --> |
2864 | 2854 | <function name="strcat,std::strcat"> |
2865 | 2855 | <noreturn>false</noreturn> |
|
3392 | 3382 | </function> |
3393 | 3383 | <!-- char *strtok(char *s, const char *ct); --> |
3394 | 3384 | <function name="strtok"> |
3395 | | - <!-- strtok may modify the first argument, so using the return value is not mandatory --> |
3396 | | - <noreturn>false</noreturn> |
3397 | 3385 | <pure/> |
| 3386 | + <noreturn>false</noreturn> |
3398 | 3387 | <leak-ignore/> |
3399 | 3388 | <arg nr="1"> |
3400 | 3389 | <not-uninit/> |
|
3591 | 3580 | <function name="sprintf"> |
3592 | 3581 | <noreturn>false</noreturn> |
3593 | 3582 | <leak-ignore/> |
3594 | | - <formatstr/> |
3595 | 3583 | <arg nr="1"> |
3596 | 3584 | <minsize type="strlen" arg="2"/> |
3597 | 3585 | </arg> |
| 3586 | + <formatstr/> |
3598 | 3587 | <arg nr="2"> |
3599 | | - <not-null/> |
3600 | 3588 | <formatstr/> |
| 3589 | + <not-null/> |
3601 | 3590 | </arg> |
3602 | 3591 | </function> |
3603 | 3592 | <!-- int swprintf(wchar_t *s, size_t n, const wchar_t *format, ...); --> |
|
3783 | 3772 | </function> |
3784 | 3773 | <!-- struct tmx *zonetime(const time_t *tp, int zone); --> |
3785 | 3774 | <function name="zonetime"> |
| 3775 | + <use-retval/> |
3786 | 3776 | <noreturn>false</noreturn> |
3787 | 3777 | <leak-ignore/> |
3788 | | - <use-retval/> |
3789 | 3778 | <arg nr="1"> |
3790 | | - <not-uninit/> |
3791 | 3779 | <not-null/> |
| 3780 | + <not-uninit/> |
3792 | 3781 | </arg> |
3793 | 3782 | <arg nr="2"> |
3794 | 3783 | <not-uninit/> |
3795 | 3784 | </arg> |
3796 | 3785 | </function> |
| 3786 | + <!--Not part of standard, but widely supported by runtime libraries--> |
| 3787 | + <function name="itoa"> |
| 3788 | + <noreturn>false</noreturn> |
| 3789 | + <leak-ignore/> |
| 3790 | + <arg nr="1"> |
| 3791 | + <not-uninit/> |
| 3792 | + </arg> |
| 3793 | + <arg nr="2"> |
| 3794 | + <not-null/> |
| 3795 | + </arg> |
| 3796 | + <arg nr="3"/> |
| 3797 | + </function> |
| 3798 | + <memory> |
| 3799 | + <alloc init="false">malloc</alloc> |
| 3800 | + <alloc init="true">calloc</alloc> |
| 3801 | + <dealloc>free</dealloc> |
| 3802 | + </memory> |
| 3803 | + <resource> |
| 3804 | + <alloc init="true">fopen</alloc> |
| 3805 | + <alloc init="true">tmpfile</alloc> |
| 3806 | + <dealloc>fclose</dealloc> |
| 3807 | + </resource> |
3797 | 3808 | <container id="stdContainer" endPattern="> !!::"> |
3798 | 3809 | <type templateParameter="0"/> |
3799 | 3810 | <size> |
|
3867 | 3878 | <container id="stdBasicString" startPattern="std :: basic_string <" inherits="stdAllString"> |
3868 | 3879 | <type templateParameter="0"/> |
3869 | 3880 | </container> |
3870 | | - <container id="stdString" startPattern="std :: string|wstring|u16string|u32string" endPattern="" inherits="stdAllString"> |
3871 | | - </container> |
| 3881 | + <container id="stdString" startPattern="std :: string|wstring|u16string|u32string" endPattern="" inherits="stdAllString"/> |
3872 | 3882 | <podtype name="int8_t" sign="s" size="1"/> |
3873 | 3883 | <podtype name="int16_t" sign="s" size="2"/> |
3874 | 3884 | <podtype name="int32_t" sign="s" size="4"/> |
|
3919 | 3929 | <podtype name="mbstate_t"/> |
3920 | 3930 | <podtype name="wint_t"/> |
3921 | 3931 | <podtype name="jmp_buf"/> |
3922 | | - <!--Not part of standard, but widely supported by runtime libraries--> |
3923 | | - <function name="itoa"> |
3924 | | - <noreturn>false</noreturn> |
3925 | | - <leak-ignore/> |
3926 | | - <arg nr="1"> |
3927 | | - <not-uninit/> |
3928 | | - </arg> |
3929 | | - <arg nr="2"> |
3930 | | - <not-null/> |
3931 | | - </arg> |
3932 | | - <arg nr="3"/> |
3933 | | - </function> |
3934 | 3932 | </def> |
0 commit comments