Searched refs:LongMax (Results 1 – 1 of 1) sorted by relevance
1690 const RangeInt LongMax = BVF.getMaxValue(LongTy).getLimitedValue(); in initFunctionSummaries() local2300 .Case({ReturnValueCondition(WithinRange, Range(0, LongMax))}, in initFunctionSummaries()2356 0, WithinRange, Range(0, LongMax)))); in initFunctionSummaries()