Searched refs:inferRange (Results 1 – 1 of 1) sorted by relevance
1212 static RangeSet inferRange(RangeSet::Factory &F, ProgramStateRef State, in inferRange() function in __anonaacf511c0511::SymbolicRangeInferrer2153 RangeSet UpdatedConstraint = SymbolicRangeInferrer::inferRange( in assign()2573 RangeSet FirstConstraint = SymbolicRangeInferrer::inferRange( in addToDisequalityInfo()3041 return SymbolicRangeInferrer::inferRange(F, State, Sym); in getRange()