diff --git a/clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp b/clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp --- a/clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp +++ b/clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp @@ -2381,23 +2381,12 @@ return SymbolicRangeInferrer::inferRange(F, State, Sym); } -RangeSet RangeConstraintManager::getRange(ProgramStateRef State, - EquivalenceClass Class) { - return SymbolicRangeInferrer::inferRange(F, State, Class); -} - ProgramStateRef RangeConstraintManager::setRange(ProgramStateRef State, SymbolRef Sym, RangeSet Range) { return ConstraintAssignor::assign(State, getSValBuilder(), F, Sym, Range); } -ProgramStateRef RangeConstraintManager::setRange(ProgramStateRef State, - EquivalenceClass Class, - RangeSet Range) { - return ConstraintAssignor::assign(State, getSValBuilder(), F, Class, Range); -} - //===------------------------------------------------------------------------=== // assumeSymX methods: protected interface for RangeConstraintManager. //===------------------------------------------------------------------------===/