[clang] d0d37fc - [Analyzer][solver] Remove unused functions
Gabor Marton via cfe-commits
cfe-commits at lists.llvm.org
Thu Jul 15 07:36:23 PDT 2021
Author: Gabor Marton
Date: 2021-07-15T16:36:01+02:00
New Revision: d0d37fcc4e2965c4ccd3401f8bdf22935815136a
URL: https://github.com/llvm/llvm-project/commit/d0d37fcc4e2965c4ccd3401f8bdf22935815136a
DIFF: https://github.com/llvm/llvm-project/commit/d0d37fcc4e2965c4ccd3401f8bdf22935815136a.diff
LOG: [Analyzer][solver] Remove unused functions
../../git/llvm-project/clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp:2395:17: warning: 'clang::ento::ProgramStateRef {anonymous}::RangeConstraintManager::setRange(clang::ento::ProgramStateRef, {anonymous}::EquivalenceClass, clang::ento::RangeSet)' defined but not used [-Wunused-function]
../../git/llvm-project/clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp:2384:10: warning: 'clang::ento::RangeSet {anonymous}::RangeConstraintManager::getRange(clang::ento::ProgramStateRef, {anonymous}::EquivalenceClass)' defined but not used [-Wunused-function]
Differential Revision: https://reviews.llvm.org/D106063
Added:
Modified:
clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp
Removed:
################################################################################
diff --git a/clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp b/clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp
index aba97e48756aa..f550aca808e56 100644
--- a/clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp
+++ b/clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp
@@ -2381,23 +2381,12 @@ RangeSet RangeConstraintManager::getRange(ProgramStateRef State,
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.
//===------------------------------------------------------------------------===/
More information about the cfe-commits
mailing list