diff options
Diffstat (limited to 'lib/StaticAnalyzer/BasicConstraintManager.cpp')
-rw-r--r-- | lib/StaticAnalyzer/BasicConstraintManager.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/StaticAnalyzer/BasicConstraintManager.cpp b/lib/StaticAnalyzer/BasicConstraintManager.cpp index 8bdc4fa003..bbffa1a2fb 100644 --- a/lib/StaticAnalyzer/BasicConstraintManager.cpp +++ b/lib/StaticAnalyzer/BasicConstraintManager.cpp @@ -90,7 +90,7 @@ public: bool isEqual(const GRState* state, SymbolRef sym, const llvm::APSInt& V) const; - const GRState* RemoveDeadBindings(const GRState* state, SymbolReaper& SymReaper); + const GRState* removeDeadBindings(const GRState* state, SymbolReaper& SymReaper); void print(const GRState* state, llvm::raw_ostream& Out, const char* nl, const char *sep); @@ -276,7 +276,7 @@ bool BasicConstraintManager::isEqual(const GRState* state, SymbolRef sym, /// Scan all symbols referenced by the constraints. If the symbol is not alive /// as marked in LSymbols, mark it as dead in DSymbols. const GRState* -BasicConstraintManager::RemoveDeadBindings(const GRState* state, +BasicConstraintManager::removeDeadBindings(const GRState* state, SymbolReaper& SymReaper) { ConstEqTy CE = state->get<ConstEq>(); |