Lines Matching defs:SymbolicRangeInferrer
1208 class SymbolicRangeInferrer
1209 : public SymExprVisitor<SymbolicRangeInferrer, RangeSet> {
1214 SymbolicRangeInferrer Inferrer(F, State);
1266 SymbolicRangeInferrer(RangeSet::Factory &F, ProgramStateRef S)
1635 RangeSet SymbolicRangeInferrer::VisitBinaryOperator<BO_NE>(RangeSet LHS,
1686 RangeSet SymbolicRangeInferrer::VisitBinaryOperator<BO_Or>(Range LHS, Range RHS,
1743 RangeSet SymbolicRangeInferrer::VisitBinaryOperator<BO_And>(Range LHS,
1789 RangeSet SymbolicRangeInferrer::VisitBinaryOperator<BO_Rem>(Range LHS,
1845 RangeSet SymbolicRangeInferrer::VisitBinaryOperator(RangeSet LHS,
2074 /// It has a nice symmetry with SymbolicRangeInferrer. When the latter
2153 RangeSet UpdatedConstraint = SymbolicRangeInferrer::inferRange(
2573 RangeSet FirstConstraint = SymbolicRangeInferrer::inferRange(
3041 return SymbolicRangeInferrer::inferRange(F, State, Sym);