Searched refs:LongMax (Results 1 – 1 of 1) sorted by relevance
488 RangeIntTy LongMax = BVF.getMaxValue(LongTy).getLimitedValue(); in initFunctionSummaries() local918 RANGE(-1, LongMax) in initFunctionSummaries()955 RANGE(-1, LongMax) in initFunctionSummaries()1006 RANGE(1, LongMax) in initFunctionSummaries()1035 RANGE(1, LongMax) in initFunctionSummaries()