Searched refs:RangeInt (Results 1 – 1 of 1) sorted by relevance
94 typedef uint64_t RangeInt; typedef in __anon4d759d9c0111::StdLibraryFunctionsChecker98 typedef std::vector<std::pair<RangeInt, RangeInt>> IntRangeVector;1070 for (const std::pair<RangeInt, RangeInt> &R : Ranges) { in describe()1077 for (const std::pair<RangeInt, RangeInt> &R : Ranges) { in describe()1645 std::optional<RangeInt> operator()(QualType Ty) { in initFunctionSummaries()1648 std::optional<RangeInt> operator()(std::optional<QualType> Ty) { in initFunctionSummaries()1690 const RangeInt IntMax = BVF.getMaxValue(IntTy)->getLimitedValue(); in initFunctionSummaries()1691 const RangeInt UnsignedIntMax = in initFunctionSummaries()1693 const RangeInt LongMax = BVF.getMaxValue(LongTy)->getLimitedValue(); in initFunctionSummaries()1694 const RangeInt SizeMax = BVF.getMaxValue(SizeTy)->getLimitedValue(); in initFunctionSummaries()[all …]