Searched refs:SymbolicRangeInferrer (Results 1 – 1 of 1) sorted by relevance
832 class SymbolicRangeInferrer class833 : public SymExprVisitor<SymbolicRangeInferrer, RangeSet> {838 SymbolicRangeInferrer Inferrer(F, State); in inferRange()869 SymbolicRangeInferrer(RangeSet::Factory &F, ProgramStateRef S) in SymbolicRangeInferrer() function in __anon55d9ca500411::SymbolicRangeInferrer1225 RangeSet SymbolicRangeInferrer::VisitBinaryOperator<BO_Or>(Range LHS, Range RHS, in VisitBinaryOperator()1282 RangeSet SymbolicRangeInferrer::VisitBinaryOperator<BO_And>(Range LHS, in VisitBinaryOperator()1328 RangeSet SymbolicRangeInferrer::VisitBinaryOperator<BO_Rem>(Range LHS, in VisitBinaryOperator()1536 RangeSet UpdatedConstraint = SymbolicRangeInferrer::inferRange( in assign()2049 RangeSet FirstConstraint = SymbolicRangeInferrer::inferRange( in addToDisequalityInfo()2393 return SymbolicRangeInferrer::inferRange(F, State, Sym); in getRange()