diff options
-rw-r--r-- | include/clang/StaticAnalyzer/PathSensitive/GRState.h | 4 | ||||
-rw-r--r-- | include/clang/StaticAnalyzer/PathSensitive/Store.h | 4 | ||||
-rw-r--r-- | lib/StaticAnalyzer/Checkers/ExprEngine.cpp | 2 | ||||
-rw-r--r-- | lib/StaticAnalyzer/GRState.cpp | 4 | ||||
-rw-r--r-- | lib/StaticAnalyzer/RegionStore.cpp | 4 | ||||
-rw-r--r-- | lib/StaticAnalyzer/Store.cpp | 2 |
6 files changed, 10 insertions, 10 deletions
diff --git a/include/clang/StaticAnalyzer/PathSensitive/GRState.h b/include/clang/StaticAnalyzer/PathSensitive/GRState.h index dcdb6e26cb..d148f46e5a 100644 --- a/include/clang/StaticAnalyzer/PathSensitive/GRState.h +++ b/include/clang/StaticAnalyzer/PathSensitive/GRState.h @@ -237,9 +237,9 @@ public: StoreManager::InvalidatedSymbols *IS, bool invalidateGlobals) const; - /// EnterStackFrame - Returns the state for entry to the given stack frame, + /// enterStackFrame - Returns the state for entry to the given stack frame, /// preserving the current state. - const GRState *EnterStackFrame(const StackFrameContext *frame) const; + const GRState *enterStackFrame(const StackFrameContext *frame) const; /// Get the lvalue for a variable reference. Loc getLValue(const VarDecl *D, const LocationContext *LC) const; diff --git a/include/clang/StaticAnalyzer/PathSensitive/Store.h b/include/clang/StaticAnalyzer/PathSensitive/Store.h index 7054d64a38..a4836d4a1d 100644 --- a/include/clang/StaticAnalyzer/PathSensitive/Store.h +++ b/include/clang/StaticAnalyzer/PathSensitive/Store.h @@ -191,9 +191,9 @@ public: bool invalidateGlobals, InvalidatedRegions *Regions) = 0; - /// EnterStackFrame - Let the StoreManager to do something when execution + /// enterStackFrame - Let the StoreManager to do something when execution /// engine is about to execute into a callee. - virtual Store EnterStackFrame(const GRState *state, + virtual Store enterStackFrame(const GRState *state, const StackFrameContext *frame); virtual void print(Store store, llvm::raw_ostream& Out, diff --git a/lib/StaticAnalyzer/Checkers/ExprEngine.cpp b/lib/StaticAnalyzer/Checkers/ExprEngine.cpp index 874e7a3064..381d81d59b 100644 --- a/lib/StaticAnalyzer/Checkers/ExprEngine.cpp +++ b/lib/StaticAnalyzer/Checkers/ExprEngine.cpp @@ -1481,7 +1481,7 @@ void ExprEngine::processSwitch(SwitchNodeBuilder& builder) { } void ExprEngine::processCallEnter(CallEnterNodeBuilder &B) { - const GRState *state = B.getState()->EnterStackFrame(B.getCalleeContext()); + const GRState *state = B.getState()->enterStackFrame(B.getCalleeContext()); B.generateNode(state); } diff --git a/lib/StaticAnalyzer/GRState.cpp b/lib/StaticAnalyzer/GRState.cpp index 55a2eb7eba..9c578dda68 100644 --- a/lib/StaticAnalyzer/GRState.cpp +++ b/lib/StaticAnalyzer/GRState.cpp @@ -149,8 +149,8 @@ const GRState *GRState::unbindLoc(Loc LV) const { return makeWithStore(NewStore); } -const GRState *GRState::EnterStackFrame(const StackFrameContext *frame) const { - Store new_store = getStateManager().StoreMgr->EnterStackFrame(this, frame); +const GRState *GRState::enterStackFrame(const StackFrameContext *frame) const { + Store new_store = getStateManager().StoreMgr->enterStackFrame(this, frame); return makeWithStore(new_store); } diff --git a/lib/StaticAnalyzer/RegionStore.cpp b/lib/StaticAnalyzer/RegionStore.cpp index 0dbf97caf9..7760ec006a 100644 --- a/lib/StaticAnalyzer/RegionStore.cpp +++ b/lib/StaticAnalyzer/RegionStore.cpp @@ -362,7 +362,7 @@ public: // Part of public interface to class. SymbolReaper& SymReaper, llvm::SmallVectorImpl<const MemRegion*>& RegionRoots); - Store EnterStackFrame(const GRState *state, const StackFrameContext *frame); + Store enterStackFrame(const GRState *state, const StackFrameContext *frame); //===------------------------------------------------------------------===// // Region "extents". @@ -1865,7 +1865,7 @@ Store RegionStoreManager::RemoveDeadBindings(Store store, } -Store RegionStoreManager::EnterStackFrame(const GRState *state, +Store RegionStoreManager::enterStackFrame(const GRState *state, const StackFrameContext *frame) { FunctionDecl const *FD = cast<FunctionDecl>(frame->getDecl()); FunctionDecl::param_const_iterator PI = FD->param_begin(), diff --git a/lib/StaticAnalyzer/Store.cpp b/lib/StaticAnalyzer/Store.cpp index f1b83389ca..d162eed247 100644 --- a/lib/StaticAnalyzer/Store.cpp +++ b/lib/StaticAnalyzer/Store.cpp @@ -22,7 +22,7 @@ StoreManager::StoreManager(GRStateManager &stateMgr) : svalBuilder(stateMgr.getSValBuilder()), StateMgr(stateMgr), MRMgr(svalBuilder.getRegionManager()), Ctx(stateMgr.getContext()) {} -Store StoreManager::EnterStackFrame(const GRState *state, +Store StoreManager::enterStackFrame(const GRState *state, const StackFrameContext *frame) { return state->getStore(); } |