Searched refs:RangeIntTy (Results 1 – 1 of 1) sorted by relevance
84 typedef uint64_t RangeIntTy; typedef in __anon2d97c18b0111::StdLibraryFunctionsChecker90 typedef std::vector<std::pair<RangeIntTy, RangeIntTy>> IntRangeVectorTy;487 RangeIntTy IntMax = BVF.getMaxValue(IntTy).getLimitedValue(); in initFunctionSummaries()488 RangeIntTy LongMax = BVF.getMaxValue(LongTy).getLimitedValue(); in initFunctionSummaries()489 RangeIntTy LongLongMax = BVF.getMaxValue(LongLongTy).getLimitedValue(); in initFunctionSummaries()