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()1264 SymbolicRangeInferrer(RangeSet::Factory &F, ProgramStateRef S) in SymbolicRangeInferrer() function in __anon02dd32910511::SymbolicRangeInferrer1617 RangeSet SymbolicRangeInferrer::VisitBinaryOperator<BO_NE>(RangeSet LHS, in VisitBinaryOperator()1668 RangeSet SymbolicRangeInferrer::VisitBinaryOperator<BO_Or>(Range LHS, Range RHS, in VisitBinaryOperator()1725 RangeSet SymbolicRangeInferrer::VisitBinaryOperator<BO_And>(Range LHS, in VisitBinaryOperator()1771 RangeSet SymbolicRangeInferrer::VisitBinaryOperator<BO_Rem>(Range LHS, in VisitBinaryOperator()1827 RangeSet SymbolicRangeInferrer::VisitBinaryOperator(RangeSet LHS, in VisitBinaryOperator()2138 RangeSet UpdatedConstraint = SymbolicRangeInferrer::inferRange( in assign()[all …]