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()
2028 {"getc", "fgetc"}, Signature(ArgTypes{FilePtrTy}, RetType{IntTy}), in initFunctionSummaries()
2034 "getchar", Signature(ArgTypes{}, RetType{IntTy}), in initFunctionSummaries()
2089 "read", Signature(ArgTypes{IntTy, VoidPtrTy, SizeTy}, RetType{Ssize_tTy}), in initFunctionSummaries()
2094 Signature(ArgTypes{IntTy, ConstVoidPtrTy, SizeTy}, RetType{Ssize_tTy}), in initFunctionSummaries()
2120 Signature(ArgTypes{CharPtrPtrRestrictTy, SizePtrRestrictTy, IntTy, in initFunctionSummaries()
2179 Signature(ArgTypes{IntTy, ConstCharPtrTy}, RetType{FilePtrTy}), in initFunctionSummaries()
2209 "fclose", Signature(ArgTypes{FilePtrTy}, RetType{IntTy}), in initFunctionSummaries()
2217 "ungetc", Signature(ArgTypes{IntTy, FilePtrTy}, RetType{IntTy}), in initFunctionSummaries()
2242 "fseek", Signature(ArgTypes{FilePtrTy, LongTy, IntTy}, RetType{IntTy}), in initFunctionSummaries()
2252 Signature(ArgTypes{FilePtrTy, Off_tTy, IntTy}, RetType{IntTy}), in initFunctionSummaries()
2266 RetType{IntTy}), in initFunctionSummaries()
2279 Signature(ArgTypes{FilePtrTy, ConstFPosTPtrTy}, RetType{IntTy}), in initFunctionSummaries()
2288 "fflush", Signature(ArgTypes{FilePtrTy}, RetType{IntTy}), in initFunctionSummaries()
2316 "fileno", Signature(ArgTypes{FilePtrTy}, RetType{IntTy}), in initFunctionSummaries()
2338 "feof", Signature(ArgTypes{FilePtrTy}, RetType{IntTy}), in initFunctionSummaries()
2343 "ferror", Signature(ArgTypes{FilePtrTy}, RetType{IntTy}), in initFunctionSummaries()
2360 "open", Signature(ArgTypes{ConstCharPtrTy, IntTy}, RetType{IntTy}), in initFunctionSummaries()
2370 Signature(ArgTypes{IntTy, ConstCharPtrTy, IntTy}, RetType{IntTy}), in initFunctionSummaries()
2380 "access", Signature(ArgTypes{ConstCharPtrTy, IntTy}, RetType{IntTy}), in initFunctionSummaries()
2389 Signature(ArgTypes{IntTy, ConstCharPtrTy, IntTy, IntTy}, in initFunctionSummaries()
2390 RetType{IntTy}), in initFunctionSummaries()
2399 "dup", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
2409 "dup2", Signature(ArgTypes{IntTy, IntTy}, RetType{IntTy}), in initFunctionSummaries()
2420 "fdatasync", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
2430 Signature(ArgTypes{ConstCharPtrTy, ConstCharPtrTy, IntTy}, in initFunctionSummaries()
2431 RetType{IntTy}), in initFunctionSummaries()
2438 "fsync", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
2448 Signature(ArgTypes{ConstCharPtrTy, Off_tTy}, RetType{IntTy}), in initFunctionSummaries()
2457 Signature(ArgTypes{ConstCharPtrTy, ConstCharPtrTy}, RetType{IntTy}), in initFunctionSummaries()
2467 Signature(ArgTypes{ConstCharPtrTy, IntTy, ConstCharPtrTy}, in initFunctionSummaries()
2468 RetType{IntTy}), in initFunctionSummaries()
2478 "lockf", Signature(ArgTypes{IntTy, IntTy, Off_tTy}, RetType{IntTy}), in initFunctionSummaries()
2489 "creat", Signature(ArgTypes{ConstCharPtrTy, Mode_tTy}, RetType{IntTy}), in initFunctionSummaries()
2508 "dirfd", Signature(ArgTypes{DirPtrTy}, RetType{IntTy}), in initFunctionSummaries()
2524 "closedir", Signature(ArgTypes{DirPtrTy}, RetType{IntTy}), in initFunctionSummaries()
2551 "mkstemp", Signature(ArgTypes{CharPtrTy}, RetType{IntTy}), in initFunctionSummaries()
2588 "mkdir", Signature(ArgTypes{ConstCharPtrTy, Mode_tTy}, RetType{IntTy}), in initFunctionSummaries()
2597 Signature(ArgTypes{IntTy, ConstCharPtrTy, Mode_tTy}, RetType{IntTy}), in initFunctionSummaries()
2609 Signature(ArgTypes{ConstCharPtrTy, Mode_tTy, Dev_tTy}, RetType{IntTy}), in initFunctionSummaries()
2618 Signature(ArgTypes{IntTy, ConstCharPtrTy, Mode_tTy, Dev_tTy}, in initFunctionSummaries()
2619 RetType{IntTy}), in initFunctionSummaries()
2628 "chmod", Signature(ArgTypes{ConstCharPtrTy, Mode_tTy}, RetType{IntTy}), in initFunctionSummaries()
2637 Signature(ArgTypes{IntTy, ConstCharPtrTy, Mode_tTy, IntTy}, in initFunctionSummaries()
2638 RetType{IntTy}), in initFunctionSummaries()
2647 "fchmod", Signature(ArgTypes{IntTy, Mode_tTy}, RetType{IntTy}), in initFunctionSummaries()
2661 Signature(ArgTypes{IntTy, ConstCharPtrTy, Uid_tTy, Gid_tTy, IntTy}, in initFunctionSummaries()
2662 RetType{IntTy}), in initFunctionSummaries()
2672 Signature(ArgTypes{ConstCharPtrTy, Uid_tTy, Gid_tTy}, RetType{IntTy}), in initFunctionSummaries()
2681 Signature(ArgTypes{ConstCharPtrTy, Uid_tTy, Gid_tTy}, RetType{IntTy}), in initFunctionSummaries()
2689 "fchown", Signature(ArgTypes{IntTy, Uid_tTy, Gid_tTy}, RetType{IntTy}), in initFunctionSummaries()
2698 "rmdir", Signature(ArgTypes{ConstCharPtrTy}, RetType{IntTy}), in initFunctionSummaries()
2706 "chdir", Signature(ArgTypes{ConstCharPtrTy}, RetType{IntTy}), in initFunctionSummaries()
2715 Signature(ArgTypes{ConstCharPtrTy, ConstCharPtrTy}, RetType{IntTy}), in initFunctionSummaries()
2726 Signature(ArgTypes{IntTy, ConstCharPtrTy, IntTy, ConstCharPtrTy, IntTy}, in initFunctionSummaries()
2727 RetType{IntTy}), in initFunctionSummaries()
2738 "unlink", Signature(ArgTypes{ConstCharPtrTy}, RetType{IntTy}), in initFunctionSummaries()
2747 Signature(ArgTypes{IntTy, ConstCharPtrTy, IntTy}, RetType{IntTy}), in initFunctionSummaries()
2761 "fstat", Signature(ArgTypes{IntTy, StructStatPtrTy}, RetType{IntTy}), in initFunctionSummaries()
2772 RetType{IntTy}), in initFunctionSummaries()
2783 RetType{IntTy}), in initFunctionSummaries()
2794 Signature(ArgTypes{IntTy, ConstCharPtrRestrictTy, in initFunctionSummaries()
2795 StructStatPtrRestrictTy, IntTy}, in initFunctionSummaries()
2796 RetType{IntTy}), in initFunctionSummaries()
2814 "fdopendir", Signature(ArgTypes{IntTy}, RetType{DirPtrTy}), in initFunctionSummaries()
2823 "isatty", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
2842 "pclose", Signature(ArgTypes{FilePtrTy}, RetType{IntTy}), in initFunctionSummaries()
2847 "close", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
2856 Signature(ArgTypes{IntTy, IntTy}, RetType{LongTy}), in initFunctionSummaries()
2863 "pathconf", Signature(ArgTypes{ConstCharPtrTy, IntTy}, RetType{LongTy}), in initFunctionSummaries()
2878 "rand_r", Signature(ArgTypes{UnsignedIntPtrTy}, RetType{IntTy}), in initFunctionSummaries()
2886 Signature(ArgTypes{VoidPtrTy, SizeTy, IntTy, IntTy, IntTy, Off_tTy}, in initFunctionSummaries()
2899 Signature(ArgTypes{VoidPtrTy, SizeTy, IntTy, IntTy, IntTy, Off64_tTy}, in initFunctionSummaries()
2908 "pipe", Signature(ArgTypes{IntPtrTy}, RetType{IntTy}), in initFunctionSummaries()
2920 "lseek", Signature(ArgTypes{IntTy, Off_tTy, IntTy}, RetType{Off_tTy}), in initFunctionSummaries()
2955 ArgTypes{IntTy, ConstCharPtrRestrictTy, CharPtrRestrictTy, SizeTy}, in initFunctionSummaries()
2979 Signature(ArgTypes{IntTy, ConstCharPtrTy, IntTy, ConstCharPtrTy}, in initFunctionSummaries()
2980 RetType{IntTy}), in initFunctionSummaries()
3003 Signature(ArgTypes{ConstCharPtrTy, CharPtrConstPtr}, RetType{IntTy}), in initFunctionSummaries()
3011 Signature(ArgTypes{ConstCharPtrTy, CharPtrConstPtr}, RetType{IntTy}), in initFunctionSummaries()
3019 Signature(ArgTypes{IntTy, CharPtrConstPtr, ConstCharPtrTy}, in initFunctionSummaries()
3020 RetType{IntTy}), in initFunctionSummaries()
3052 "socket", Signature(ArgTypes{IntTy, IntTy, IntTy}, RetType{IntTy}), in initFunctionSummaries()
3068 Signature(ArgTypes{IntTy, StructSockaddrPtrRestrictTy, in initFunctionSummaries()
3070 RetType{IntTy}), in initFunctionSummaries()
3074 Signature(ArgTypes{IntTy, Irrelevant, Socklen_tPtrRestrictTy}, in initFunctionSummaries()
3075 RetType{IntTy}), in initFunctionSummaries()
3082 Signature(ArgTypes{IntTy, ConstStructSockaddrPtrTy, Socklen_tTy}, in initFunctionSummaries()
3083 RetType{IntTy}), in initFunctionSummaries()
3097 Signature(ArgTypes{IntTy, Irrelevant, Socklen_tTy}, RetType{IntTy}), in initFunctionSummaries()
3110 Signature(ArgTypes{IntTy, StructSockaddrPtrRestrictTy, in initFunctionSummaries()
3112 RetType{IntTy}), in initFunctionSummaries()
3122 Signature(ArgTypes{IntTy, Irrelevant, Socklen_tPtrRestrictTy}, in initFunctionSummaries()
3123 RetType{IntTy}), in initFunctionSummaries()
3134 Signature(ArgTypes{IntTy, StructSockaddrPtrRestrictTy, in initFunctionSummaries()
3136 RetType{IntTy}), in initFunctionSummaries()
3146 Signature(ArgTypes{IntTy, Irrelevant, Socklen_tPtrRestrictTy}, in initFunctionSummaries()
3147 RetType{IntTy}), in initFunctionSummaries()
3158 Signature(ArgTypes{IntTy, ConstStructSockaddrPtrTy, Socklen_tTy}, in initFunctionSummaries()
3159 RetType{IntTy}), in initFunctionSummaries()
3168 Signature(ArgTypes{IntTy, Irrelevant, Socklen_tTy}, RetType{IntTy}), in initFunctionSummaries()
3193 Signature(ArgTypes{IntTy, VoidPtrRestrictTy, SizeTy, IntTy, in initFunctionSummaries()
3200 Signature(ArgTypes{IntTy, VoidPtrRestrictTy, SizeTy, IntTy, in initFunctionSummaries()
3222 Signature(ArgTypes{IntTy, ConstVoidPtrTy, SizeTy, IntTy, in initFunctionSummaries()
3228 Signature(ArgTypes{IntTy, ConstVoidPtrTy, SizeTy, IntTy, Irrelevant, in initFunctionSummaries()
3235 "listen", Signature(ArgTypes{IntTy, IntTy}, RetType{IntTy}), in initFunctionSummaries()
3245 Signature(ArgTypes{IntTy, VoidPtrTy, SizeTy, IntTy}, in initFunctionSummaries()
3267 Signature(ArgTypes{IntTy, StructMsghdrPtrTy, IntTy}, in initFunctionSummaries()
3279 Signature(ArgTypes{IntTy, ConstStructMsghdrPtrTy, IntTy}, in initFunctionSummaries()
3292 Signature(ArgTypes{IntTy, IntTy, IntTy, ConstVoidPtrTy, Socklen_tTy}, in initFunctionSummaries()
3293 RetType{IntTy}), in initFunctionSummaries()
3308 Signature(ArgTypes{IntTy, IntTy, IntTy, VoidPtrRestrictTy, in initFunctionSummaries()
3310 RetType{IntTy}), in initFunctionSummaries()
3320 Signature(ArgTypes{IntTy, ConstVoidPtrTy, SizeTy, IntTy}, in initFunctionSummaries()
3337 Signature(ArgTypes{IntTy, IntTy, IntTy, IntPtrTy}, RetType{IntTy}), in initFunctionSummaries()
3345 "shutdown", Signature(ArgTypes{IntTy, IntTy}, RetType{IntTy}), in initFunctionSummaries()
3363 Socklen_tTy, IntTy}, in initFunctionSummaries()
3364 RetType{IntTy}), in initFunctionSummaries()
3385 Signature(ArgTypes{ConstCharPtrTy, StructUtimbufPtrTy}, RetType{IntTy}), in initFunctionSummaries()
3400 Signature(ArgTypes{IntTy, ConstStructTimespecPtrTy}, RetType{IntTy}), in initFunctionSummaries()
3412 ArgTypes{IntTy, ConstCharPtrTy, ConstStructTimespecPtrTy, IntTy}, in initFunctionSummaries()
3413 RetType{IntTy}), in initFunctionSummaries()
3427 RetType{IntTy}), in initFunctionSummaries()
3437 RetType{IntTy}), in initFunctionSummaries()
3483 /*MinBufSize=*/BVF.getValue(26, IntTy)))); in initFunctionSummaries()
3494 /*MinBufSize=*/BVF.getValue(26, IntTy)))); in initFunctionSummaries()
3516 Signature(ArgTypes{Clockid_tTy, StructTimespecPtrTy}, RetType{IntTy}), in initFunctionSummaries()
3529 Signature(ArgTypes{IntTy, StructItimervalPtrTy}, RetType{IntTy}), in initFunctionSummaries()
3569 Signature(ArgTypes{Pthread_cond_tPtrTy}, RetType{IntTy}), in initFunctionSummaries()
3580 RetType{IntTy}), in initFunctionSummaries()
3589 Signature(ArgTypes{Pthread_attr_tPtrTy}, RetType{IntTy}), in initFunctionSummaries()
3599 RetType{IntTy}), in initFunctionSummaries()
3608 Signature(ArgTypes{Pthread_attr_tPtrTy, SizeTy}, RetType{IntTy}), in initFunctionSummaries()
3620 RetType{IntTy}), in initFunctionSummaries()
3630 Signature(ArgTypes{Pthread_mutex_tPtrTy}, RetType{IntTy}), in initFunctionSummaries()
3636 const RangeInt IntMin = BVF.getMinValue(IntTy).getLimitedValue(); in initFunctionSummaries()
3639 "__not_null", Signature(ArgTypes{IntPtrTy}, RetType{IntTy}), in initFunctionSummaries()
3644 Signature(ArgTypes{VoidPtrTy, IntTy, IntTy}, RetType{IntTy}), in initFunctionSummaries()
3650 "__single_val_0", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3654 "__single_val_1", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3658 "__range_1_2", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3662 "__range_m1_1", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3666 "__range_m2_m1", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3670 "__range_m10_10", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3674 Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3679 Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3684 Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3689 Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3694 Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3699 Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3704 Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3709 "__range_1_2__4_inf", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3716 "__single_val_out_0", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3720 "__single_val_out_1", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3724 "__range_out_1_2", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3728 "__range_out_m1_1", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3732 "__range_out_m2_m1", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3736 "__range_out_m10_10", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3740 Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3745 Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3750 Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3755 Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3760 Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3765 Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3770 Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3775 "__range_out_1_2__4_inf", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3782 "__within", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3786 "__out_of", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3792 Signature(ArgTypes{IntTy, IntTy}, RetType{IntTy}), in initFunctionSummaries()
3797 "__arg_constrained_twice", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3803 Signature(ArgTypes{Irrelevant, IntTy}, RetType{IntTy}), in initFunctionSummaries()
3807 Signature(ArgTypes{VoidPtrTy, ConstCharPtrTy}, RetType{IntTy}), in initFunctionSummaries()
3813 Signature(ArgTypes{ConstVoidPtrTy, SizeTy}, RetType{IntTy}), in initFunctionSummaries()
3819 Signature(ArgTypes{ConstVoidPtrTy, SizeTy, SizeTy}, RetType{IntTy}), in initFunctionSummaries()
3825 Signature(ArgTypes{ConstVoidPtrTy}, RetType{IntTy}), in initFunctionSummaries()
3828 /*BufSize=*/BVF.getValue(10, IntTy)))); in initFunctionSummaries()
3837 "__test_case_note", Signature(ArgTypes{}, RetType{IntTy}), in initFunctionSummaries()
3845 Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()