diff options
| author | Ted Kremenek <kremenek@apple.com> | 2012-09-07 22:24:18 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2012-09-07 22:24:18 +0000 |
| commit | ace64b5f6a338111084bf4a7c9b7488a9965ef4e (patch) | |
| tree | bbf76ece33e470df29f70a3708f1d1f2caf90ec8 /lib/StaticAnalyzer/Core/RangeConstraintManager.cpp | |
| parent | 2308436b2cd30473d5f94bf7e9ac616ac27fe6b2 (diff) | |
Remove ConstraintManager:isEqual(). It is no longer used.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@163425 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Core/RangeConstraintManager.cpp')
| -rw-r--r-- | lib/StaticAnalyzer/Core/RangeConstraintManager.cpp | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp b/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp index 2b883cf9b9..3c31ecbedc 100644 --- a/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp +++ b/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp @@ -325,12 +325,6 @@ public: const llvm::APSInt* getSymVal(ProgramStateRef St, SymbolRef sym) const; - // FIXME: Refactor into SimpleConstraintManager? - bool isEqual(ProgramStateRef St, SymbolRef sym, const llvm::APSInt& V) const { - const llvm::APSInt *i = getSymVal(St, sym); - return i ? *i == V : false; - } - ProgramStateRef removeDeadBindings(ProgramStateRef St, SymbolReaper& SymReaper); void print(ProgramStateRef St, raw_ostream &Out, |