Lines Matching refs:IntTy
1053 const QualType IntTy = ACtx.IntTy; in initFunctionSummaries() local
1059 const QualType IntPtrTy = getPointerTy(IntTy); // int * in initFunctionSummaries()
1077 const RangeInt IntMax = BVF.getMaxValue(IntTy).getLimitedValue(); in initFunctionSummaries()
1208 "isalnum", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
1226 "isalpha", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
1237 "isascii", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
1244 "isblank", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
1251 "iscntrl", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
1258 "isdigit", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
1265 "isgraph", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
1272 "islower", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
1287 "isprint", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
1294 "ispunct", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
1305 "isspace", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
1316 "isupper", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
1328 "isxdigit", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
1337 "toupper", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
1342 "tolower", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
1347 "toascii", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
1354 {"getc", "fgetc"}, Signature(ArgTypes{FilePtrTy}, RetType{IntTy}), in initFunctionSummaries()
1359 "getchar", Signature(ArgTypes{}, RetType{IntTy}), in initFunctionSummaries()
1401 "read", Signature(ArgTypes{IntTy, VoidPtrTy, SizeTy}, RetType{Ssize_tTy}), in initFunctionSummaries()
1406 Signature(ArgTypes{IntTy, ConstVoidPtrTy, SizeTy}, RetType{Ssize_tTy}), in initFunctionSummaries()
1431 Signature(ArgTypes{CharPtrPtrRestrictTy, SizePtrRestrictTy, IntTy, in initFunctionSummaries()
1457 "access", Signature(ArgTypes{ConstCharPtrTy, IntTy}, RetType{IntTy}), in initFunctionSummaries()
1465 Signature(ArgTypes{IntTy, ConstCharPtrTy, IntTy, IntTy}, in initFunctionSummaries()
1466 RetType{IntTy}), in initFunctionSummaries()
1472 addToFunctionSummaryMap("dup", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
1480 "dup2", Signature(ArgTypes{IntTy, IntTy}, RetType{IntTy}), in initFunctionSummaries()
1489 Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
1498 Signature(ArgTypes{ConstCharPtrTy, ConstCharPtrTy, IntTy}, in initFunctionSummaries()
1499 RetType{IntTy}), in initFunctionSummaries()
1505 addToFunctionSummaryMap("fsync", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
1516 Signature(ArgTypes{ConstCharPtrTy, Off_tTy}, RetType{IntTy}), in initFunctionSummaries()
1524 Signature(ArgTypes{ConstCharPtrTy, ConstCharPtrTy}, RetType{IntTy}), in initFunctionSummaries()
1533 Signature(ArgTypes{ConstCharPtrTy, IntTy, ConstCharPtrTy}, in initFunctionSummaries()
1534 RetType{IntTy}), in initFunctionSummaries()
1543 "lockf", Signature(ArgTypes{IntTy, IntTy, Off_tTy}, RetType{IntTy}), in initFunctionSummaries()
1553 "creat", Signature(ArgTypes{ConstCharPtrTy, Mode_tTy}, RetType{IntTy}), in initFunctionSummaries()
1570 Signature(ArgTypes{DirPtrTy}, RetType{IntTy}), in initFunctionSummaries()
1584 Signature(ArgTypes{DirPtrTy}, RetType{IntTy}), in initFunctionSummaries()
1610 Signature(ArgTypes{CharPtrTy}, RetType{IntTy}), in initFunctionSummaries()
1629 "mkdir", Signature(ArgTypes{ConstCharPtrTy, Mode_tTy}, RetType{IntTy}), in initFunctionSummaries()
1637 Signature(ArgTypes{IntTy, ConstCharPtrTy, Mode_tTy}, RetType{IntTy}), in initFunctionSummaries()
1647 Signature(ArgTypes{ConstCharPtrTy, Mode_tTy, Dev_tTy}, RetType{IntTy}), in initFunctionSummaries()
1655 Signature(ArgTypes{IntTy, ConstCharPtrTy, Mode_tTy, Dev_tTy}, in initFunctionSummaries()
1656 RetType{IntTy}), in initFunctionSummaries()
1663 "chmod", Signature(ArgTypes{ConstCharPtrTy, Mode_tTy}, RetType{IntTy}), in initFunctionSummaries()
1671 Signature(ArgTypes{IntTy, ConstCharPtrTy, Mode_tTy, IntTy}, in initFunctionSummaries()
1672 RetType{IntTy}), in initFunctionSummaries()
1680 "fchmod", Signature(ArgTypes{IntTy, Mode_tTy}, RetType{IntTy}), in initFunctionSummaries()
1693 Signature(ArgTypes{IntTy, ConstCharPtrTy, Uid_tTy, Gid_tTy, IntTy}, in initFunctionSummaries()
1694 RetType{IntTy}), in initFunctionSummaries()
1703 Signature(ArgTypes{ConstCharPtrTy, Uid_tTy, Gid_tTy}, RetType{IntTy}), in initFunctionSummaries()
1711 Signature(ArgTypes{ConstCharPtrTy, Uid_tTy, Gid_tTy}, RetType{IntTy}), in initFunctionSummaries()
1718 "fchown", Signature(ArgTypes{IntTy, Uid_tTy, Gid_tTy}, RetType{IntTy}), in initFunctionSummaries()
1726 Signature(ArgTypes{ConstCharPtrTy}, RetType{IntTy}), in initFunctionSummaries()
1733 Signature(ArgTypes{ConstCharPtrTy}, RetType{IntTy}), in initFunctionSummaries()
1741 Signature(ArgTypes{ConstCharPtrTy, ConstCharPtrTy}, RetType{IntTy}), in initFunctionSummaries()
1751 Signature(ArgTypes{IntTy, ConstCharPtrTy, IntTy, ConstCharPtrTy, IntTy}, in initFunctionSummaries()
1752 RetType{IntTy}), in initFunctionSummaries()
1762 Signature(ArgTypes{ConstCharPtrTy}, RetType{IntTy}), in initFunctionSummaries()
1770 Signature(ArgTypes{IntTy, ConstCharPtrTy, IntTy}, RetType{IntTy}), in initFunctionSummaries()
1782 "fstat", Signature(ArgTypes{IntTy, StructStatPtrTy}, RetType{IntTy}), in initFunctionSummaries()
1792 RetType{IntTy}), in initFunctionSummaries()
1802 RetType{IntTy}), in initFunctionSummaries()
1812 Signature(ArgTypes{IntTy, ConstCharPtrRestrictTy, in initFunctionSummaries()
1813 StructStatPtrRestrictTy, IntTy}, in initFunctionSummaries()
1814 RetType{IntTy}), in initFunctionSummaries()
1828 Signature(ArgTypes{IntTy}, RetType{DirPtrTy}), in initFunctionSummaries()
1835 "isatty", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
1851 "pclose", Signature(ArgTypes{FilePtrTy}, RetType{IntTy}), in initFunctionSummaries()
1855 addToFunctionSummaryMap("close", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
1863 Signature(ArgTypes{IntTy, IntTy}, RetType{LongTy}), in initFunctionSummaries()
1870 "pathconf", Signature(ArgTypes{ConstCharPtrTy, IntTy}, RetType{LongTy}), in initFunctionSummaries()
1876 Signature(ArgTypes{IntTy, ConstCharPtrTy}, RetType{FilePtrTy}), in initFunctionSummaries()
1893 "rand_r", Signature(ArgTypes{UnsignedIntPtrTy}, RetType{IntTy}), in initFunctionSummaries()
1898 Signature(ArgTypes{FilePtrTy}, RetType{IntTy}), in initFunctionSummaries()
1906 Signature(ArgTypes{FilePtrTy, Off_tTy, IntTy}, RetType{IntTy}), in initFunctionSummaries()
1920 Signature(ArgTypes{VoidPtrTy, SizeTy, IntTy, IntTy, IntTy, Off_tTy}, in initFunctionSummaries()
1932 Signature(ArgTypes{VoidPtrTy, SizeTy, IntTy, IntTy, IntTy, Off64_tTy}, in initFunctionSummaries()
1941 Signature(ArgTypes{IntPtrTy}, RetType{IntTy}), in initFunctionSummaries()
1948 "lseek", Signature(ArgTypes{IntTy, Off_tTy, IntTy}, RetType{Off_tTy}), in initFunctionSummaries()
1974 ArgTypes{IntTy, ConstCharPtrRestrictTy, CharPtrRestrictTy, SizeTy}, in initFunctionSummaries()
1991 Signature(ArgTypes{IntTy, ConstCharPtrTy, IntTy, ConstCharPtrTy}, in initFunctionSummaries()
1992 RetType{IntTy}), in initFunctionSummaries()
2011 Signature(ArgTypes{ConstCharPtrTy, CharPtrConstPtr}, RetType{IntTy}), in initFunctionSummaries()
2019 Signature(ArgTypes{ConstCharPtrTy, CharPtrConstPtr}, RetType{IntTy}), in initFunctionSummaries()
2027 Signature(ArgTypes{IntTy, CharPtrConstPtr, ConstCharPtrTy}, in initFunctionSummaries()
2028 RetType{IntTy}), in initFunctionSummaries()
2062 Signature(ArgTypes{IntTy, StructSockaddrPtrRestrictTy, in initFunctionSummaries()
2064 RetType{IntTy}), in initFunctionSummaries()
2068 Signature(ArgTypes{IntTy, Irrelevant, Socklen_tPtrRestrictTy}, in initFunctionSummaries()
2069 RetType{IntTy}), in initFunctionSummaries()
2076 Signature(ArgTypes{IntTy, ConstStructSockaddrPtrTy, Socklen_tTy}, in initFunctionSummaries()
2077 RetType{IntTy}), in initFunctionSummaries()
2090 Signature(ArgTypes{IntTy, Irrelevant, Socklen_tTy}, RetType{IntTy}), in initFunctionSummaries()
2102 Signature(ArgTypes{IntTy, StructSockaddrPtrRestrictTy, in initFunctionSummaries()
2104 RetType{IntTy}), in initFunctionSummaries()
2113 Signature(ArgTypes{IntTy, Irrelevant, Socklen_tPtrRestrictTy}, in initFunctionSummaries()
2114 RetType{IntTy}), in initFunctionSummaries()
2124 Signature(ArgTypes{IntTy, StructSockaddrPtrRestrictTy, in initFunctionSummaries()
2126 RetType{IntTy}), in initFunctionSummaries()
2135 Signature(ArgTypes{IntTy, Irrelevant, Socklen_tPtrRestrictTy}, in initFunctionSummaries()
2136 RetType{IntTy}), in initFunctionSummaries()
2146 Signature(ArgTypes{IntTy, ConstStructSockaddrPtrTy, Socklen_tTy}, in initFunctionSummaries()
2147 RetType{IntTy}), in initFunctionSummaries()
2155 Signature(ArgTypes{IntTy, Irrelevant, Socklen_tTy}, RetType{IntTy}), in initFunctionSummaries()
2174 Signature(ArgTypes{IntTy, VoidPtrRestrictTy, SizeTy, IntTy, in initFunctionSummaries()
2181 Signature(ArgTypes{IntTy, VoidPtrRestrictTy, SizeTy, IntTy, in initFunctionSummaries()
2198 Signature(ArgTypes{IntTy, ConstVoidPtrTy, SizeTy, IntTy, in initFunctionSummaries()
2204 Signature(ArgTypes{IntTy, ConstVoidPtrTy, SizeTy, IntTy, Irrelevant, in initFunctionSummaries()
2211 Signature(ArgTypes{IntTy, IntTy}, RetType{IntTy}), in initFunctionSummaries()
2220 Signature(ArgTypes{IntTy, VoidPtrTy, SizeTy, IntTy}, in initFunctionSummaries()
2237 Signature(ArgTypes{IntTy, StructMsghdrPtrTy, IntTy}, in initFunctionSummaries()
2247 Signature(ArgTypes{IntTy, ConstStructMsghdrPtrTy, IntTy}, in initFunctionSummaries()
2258 Signature(ArgTypes{IntTy, IntTy, IntTy, ConstVoidPtrTy, Socklen_tTy}, in initFunctionSummaries()
2259 RetType{IntTy}), in initFunctionSummaries()
2273 Signature(ArgTypes{IntTy, IntTy, IntTy, VoidPtrRestrictTy, in initFunctionSummaries()
2275 RetType{IntTy}), in initFunctionSummaries()
2284 Signature(ArgTypes{IntTy, ConstVoidPtrTy, SizeTy, IntTy}, in initFunctionSummaries()
2296 Signature(ArgTypes{IntTy, IntTy, IntTy, IntPtrTy}, RetType{IntTy}), in initFunctionSummaries()
2312 Socklen_tTy, IntTy}, in initFunctionSummaries()
2313 RetType{IntTy}), in initFunctionSummaries()
2334 Signature(ArgTypes{ConstCharPtrTy, StructUtimbufPtrTy}, RetType{IntTy}), in initFunctionSummaries()
2347 Signature(ArgTypes{IntTy, ConstStructTimespecPtrTy}, RetType{IntTy}), in initFunctionSummaries()
2356 Signature(ArgTypes{IntTy, ConstCharPtrTy, in initFunctionSummaries()
2357 ConstStructTimespecPtrTy, IntTy}, in initFunctionSummaries()
2358 RetType{IntTy}), in initFunctionSummaries()
2371 RetType{IntTy}), in initFunctionSummaries()
2380 RetType{IntTy}), in initFunctionSummaries()
2423 /*MinBufSize=*/BVF.getValue(26, IntTy)))); in initFunctionSummaries()
2434 /*MinBufSize=*/BVF.getValue(26, IntTy)))); in initFunctionSummaries()
2456 Signature(ArgTypes{Clockid_tTy, StructTimespecPtrTy}, RetType{IntTy}), in initFunctionSummaries()
2467 Signature(ArgTypes{IntTy, StructItimervalPtrTy}, RetType{IntTy}), in initFunctionSummaries()
2501 Signature(ArgTypes{Pthread_cond_tPtrTy}, RetType{IntTy}), in initFunctionSummaries()
2512 RetType{IntTy}), in initFunctionSummaries()
2521 Signature(ArgTypes{Pthread_attr_tPtrTy}, RetType{IntTy}), in initFunctionSummaries()
2531 RetType{IntTy}), in initFunctionSummaries()
2540 Signature(ArgTypes{Pthread_attr_tPtrTy, SizeTy}, RetType{IntTy}), in initFunctionSummaries()
2552 RetType{IntTy}), in initFunctionSummaries()
2562 Signature(ArgTypes{Pthread_mutex_tPtrTy}, RetType{IntTy}), in initFunctionSummaries()
2569 "__not_null", Signature(ArgTypes{IntPtrTy}, RetType{IntTy}), in initFunctionSummaries()
2574 "__single_val_1", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
2578 "__range_1_2", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
2582 Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
2589 "__within", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
2593 "__out_of", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
2599 Signature(ArgTypes{IntTy, IntTy}, RetType{IntTy}), in initFunctionSummaries()
2604 "__arg_constrained_twice", Signature(ArgTypes{IntTy}, RetType{IntTy}), in initFunctionSummaries()
2610 Signature(ArgTypes{Irrelevant, IntTy}, RetType{IntTy}), in initFunctionSummaries()
2614 Signature(ArgTypes{VoidPtrTy, ConstCharPtrTy}, RetType{IntTy}), in initFunctionSummaries()
2620 Signature(ArgTypes{ConstVoidPtrTy, SizeTy}, RetType{IntTy}), in initFunctionSummaries()
2626 Signature(ArgTypes{ConstVoidPtrTy, SizeTy, SizeTy}, RetType{IntTy}), in initFunctionSummaries()
2632 Signature(ArgTypes{ConstVoidPtrTy}, RetType{IntTy}), in initFunctionSummaries()
2635 /*BufSize=*/BVF.getValue(10, IntTy)))); in initFunctionSummaries()