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