Lines Matching full:signature
679 // type in a Signature.
683 // The signature of a function we want to describe with a summary. This is a
684 // concessive signature, meaning there may be irrelevant types in the
685 // signature which we do not check against a function with concrete types.
687 class Signature { class in __anon4d759d9c0111::StdLibraryFunctionsChecker
695 // Construct a signature from optional types. If any of the optional types
696 // are not set then the signature will be invalid.
697 Signature(ArgTypes ArgTys, RetType RetTy) { in Signature() function in __anon4d759d9c0111::StdLibraryFunctionsChecker::Signature
743 /// * function prototype (signature)
751 /// The signature and argument constraints together contain information
752 /// about which functions are handled by the summary. The signature can use
754 /// a signature means that type is not compared to the type of the parameter
757 /// signature is matched.
764 // match to the signature.
797 bool matchesAndSet(const Signature &Sign, const FunctionDecl *FD) { in matchesAndSet()
1494 bool StdLibraryFunctionsChecker::Signature::matches( in matches()
1723 bool operator()(StringRef Name, Signature Sign, Summary Sum) { in initFunctionSummaries()
1747 // Add the same summary for different names with the Signature explicitly in initFunctionSummaries()
1749 void operator()(ArrayRef<StringRef> Names, Signature Sign, Summary Sum) { in initFunctionSummaries()
1831 "isalnum", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
1853 "isalpha", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
1867 "isascii", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
1877 "isblank", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
1887 "iscntrl", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
1898 "isdigit", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
1907 "isgraph", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
1919 "islower", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
1939 "isprint", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
1948 "ispunct", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
1962 "isspace", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
1978 "isupper", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
1995 "isxdigit", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
2008 "toupper", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
2014 "tolower", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
2020 "toascii", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
2027 "getchar", Signature(ArgTypes{}, RetType{IntTy}), in initFunctionSummaries()
2058 Signature(ArgTypes{VoidPtrRestrictTy, SizeTy, SizeTy, FilePtrRestrictTy}, in initFunctionSummaries()
2064 Signature(ArgTypes{ConstVoidPtrRestrictTy, SizeTy, in initFunctionSummaries()
2082 "read", Signature(ArgTypes{IntTy, VoidPtrTy, SizeTy}, RetType{Ssize_tTy}), in initFunctionSummaries()
2087 Signature(ArgTypes{IntTy, ConstVoidPtrTy, SizeTy}, RetType{Ssize_tTy}), in initFunctionSummaries()
2105 Signature( in initFunctionSummaries()
2113 Signature(ArgTypes{CharPtrPtrRestrictTy, SizePtrRestrictTy, IntTy, in initFunctionSummaries()
2131 "getenv", Signature(ArgTypes{ConstCharPtrTy}, RetType{CharPtrTy}), in initFunctionSummaries()
2139 {"getc", "fgetc"}, Signature(ArgTypes{FilePtrTy}, RetType{IntTy}), in initFunctionSummaries()
2171 Signature(ArgTypes{ConstCharPtrRestrictTy, ConstCharPtrRestrictTy}, in initFunctionSummaries()
2182 Signature(ArgTypes{IntTy, ConstCharPtrTy}, RetType{FilePtrTy}), in initFunctionSummaries()
2191 "tmpfile", Signature(ArgTypes{}, RetType{FilePtrTy}), in initFunctionSummaries()
2200 Signature(ArgTypes{ConstCharPtrRestrictTy, ConstCharPtrRestrictTy, in initFunctionSummaries()
2213 Signature(ArgTypes{ConstCharPtrTy, ConstCharPtrTy}, RetType{FilePtrTy}), in initFunctionSummaries()
2222 "fclose", Signature(ArgTypes{FilePtrTy}, RetType{IntTy}), in initFunctionSummaries()
2230 "pclose", Signature(ArgTypes{FilePtrTy}, RetType{IntTy}), in initFunctionSummaries()
2243 {"getc", "fgetc"}, Signature(ArgTypes{FilePtrTy}, RetType{IntTy}), in initFunctionSummaries()
2255 Signature(ArgTypes{IntTy, FilePtrTy}, RetType{IntTy}), in initFunctionSummaries()
2270 Signature(ArgTypes{CharPtrRestrictTy, IntTy, FilePtrRestrictTy}, in initFunctionSummaries()
2285 Signature(ArgTypes{ConstCharPtrRestrictTy, FilePtrRestrictTy}, in initFunctionSummaries()
2296 "ungetc", Signature(ArgTypes{IntTy, FilePtrTy}, RetType{IntTy}), in initFunctionSummaries()
2318 "fseek", Signature(ArgTypes{FilePtrTy, LongTy, IntTy}, RetType{IntTy}), in initFunctionSummaries()
2328 Signature(ArgTypes{FilePtrTy, Off_tTy, IntTy}, RetType{IntTy}), in initFunctionSummaries()
2341 Signature(ArgTypes{FilePtrRestrictTy, FPosTPtrRestrictTy}, in initFunctionSummaries()
2355 Signature(ArgTypes{FilePtrTy, ConstFPosTPtrTy}, RetType{IntTy}), in initFunctionSummaries()
2364 "fflush", Signature(ArgTypes{FilePtrTy}, RetType{IntTy}), in initFunctionSummaries()
2374 "ftell", Signature(ArgTypes{FilePtrTy}, RetType{LongTy}), in initFunctionSummaries()
2383 "ftello", Signature(ArgTypes{FilePtrTy}, RetType{Off_tTy}), in initFunctionSummaries()
2397 "fileno", Signature(ArgTypes{FilePtrTy}, RetType{IntTy}), in initFunctionSummaries()
2405 Signature(ArgTypes{FilePtrTy}, RetType{VoidTy}), in initFunctionSummaries()
2412 "clearerr", Signature(ArgTypes{FilePtrTy}, RetType{VoidTy}), in initFunctionSummaries()
2417 "feof", Signature(ArgTypes{FilePtrTy}, RetType{IntTy}), in initFunctionSummaries()
2422 "ferror", Signature(ArgTypes{FilePtrTy}, RetType{IntTy}), in initFunctionSummaries()
2427 "a64l", Signature(ArgTypes{ConstCharPtrTy}, RetType{LongTy}), in initFunctionSummaries()
2432 Signature(ArgTypes{LongTy}, RetType{CharPtrTy}), in initFunctionSummaries()
2439 "open", Signature(ArgTypes{ConstCharPtrTy, IntTy}, RetType{IntTy}), in initFunctionSummaries()
2449 Signature(ArgTypes{IntTy, ConstCharPtrTy, IntTy}, RetType{IntTy}), in initFunctionSummaries()
2459 "access", Signature(ArgTypes{ConstCharPtrTy, IntTy}, RetType{IntTy}), in initFunctionSummaries()
2468 Signature(ArgTypes{IntTy, ConstCharPtrTy, IntTy, IntTy}, in initFunctionSummaries()
2478 "dup", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
2488 "dup2", Signature(ArgTypes{IntTy, IntTy}, RetType{IntTy}), in initFunctionSummaries()
2499 "fdatasync", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
2509 Signature(ArgTypes{ConstCharPtrTy, ConstCharPtrTy, IntTy}, in initFunctionSummaries()
2517 "fsync", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
2527 Signature(ArgTypes{ConstCharPtrTy, Off_tTy}, RetType{IntTy}), in initFunctionSummaries()
2536 Signature(ArgTypes{ConstCharPtrTy, ConstCharPtrTy}, RetType{IntTy}), in initFunctionSummaries()
2546 Signature(ArgTypes{ConstCharPtrTy, IntTy, ConstCharPtrTy}, in initFunctionSummaries()
2557 "lockf", Signature(ArgTypes{IntTy, IntTy, Off_tTy}, RetType{IntTy}), in initFunctionSummaries()
2568 "creat", Signature(ArgTypes{ConstCharPtrTy, Mode_tTy}, RetType{IntTy}), in initFunctionSummaries()
2577 "sleep", Signature(ArgTypes{UnsignedIntTy}, RetType{UnsignedIntTy}), in initFunctionSummaries()
2587 "dirfd", Signature(ArgTypes{DirPtrTy}, RetType{IntTy}), in initFunctionSummaries()
2596 "alarm", Signature(ArgTypes{UnsignedIntTy}, RetType{UnsignedIntTy}), in initFunctionSummaries()
2603 "closedir", Signature(ArgTypes{DirPtrTy}, RetType{IntTy}), in initFunctionSummaries()
2611 "strdup", Signature(ArgTypes{ConstCharPtrTy}, RetType{CharPtrTy}), in initFunctionSummaries()
2617 Signature(ArgTypes{ConstCharPtrTy, SizeTy}, RetType{CharPtrTy}), in initFunctionSummaries()
2625 "wcsdup", Signature(ArgTypes{ConstWchar_tPtrTy}, RetType{Wchar_tPtrTy}), in initFunctionSummaries()
2630 "mkstemp", Signature(ArgTypes{CharPtrTy}, RetType{IntTy}), in initFunctionSummaries()
2639 "mkdtemp", Signature(ArgTypes{CharPtrTy}, RetType{CharPtrTy}), in initFunctionSummaries()
2648 "getcwd", Signature(ArgTypes{CharPtrTy, SizeTy}, RetType{CharPtrTy}), in initFunctionSummaries()
2667 "mkdir", Signature(ArgTypes{ConstCharPtrTy, Mode_tTy}, RetType{IntTy}), in initFunctionSummaries()
2676 Signature(ArgTypes{IntTy, ConstCharPtrTy, Mode_tTy}, RetType{IntTy}), in initFunctionSummaries()
2688 Signature(ArgTypes{ConstCharPtrTy, Mode_tTy, Dev_tTy}, RetType{IntTy}), in initFunctionSummaries()
2697 Signature(ArgTypes{IntTy, ConstCharPtrTy, Mode_tTy, Dev_tTy}, in initFunctionSummaries()
2707 "chmod", Signature(ArgTypes{ConstCharPtrTy, Mode_tTy}, RetType{IntTy}), in initFunctionSummaries()
2716 Signature(ArgTypes{IntTy, ConstCharPtrTy, Mode_tTy, IntTy}, in initFunctionSummaries()
2726 "fchmod", Signature(ArgTypes{IntTy, Mode_tTy}, RetType{IntTy}), in initFunctionSummaries()
2740 Signature(ArgTypes{IntTy, ConstCharPtrTy, Uid_tTy, Gid_tTy, IntTy}, in initFunctionSummaries()
2751 Signature(ArgTypes{ConstCharPtrTy, Uid_tTy, Gid_tTy}, RetType{IntTy}), in initFunctionSummaries()
2760 Signature(ArgTypes{ConstCharPtrTy, Uid_tTy, Gid_tTy}, RetType{IntTy}), in initFunctionSummaries()
2768 "fchown", Signature(ArgTypes{IntTy, Uid_tTy, Gid_tTy}, RetType{IntTy}), in initFunctionSummaries()
2777 "rmdir", Signature(ArgTypes{ConstCharPtrTy}, RetType{IntTy}), in initFunctionSummaries()
2785 "chdir", Signature(ArgTypes{ConstCharPtrTy}, RetType{IntTy}), in initFunctionSummaries()
2794 Signature(ArgTypes{ConstCharPtrTy, ConstCharPtrTy}, RetType{IntTy}), in initFunctionSummaries()
2805 Signature(ArgTypes{IntTy, ConstCharPtrTy, IntTy, ConstCharPtrTy, IntTy}, in initFunctionSummaries()
2817 "unlink", Signature(ArgTypes{ConstCharPtrTy}, RetType{IntTy}), in initFunctionSummaries()
2826 Signature(ArgTypes{IntTy, ConstCharPtrTy, IntTy}, RetType{IntTy}), in initFunctionSummaries()
2840 "fstat", Signature(ArgTypes{IntTy, StructStatPtrTy}, RetType{IntTy}), in initFunctionSummaries()
2850 Signature(ArgTypes{ConstCharPtrRestrictTy, StructStatPtrRestrictTy}, in initFunctionSummaries()
2861 Signature(ArgTypes{ConstCharPtrRestrictTy, StructStatPtrRestrictTy}, in initFunctionSummaries()
2873 Signature(ArgTypes{IntTy, ConstCharPtrRestrictTy, in initFunctionSummaries()
2885 "opendir", Signature(ArgTypes{ConstCharPtrTy}, RetType{DirPtrTy}), in initFunctionSummaries()
2893 "fdopendir", Signature(ArgTypes{IntTy}, RetType{DirPtrTy}), in initFunctionSummaries()
2902 "isatty", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
2911 "close", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
2920 Signature(ArgTypes{IntTy, IntTy}, RetType{LongTy}), in initFunctionSummaries()
2927 "pathconf", Signature(ArgTypes{ConstCharPtrTy, IntTy}, RetType{LongTy}), in initFunctionSummaries()
2932 "rewinddir", Signature(ArgTypes{DirPtrTy}, RetType{VoidTy}), in initFunctionSummaries()
2937 "seekdir", Signature(ArgTypes{DirPtrTy, LongTy}, RetType{VoidTy}), in initFunctionSummaries()
2942 "rand_r", Signature(ArgTypes{UnsignedIntPtrTy}, RetType{IntTy}), in initFunctionSummaries()
2950 Signature(ArgTypes{VoidPtrTy, SizeTy, IntTy, IntTy, IntTy, Off_tTy}, in initFunctionSummaries()
2963 Signature(ArgTypes{VoidPtrTy, SizeTy, IntTy, IntTy, IntTy, Off64_tTy}, in initFunctionSummaries()
2972 "pipe", Signature(ArgTypes{IntPtrTy}, RetType{IntTy}), in initFunctionSummaries()
2984 "lseek", Signature(ArgTypes{IntTy, Off_tTy, IntTy}, RetType{Off_tTy}), in initFunctionSummaries()
2995 Signature(ArgTypes{ConstCharPtrRestrictTy, CharPtrRestrictTy, SizeTy}, in initFunctionSummaries()
3018 Signature( in initFunctionSummaries()
3043 Signature(ArgTypes{IntTy, ConstCharPtrTy, IntTy, ConstCharPtrTy}, in initFunctionSummaries()
3059 Signature(ArgTypes{ConstCharPtrRestrictTy, CharPtrRestrictTy}, in initFunctionSummaries()
3071 Signature(ArgTypes{ConstCharPtrTy, CharPtrConstPtr}, RetType{IntTy}), in initFunctionSummaries()
3079 Signature(ArgTypes{ConstCharPtrTy, CharPtrConstPtr}, RetType{IntTy}), in initFunctionSummaries()
3087 Signature(ArgTypes{IntTy, CharPtrConstPtr, ConstCharPtrTy}, in initFunctionSummaries()
3114 // standardized signature will not match, thus we try to match with another in initFunctionSummaries()
3115 // signature that has the joker Irrelevant type. We also remove those in initFunctionSummaries()
3120 "socket", Signature(ArgTypes{IntTy, IntTy, IntTy}, RetType{IntTy}), in initFunctionSummaries()
3136 Signature(ArgTypes{IntTy, StructSockaddrPtrRestrictTy, in initFunctionSummaries()
3142 Signature(ArgTypes{IntTy, Irrelevant, Socklen_tPtrRestrictTy}, in initFunctionSummaries()
3150 Signature(ArgTypes{IntTy, ConstStructSockaddrPtrTy, Socklen_tTy}, in initFunctionSummaries()
3165 Signature(ArgTypes{IntTy, Irrelevant, Socklen_tTy}, RetType{IntTy}), in initFunctionSummaries()
3178 Signature(ArgTypes{IntTy, StructSockaddrPtrRestrictTy, in initFunctionSummaries()
3190 Signature(ArgTypes{IntTy, Irrelevant, Socklen_tPtrRestrictTy}, in initFunctionSummaries()
3202 Signature(ArgTypes{IntTy, StructSockaddrPtrRestrictTy, in initFunctionSummaries()
3214 Signature(ArgTypes{IntTy, Irrelevant, Socklen_tPtrRestrictTy}, in initFunctionSummaries()
3226 Signature(ArgTypes{IntTy, ConstStructSockaddrPtrTy, Socklen_tTy}, in initFunctionSummaries()
3236 Signature(ArgTypes{IntTy, Irrelevant, Socklen_tTy}, RetType{IntTy}), in initFunctionSummaries()
3261 Signature(ArgTypes{IntTy, VoidPtrRestrictTy, SizeTy, IntTy, in initFunctionSummaries()
3268 Signature(ArgTypes{IntTy, VoidPtrRestrictTy, SizeTy, IntTy, in initFunctionSummaries()
3290 Signature(ArgTypes{IntTy, ConstVoidPtrTy, SizeTy, IntTy, in initFunctionSummaries()
3296 Signature(ArgTypes{IntTy, ConstVoidPtrTy, SizeTy, IntTy, Irrelevant, in initFunctionSummaries()
3303 "listen", Signature(ArgTypes{IntTy, IntTy}, RetType{IntTy}), in initFunctionSummaries()
3313 Signature(ArgTypes{IntTy, VoidPtrTy, SizeTy, IntTy}, in initFunctionSummaries()
3335 Signature(ArgTypes{IntTy, StructMsghdrPtrTy, IntTy}, in initFunctionSummaries()
3347 Signature(ArgTypes{IntTy, ConstStructMsghdrPtrTy, IntTy}, in initFunctionSummaries()
3360 Signature(ArgTypes{IntTy, IntTy, IntTy, ConstVoidPtrTy, Socklen_tTy}, in initFunctionSummaries()
3376 Signature(ArgTypes{IntTy, IntTy, IntTy, VoidPtrRestrictTy, in initFunctionSummaries()
3388 Signature(ArgTypes{IntTy, ConstVoidPtrTy, SizeTy, IntTy}, in initFunctionSummaries()
3405 Signature(ArgTypes{IntTy, IntTy, IntTy, IntPtrTy}, RetType{IntTy}), in initFunctionSummaries()
3413 "shutdown", Signature(ArgTypes{IntTy, IntTy}, RetType{IntTy}), in initFunctionSummaries()
3429 Signature(ArgTypes{ConstStructSockaddrPtrRestrictTy, Socklen_tTy, in initFunctionSummaries()
3453 Signature(ArgTypes{ConstCharPtrTy, StructUtimbufPtrTy}, RetType{IntTy}), in initFunctionSummaries()
3468 Signature(ArgTypes{IntTy, ConstStructTimespecPtrTy}, RetType{IntTy}), in initFunctionSummaries()
3479 Signature( in initFunctionSummaries()
3494 Signature(ArgTypes{ConstCharPtrTy, ConstStructTimevalPtrTy}, in initFunctionSummaries()
3504 Signature(ArgTypes{ConstStructTimespecPtrTy, StructTimespecPtrTy}, in initFunctionSummaries()
3529 Signature(ArgTypes{ConstTime_tPtrTy}, RetType{StructTmPtrTy}), in initFunctionSummaries()
3536 Signature(ArgTypes{ConstTime_tPtrRestrictTy, StructTmPtrRestrictTy}, in initFunctionSummaries()
3545 Signature(ArgTypes{ConstStructTmPtrRestrictTy, CharPtrRestrictTy}, in initFunctionSummaries()
3556 Signature(ArgTypes{ConstTime_tPtrTy, CharPtrTy}, RetType{CharPtrTy}), in initFunctionSummaries()
3568 Signature(ArgTypes{ConstTime_tPtrRestrictTy, StructTmPtrRestrictTy}, in initFunctionSummaries()
3576 "gmtime", Signature(ArgTypes{ConstTime_tPtrTy}, RetType{StructTmPtrTy}), in initFunctionSummaries()
3584 Signature(ArgTypes{Clockid_tTy, StructTimespecPtrTy}, RetType{IntTy}), in initFunctionSummaries()
3597 Signature(ArgTypes{IntTy, StructItimervalPtrTy}, RetType{IntTy}), in initFunctionSummaries()
3637 Signature(ArgTypes{Pthread_cond_tPtrTy}, RetType{IntTy}), in initFunctionSummaries()
3645 Signature(ArgTypes{Pthread_tPtrRestrictTy, in initFunctionSummaries()
3657 Signature(ArgTypes{Pthread_attr_tPtrTy}, RetType{IntTy}), in initFunctionSummaries()
3666 Signature(ArgTypes{ConstPthread_attr_tPtrRestrictTy, SizePtrRestrictTy}, in initFunctionSummaries()
3676 Signature(ArgTypes{Pthread_attr_tPtrTy, SizeTy}, RetType{IntTy}), in initFunctionSummaries()
3686 Signature(ArgTypes{Pthread_mutex_tPtrRestrictTy, in initFunctionSummaries()
3698 Signature(ArgTypes{Pthread_mutex_tPtrTy}, RetType{IntTy}), in initFunctionSummaries()
3707 "__not_null", Signature(ArgTypes{IntPtrTy}, RetType{IntTy}), in initFunctionSummaries()
3712 Signature(ArgTypes{VoidPtrTy, IntTy, IntTy}, RetType{IntTy}), in initFunctionSummaries()
3718 "__single_val_0", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3722 "__single_val_1", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3726 "__range_1_2", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3730 "__range_m1_1", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3734 "__range_m2_m1", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3738 "__range_m10_10", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3742 Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3747 Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3752 Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3757 Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3762 Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3767 Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3772 Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3777 "__range_1_2__4_inf", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3784 "__single_val_out_0", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3788 "__single_val_out_1", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3792 "__range_out_1_2", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3796 "__range_out_m1_1", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3800 "__range_out_m2_m1", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3804 "__range_out_m10_10", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3808 Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3813 Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3818 Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3823 Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3828 Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3833 Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3838 Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3843 "__range_out_1_2__4_inf", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3850 "__within", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3854 "__out_of", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3860 Signature(ArgTypes{IntTy, IntTy}, RetType{IntTy}), in initFunctionSummaries()
3865 "__arg_constrained_twice", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3871 Signature(ArgTypes{Irrelevant, IntTy}, RetType{IntTy}), in initFunctionSummaries()
3875 Signature(ArgTypes{VoidPtrTy, ConstCharPtrTy}, RetType{IntTy}), in initFunctionSummaries()
3881 Signature(ArgTypes{ConstVoidPtrTy, SizeTy}, RetType{IntTy}), in initFunctionSummaries()
3887 Signature(ArgTypes{ConstVoidPtrTy, SizeTy, SizeTy}, RetType{IntTy}), in initFunctionSummaries()
3893 Signature(ArgTypes{ConstVoidPtrTy}, RetType{IntTy}), in initFunctionSummaries()
3900 Signature(ArgTypes{VoidPtrRestrictTy}, RetType{VoidTy}), in initFunctionSummaries()
3905 "__test_case_note", Signature(ArgTypes{}, RetType{IntTy}), in initFunctionSummaries()
3913 Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()