Lines Matching refs:IntTy
589 C.getLocationContext(), C.getASTContext().IntTy, in apply()
1663 const QualType IntTy = ACtx.IntTy; in initFunctionSummaries() local
1669 const QualType IntPtrTy = getPointerTy(IntTy); // int * in initFunctionSummaries()
1687 const RangeInt IntMax = BVF.getMaxValue(IntTy).getLimitedValue(); 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()
2082 "read", Signature(ArgTypes{IntTy, VoidPtrTy, SizeTy}, RetType{Ssize_tTy}), in initFunctionSummaries()
2087 Signature(ArgTypes{IntTy, ConstVoidPtrTy, SizeTy}, RetType{Ssize_tTy}), in initFunctionSummaries()
2113 Signature(ArgTypes{CharPtrPtrRestrictTy, SizePtrRestrictTy, IntTy, in initFunctionSummaries()
2139 {"getc", "fgetc"}, Signature(ArgTypes{FilePtrTy}, RetType{IntTy}), in initFunctionSummaries()
2182 Signature(ArgTypes{IntTy, 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()
2286 RetType{IntTy}), 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()
2342 RetType{IntTy}), in initFunctionSummaries()
2355 Signature(ArgTypes{FilePtrTy, ConstFPosTPtrTy}, RetType{IntTy}), in initFunctionSummaries()
2364 "fflush", Signature(ArgTypes{FilePtrTy}, RetType{IntTy}), in initFunctionSummaries()
2397 "fileno", Signature(ArgTypes{FilePtrTy}, RetType{IntTy}), in initFunctionSummaries()
2417 "feof", Signature(ArgTypes{FilePtrTy}, RetType{IntTy}), in initFunctionSummaries()
2422 "ferror", Signature(ArgTypes{FilePtrTy}, RetType{IntTy}), 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()
2469 RetType{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()
2510 RetType{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()
2547 RetType{IntTy}), 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()
2587 "dirfd", Signature(ArgTypes{DirPtrTy}, RetType{IntTy}), in initFunctionSummaries()
2603 "closedir", Signature(ArgTypes{DirPtrTy}, RetType{IntTy}), in initFunctionSummaries()
2630 "mkstemp", Signature(ArgTypes{CharPtrTy}, RetType{IntTy}), 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()
2698 RetType{IntTy}), in initFunctionSummaries()
2707 "chmod", Signature(ArgTypes{ConstCharPtrTy, Mode_tTy}, RetType{IntTy}), in initFunctionSummaries()
2716 Signature(ArgTypes{IntTy, ConstCharPtrTy, Mode_tTy, IntTy}, in initFunctionSummaries()
2717 RetType{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()
2741 RetType{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()
2806 RetType{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()
2851 RetType{IntTy}), in initFunctionSummaries()
2862 RetType{IntTy}), in initFunctionSummaries()
2873 Signature(ArgTypes{IntTy, ConstCharPtrRestrictTy, in initFunctionSummaries()
2874 StructStatPtrRestrictTy, IntTy}, in initFunctionSummaries()
2875 RetType{IntTy}), 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()
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()
3019 ArgTypes{IntTy, ConstCharPtrRestrictTy, CharPtrRestrictTy, SizeTy}, in initFunctionSummaries()
3043 Signature(ArgTypes{IntTy, ConstCharPtrTy, IntTy, ConstCharPtrTy}, in initFunctionSummaries()
3044 RetType{IntTy}), 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()
3088 RetType{IntTy}), in initFunctionSummaries()
3120 "socket", Signature(ArgTypes{IntTy, IntTy, IntTy}, RetType{IntTy}), in initFunctionSummaries()
3136 Signature(ArgTypes{IntTy, StructSockaddrPtrRestrictTy, in initFunctionSummaries()
3138 RetType{IntTy}), in initFunctionSummaries()
3142 Signature(ArgTypes{IntTy, Irrelevant, Socklen_tPtrRestrictTy}, in initFunctionSummaries()
3143 RetType{IntTy}), in initFunctionSummaries()
3150 Signature(ArgTypes{IntTy, ConstStructSockaddrPtrTy, Socklen_tTy}, in initFunctionSummaries()
3151 RetType{IntTy}), in initFunctionSummaries()
3165 Signature(ArgTypes{IntTy, Irrelevant, Socklen_tTy}, RetType{IntTy}), in initFunctionSummaries()
3178 Signature(ArgTypes{IntTy, StructSockaddrPtrRestrictTy, in initFunctionSummaries()
3180 RetType{IntTy}), in initFunctionSummaries()
3190 Signature(ArgTypes{IntTy, Irrelevant, Socklen_tPtrRestrictTy}, in initFunctionSummaries()
3191 RetType{IntTy}), in initFunctionSummaries()
3202 Signature(ArgTypes{IntTy, StructSockaddrPtrRestrictTy, in initFunctionSummaries()
3204 RetType{IntTy}), in initFunctionSummaries()
3214 Signature(ArgTypes{IntTy, Irrelevant, Socklen_tPtrRestrictTy}, in initFunctionSummaries()
3215 RetType{IntTy}), in initFunctionSummaries()
3226 Signature(ArgTypes{IntTy, ConstStructSockaddrPtrTy, Socklen_tTy}, in initFunctionSummaries()
3227 RetType{IntTy}), 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()
3361 RetType{IntTy}), in initFunctionSummaries()
3376 Signature(ArgTypes{IntTy, IntTy, IntTy, VoidPtrRestrictTy, in initFunctionSummaries()
3378 RetType{IntTy}), 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()
3431 Socklen_tTy, IntTy}, in initFunctionSummaries()
3432 RetType{IntTy}), in initFunctionSummaries()
3453 Signature(ArgTypes{ConstCharPtrTy, StructUtimbufPtrTy}, RetType{IntTy}), in initFunctionSummaries()
3468 Signature(ArgTypes{IntTy, ConstStructTimespecPtrTy}, RetType{IntTy}), in initFunctionSummaries()
3480 ArgTypes{IntTy, ConstCharPtrTy, ConstStructTimespecPtrTy, IntTy}, in initFunctionSummaries()
3481 RetType{IntTy}), in initFunctionSummaries()
3495 RetType{IntTy}), in initFunctionSummaries()
3505 RetType{IntTy}), in initFunctionSummaries()
3551 /*MinBufSize=*/BVF.getValue(26, IntTy)))); in initFunctionSummaries()
3562 /*MinBufSize=*/BVF.getValue(26, IntTy)))); 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()
3648 RetType{IntTy}), in initFunctionSummaries()
3657 Signature(ArgTypes{Pthread_attr_tPtrTy}, RetType{IntTy}), in initFunctionSummaries()
3667 RetType{IntTy}), in initFunctionSummaries()
3676 Signature(ArgTypes{Pthread_attr_tPtrTy, SizeTy}, RetType{IntTy}), in initFunctionSummaries()
3688 RetType{IntTy}), in initFunctionSummaries()
3698 Signature(ArgTypes{Pthread_mutex_tPtrTy}, RetType{IntTy}), in initFunctionSummaries()
3704 const RangeInt IntMin = BVF.getMinValue(IntTy).getLimitedValue(); 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()
3896 /*BufSize=*/BVF.getValue(10, IntTy)))); in initFunctionSummaries()
3905 "__test_case_note", Signature(ArgTypes{}, RetType{IntTy}), in initFunctionSummaries()
3913 Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()