Lines Matching refs:IntTy
461 C.getLocationContext(), C.getASTContext().IntTy, in apply()
1265 const QualType IntTy = ACtx.IntTy; in initFunctionSummaries() local
1271 const QualType IntPtrTy = getPointerTy(IntTy); // int * in initFunctionSummaries()
1289 const RangeInt IntMax = BVF.getMaxValue(IntTy).getLimitedValue(); in initFunctionSummaries()
1428 "isalnum", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
1449 "isalpha", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
1463 "isascii", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
1473 "isblank", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
1483 "iscntrl", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
1494 "isdigit", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
1503 "isgraph", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
1515 "islower", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
1535 "isprint", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
1544 "ispunct", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
1558 "isspace", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
1574 "isupper", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
1591 "isxdigit", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
1604 "toupper", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
1609 "tolower", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
1614 "toascii", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
1621 {"getc", "fgetc"}, Signature(ArgTypes{FilePtrTy}, RetType{IntTy}), in initFunctionSummaries()
1627 "getchar", Signature(ArgTypes{}, RetType{IntTy}), in initFunctionSummaries()
1684 "read", Signature(ArgTypes{IntTy, VoidPtrTy, SizeTy}, RetType{Ssize_tTy}), in initFunctionSummaries()
1689 Signature(ArgTypes{IntTy, ConstVoidPtrTy, SizeTy}, RetType{Ssize_tTy}), in initFunctionSummaries()
1715 Signature(ArgTypes{CharPtrPtrRestrictTy, SizePtrRestrictTy, IntTy, in initFunctionSummaries()
1786 "fclose", Signature(ArgTypes{FilePtrTy}, RetType{IntTy}), in initFunctionSummaries()
1798 "fseek", Signature(ArgTypes{FilePtrTy, LongTy, IntTy}, RetType{IntTy}), in initFunctionSummaries()
1812 RetType{IntTy}), in initFunctionSummaries()
1825 Signature(ArgTypes{FilePtrTy, ConstFPosTPtrTy}, RetType{IntTy}), in initFunctionSummaries()
1846 "fileno", Signature(ArgTypes{FilePtrTy}, RetType{IntTy}), in initFunctionSummaries()
1867 "feof", Signature(ArgTypes{FilePtrTy}, RetType{IntTy}), in initFunctionSummaries()
1872 "ferror", Signature(ArgTypes{FilePtrTy}, RetType{IntTy}), in initFunctionSummaries()
1889 "access", Signature(ArgTypes{ConstCharPtrTy, IntTy}, RetType{IntTy}), in initFunctionSummaries()
1898 Signature(ArgTypes{IntTy, ConstCharPtrTy, IntTy, IntTy}, in initFunctionSummaries()
1899 RetType{IntTy}), in initFunctionSummaries()
1907 "dup", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
1916 "dup2", Signature(ArgTypes{IntTy, IntTy}, RetType{IntTy}), in initFunctionSummaries()
1926 Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
1936 Signature(ArgTypes{ConstCharPtrTy, ConstCharPtrTy, IntTy}, in initFunctionSummaries()
1937 RetType{IntTy}), in initFunctionSummaries()
1943 addToFunctionSummaryMap("fsync", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
1955 Signature(ArgTypes{ConstCharPtrTy, Off_tTy}, RetType{IntTy}), in initFunctionSummaries()
1964 Signature(ArgTypes{ConstCharPtrTy, ConstCharPtrTy}, RetType{IntTy}), in initFunctionSummaries()
1974 Signature(ArgTypes{ConstCharPtrTy, IntTy, ConstCharPtrTy}, in initFunctionSummaries()
1975 RetType{IntTy}), in initFunctionSummaries()
1985 "lockf", Signature(ArgTypes{IntTy, IntTy, Off_tTy}, RetType{IntTy}), in initFunctionSummaries()
1996 "creat", Signature(ArgTypes{ConstCharPtrTy, Mode_tTy}, RetType{IntTy}), in initFunctionSummaries()
2014 "dirfd", Signature(ArgTypes{DirPtrTy}, RetType{IntTy}), in initFunctionSummaries()
2029 Signature(ArgTypes{DirPtrTy}, RetType{IntTy}), in initFunctionSummaries()
2056 "mkstemp", Signature(ArgTypes{CharPtrTy}, RetType{IntTy}), in initFunctionSummaries()
2078 "mkdir", Signature(ArgTypes{ConstCharPtrTy, Mode_tTy}, RetType{IntTy}), in initFunctionSummaries()
2087 Signature(ArgTypes{IntTy, ConstCharPtrTy, Mode_tTy}, RetType{IntTy}), in initFunctionSummaries()
2098 Signature(ArgTypes{ConstCharPtrTy, Mode_tTy, Dev_tTy}, RetType{IntTy}), in initFunctionSummaries()
2107 Signature(ArgTypes{IntTy, ConstCharPtrTy, Mode_tTy, Dev_tTy}, in initFunctionSummaries()
2108 RetType{IntTy}), in initFunctionSummaries()
2116 "chmod", Signature(ArgTypes{ConstCharPtrTy, Mode_tTy}, RetType{IntTy}), in initFunctionSummaries()
2125 Signature(ArgTypes{IntTy, ConstCharPtrTy, Mode_tTy, IntTy}, in initFunctionSummaries()
2126 RetType{IntTy}), in initFunctionSummaries()
2135 "fchmod", Signature(ArgTypes{IntTy, Mode_tTy}, RetType{IntTy}), in initFunctionSummaries()
2149 Signature(ArgTypes{IntTy, ConstCharPtrTy, Uid_tTy, Gid_tTy, IntTy}, in initFunctionSummaries()
2150 RetType{IntTy}), in initFunctionSummaries()
2160 Signature(ArgTypes{ConstCharPtrTy, Uid_tTy, Gid_tTy}, RetType{IntTy}), in initFunctionSummaries()
2169 Signature(ArgTypes{ConstCharPtrTy, Uid_tTy, Gid_tTy}, RetType{IntTy}), in initFunctionSummaries()
2177 "fchown", Signature(ArgTypes{IntTy, Uid_tTy, Gid_tTy}, RetType{IntTy}), in initFunctionSummaries()
2186 Signature(ArgTypes{ConstCharPtrTy}, RetType{IntTy}), in initFunctionSummaries()
2194 Signature(ArgTypes{ConstCharPtrTy}, RetType{IntTy}), in initFunctionSummaries()
2203 Signature(ArgTypes{ConstCharPtrTy, ConstCharPtrTy}, RetType{IntTy}), in initFunctionSummaries()
2214 Signature(ArgTypes{IntTy, ConstCharPtrTy, IntTy, ConstCharPtrTy, IntTy}, in initFunctionSummaries()
2215 RetType{IntTy}), in initFunctionSummaries()
2226 Signature(ArgTypes{ConstCharPtrTy}, RetType{IntTy}), in initFunctionSummaries()
2235 Signature(ArgTypes{IntTy, ConstCharPtrTy, IntTy}, RetType{IntTy}), in initFunctionSummaries()
2249 "fstat", Signature(ArgTypes{IntTy, StructStatPtrTy}, RetType{IntTy}), in initFunctionSummaries()
2260 RetType{IntTy}), in initFunctionSummaries()
2271 RetType{IntTy}), in initFunctionSummaries()
2282 Signature(ArgTypes{IntTy, ConstCharPtrRestrictTy, in initFunctionSummaries()
2283 StructStatPtrRestrictTy, IntTy}, in initFunctionSummaries()
2284 RetType{IntTy}), in initFunctionSummaries()
2301 Signature(ArgTypes{IntTy}, RetType{DirPtrTy}), in initFunctionSummaries()
2308 "isatty", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
2327 "pclose", Signature(ArgTypes{FilePtrTy}, RetType{IntTy}), in initFunctionSummaries()
2331 addToFunctionSummaryMap("close", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
2340 Signature(ArgTypes{IntTy, IntTy}, RetType{LongTy}), in initFunctionSummaries()
2347 "pathconf", Signature(ArgTypes{ConstCharPtrTy, IntTy}, RetType{LongTy}), in initFunctionSummaries()
2354 Signature(ArgTypes{IntTy, ConstCharPtrTy}, RetType{FilePtrTy}), in initFunctionSummaries()
2371 "rand_r", Signature(ArgTypes{UnsignedIntPtrTy}, RetType{IntTy}), in initFunctionSummaries()
2377 Signature(ArgTypes{FilePtrTy, Off_tTy, IntTy}, RetType{IntTy}), in initFunctionSummaries()
2392 Signature(ArgTypes{VoidPtrTy, SizeTy, IntTy, IntTy, IntTy, Off_tTy}, in initFunctionSummaries()
2405 Signature(ArgTypes{VoidPtrTy, SizeTy, IntTy, IntTy, IntTy, Off64_tTy}, in initFunctionSummaries()
2414 Signature(ArgTypes{IntPtrTy}, RetType{IntTy}), in initFunctionSummaries()
2426 "lseek", Signature(ArgTypes{IntTy, Off_tTy, IntTy}, RetType{Off_tTy}), in initFunctionSummaries()
2456 ArgTypes{IntTy, ConstCharPtrRestrictTy, CharPtrRestrictTy, SizeTy}, in initFunctionSummaries()
2475 Signature(ArgTypes{IntTy, ConstCharPtrTy, IntTy, ConstCharPtrTy}, in initFunctionSummaries()
2476 RetType{IntTy}), in initFunctionSummaries()
2497 Signature(ArgTypes{ConstCharPtrTy, CharPtrConstPtr}, RetType{IntTy}), in initFunctionSummaries()
2506 Signature(ArgTypes{ConstCharPtrTy, CharPtrConstPtr}, RetType{IntTy}), in initFunctionSummaries()
2515 Signature(ArgTypes{IntTy, CharPtrConstPtr, ConstCharPtrTy}, in initFunctionSummaries()
2516 RetType{IntTy}), in initFunctionSummaries()
2554 Signature(ArgTypes{IntTy, StructSockaddrPtrRestrictTy, in initFunctionSummaries()
2556 RetType{IntTy}), in initFunctionSummaries()
2560 Signature(ArgTypes{IntTy, Irrelevant, Socklen_tPtrRestrictTy}, in initFunctionSummaries()
2561 RetType{IntTy}), in initFunctionSummaries()
2568 Signature(ArgTypes{IntTy, ConstStructSockaddrPtrTy, Socklen_tTy}, in initFunctionSummaries()
2569 RetType{IntTy}), in initFunctionSummaries()
2583 Signature(ArgTypes{IntTy, Irrelevant, Socklen_tTy}, RetType{IntTy}), in initFunctionSummaries()
2596 Signature(ArgTypes{IntTy, StructSockaddrPtrRestrictTy, in initFunctionSummaries()
2598 RetType{IntTy}), in initFunctionSummaries()
2608 Signature(ArgTypes{IntTy, Irrelevant, Socklen_tPtrRestrictTy}, in initFunctionSummaries()
2609 RetType{IntTy}), in initFunctionSummaries()
2620 Signature(ArgTypes{IntTy, StructSockaddrPtrRestrictTy, in initFunctionSummaries()
2622 RetType{IntTy}), in initFunctionSummaries()
2632 Signature(ArgTypes{IntTy, Irrelevant, Socklen_tPtrRestrictTy}, in initFunctionSummaries()
2633 RetType{IntTy}), in initFunctionSummaries()
2644 Signature(ArgTypes{IntTy, ConstStructSockaddrPtrTy, Socklen_tTy}, in initFunctionSummaries()
2645 RetType{IntTy}), in initFunctionSummaries()
2654 Signature(ArgTypes{IntTy, Irrelevant, Socklen_tTy}, RetType{IntTy}), in initFunctionSummaries()
2676 Signature(ArgTypes{IntTy, VoidPtrRestrictTy, SizeTy, IntTy, in initFunctionSummaries()
2683 Signature(ArgTypes{IntTy, VoidPtrRestrictTy, SizeTy, IntTy, in initFunctionSummaries()
2702 Signature(ArgTypes{IntTy, ConstVoidPtrTy, SizeTy, IntTy, in initFunctionSummaries()
2708 Signature(ArgTypes{IntTy, ConstVoidPtrTy, SizeTy, IntTy, Irrelevant, in initFunctionSummaries()
2715 Signature(ArgTypes{IntTy, IntTy}, RetType{IntTy}), in initFunctionSummaries()
2725 Signature(ArgTypes{IntTy, VoidPtrTy, SizeTy, IntTy}, in initFunctionSummaries()
2744 Signature(ArgTypes{IntTy, StructMsghdrPtrTy, IntTy}, in initFunctionSummaries()
2756 Signature(ArgTypes{IntTy, ConstStructMsghdrPtrTy, IntTy}, in initFunctionSummaries()
2769 Signature(ArgTypes{IntTy, IntTy, IntTy, ConstVoidPtrTy, Socklen_tTy}, in initFunctionSummaries()
2770 RetType{IntTy}), in initFunctionSummaries()
2785 Signature(ArgTypes{IntTy, IntTy, IntTy, VoidPtrRestrictTy, in initFunctionSummaries()
2787 RetType{IntTy}), in initFunctionSummaries()
2797 Signature(ArgTypes{IntTy, ConstVoidPtrTy, SizeTy, IntTy}, in initFunctionSummaries()
2811 Signature(ArgTypes{IntTy, IntTy, IntTy, IntPtrTy}, RetType{IntTy}), in initFunctionSummaries()
2828 Socklen_tTy, IntTy}, in initFunctionSummaries()
2829 RetType{IntTy}), in initFunctionSummaries()
2850 Signature(ArgTypes{ConstCharPtrTy, StructUtimbufPtrTy}, RetType{IntTy}), in initFunctionSummaries()
2865 Signature(ArgTypes{IntTy, ConstStructTimespecPtrTy}, RetType{IntTy}), in initFunctionSummaries()
2875 Signature(ArgTypes{IntTy, ConstCharPtrTy, in initFunctionSummaries()
2876 ConstStructTimespecPtrTy, IntTy}, in initFunctionSummaries()
2877 RetType{IntTy}), in initFunctionSummaries()
2891 RetType{IntTy}), in initFunctionSummaries()
2901 RetType{IntTy}), in initFunctionSummaries()
2947 /*MinBufSize=*/BVF.getValue(26, IntTy)))); in initFunctionSummaries()
2958 /*MinBufSize=*/BVF.getValue(26, IntTy)))); in initFunctionSummaries()
2980 Signature(ArgTypes{Clockid_tTy, StructTimespecPtrTy}, RetType{IntTy}), in initFunctionSummaries()
2993 Signature(ArgTypes{IntTy, StructItimervalPtrTy}, RetType{IntTy}), in initFunctionSummaries()
3033 Signature(ArgTypes{Pthread_cond_tPtrTy}, RetType{IntTy}), in initFunctionSummaries()
3044 RetType{IntTy}), in initFunctionSummaries()
3053 Signature(ArgTypes{Pthread_attr_tPtrTy}, RetType{IntTy}), in initFunctionSummaries()
3063 RetType{IntTy}), in initFunctionSummaries()
3072 Signature(ArgTypes{Pthread_attr_tPtrTy, SizeTy}, RetType{IntTy}), in initFunctionSummaries()
3084 RetType{IntTy}), in initFunctionSummaries()
3094 Signature(ArgTypes{Pthread_mutex_tPtrTy}, RetType{IntTy}), in initFunctionSummaries()
3101 "__not_null", Signature(ArgTypes{IntPtrTy}, RetType{IntTy}), in initFunctionSummaries()
3106 "__single_val_0", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3110 "__single_val_1", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3114 "__range_1_2", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3118 Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3125 "__within", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3129 "__out_of", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3135 Signature(ArgTypes{IntTy, IntTy}, RetType{IntTy}), in initFunctionSummaries()
3140 "__arg_constrained_twice", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
3146 Signature(ArgTypes{Irrelevant, IntTy}, RetType{IntTy}), in initFunctionSummaries()
3150 Signature(ArgTypes{VoidPtrTy, ConstCharPtrTy}, RetType{IntTy}), in initFunctionSummaries()
3156 Signature(ArgTypes{ConstVoidPtrTy, SizeTy}, RetType{IntTy}), in initFunctionSummaries()
3162 Signature(ArgTypes{ConstVoidPtrTy, SizeTy, SizeTy}, RetType{IntTy}), in initFunctionSummaries()
3168 Signature(ArgTypes{ConstVoidPtrTy}, RetType{IntTy}), in initFunctionSummaries()
3171 /*BufSize=*/BVF.getValue(10, IntTy)))); in initFunctionSummaries()
3180 "__test_case_note", Signature(ArgTypes{}, RetType{IntTy}), in initFunctionSummaries()