Searched refs:LongLongMax (Results 1 – 1 of 1) sorted by relevance
489 RangeIntTy LongLongMax = BVF.getMaxValue(LongLongTy).getLimitedValue(); in initFunctionSummaries() local929 RANGE(-1, LongLongMax) in initFunctionSummaries()966 RANGE(-1, LongLongMax) in initFunctionSummaries()1015 RANGE(1, LongLongMax) in initFunctionSummaries()1044 RANGE(1, LongLongMax) in initFunctionSummaries()