Searched refs:SymbolicRangeInferrer (Results 1 – 1 of 1) sorted by relevance
1205 class SymbolicRangeInferrer class1206 : public SymExprVisitor<SymbolicRangeInferrer, RangeSet> {1211 SymbolicRangeInferrer Inferrer(F, State); in inferRange()1261 SymbolicRangeInferrer(RangeSet::Factory &F, ProgramStateRef S) in SymbolicRangeInferrer() function in __anon77be4a4c0511::SymbolicRangeInferrer1629 RangeSet SymbolicRangeInferrer::VisitBinaryOperator<BO_Or>(Range LHS, Range RHS, in VisitBinaryOperator()1686 RangeSet SymbolicRangeInferrer::VisitBinaryOperator<BO_And>(Range LHS, in VisitBinaryOperator()1732 RangeSet SymbolicRangeInferrer::VisitBinaryOperator<BO_Rem>(Range LHS, in VisitBinaryOperator()2070 RangeSet UpdatedConstraint = SymbolicRangeInferrer::inferRange( in assign()2490 RangeSet FirstConstraint = SymbolicRangeInferrer::inferRange( in addToDisequalityInfo()2937 return SymbolicRangeInferrer::inferRange(F, State, Sym); in getRange()