Searched refs:SymbolicRangeInferrer (Results 1 – 1 of 1) sorted by relevance
1208 class SymbolicRangeInferrer class1209 : public SymExprVisitor<SymbolicRangeInferrer, RangeSet> {1214 SymbolicRangeInferrer Inferrer(F, State); in inferRange()1266 SymbolicRangeInferrer(RangeSet::Factory &F, ProgramStateRef S) in SymbolicRangeInferrer() function in __anonaacf511c0511::SymbolicRangeInferrer1635 RangeSet SymbolicRangeInferrer::VisitBinaryOperator<BO_NE>(RangeSet LHS, in VisitBinaryOperator()1686 RangeSet SymbolicRangeInferrer::VisitBinaryOperator<BO_Or>(Range LHS, Range RHS, in VisitBinaryOperator()1743 RangeSet SymbolicRangeInferrer::VisitBinaryOperator<BO_And>(Range LHS, in VisitBinaryOperator()1789 RangeSet SymbolicRangeInferrer::VisitBinaryOperator<BO_Rem>(Range LHS, in VisitBinaryOperator()1845 RangeSet SymbolicRangeInferrer::VisitBinaryOperator(RangeSet LHS, in VisitBinaryOperator()2153 RangeSet UpdatedConstraint = SymbolicRangeInferrer::inferRange( in assign()[all …]