]> granicus.if.org Git - clang/commitdiff
Rename 'EnterStackFrame()' to 'enterStackFrame()'.
authorTed Kremenek <kremenek@apple.com>
Fri, 14 Jan 2011 20:34:10 +0000 (20:34 +0000)
committerTed Kremenek <kremenek@apple.com>
Fri, 14 Jan 2011 20:34:10 +0000 (20:34 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@123459 91177308-0d34-0410-b5e6-96231b3b80d8

include/clang/StaticAnalyzer/PathSensitive/GRState.h
include/clang/StaticAnalyzer/PathSensitive/Store.h
lib/StaticAnalyzer/Checkers/ExprEngine.cpp
lib/StaticAnalyzer/GRState.cpp
lib/StaticAnalyzer/RegionStore.cpp
lib/StaticAnalyzer/Store.cpp

index dcdb6e26cbbd571887c58200dc66da93528e7858..d148f46e5af2ee48ae25f08b7b0c9df9a08bb3ba 100644 (file)
@@ -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;
index 7054d64a38978248363d29b6584467a3212fbe58..a4836d4a1dc5c6f9ce04d61dcb40e3e95592b2c2 100644 (file)
@@ -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,
index 874e7a306421af3d9897379c7cce3694bfc3d0e9..381d81d59b212af9e3fed64c5e0c1e57e2b564f8 100644 (file)
@@ -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);
 }
 
index 55a2eb7eba17c913aeba8225f686b06d26cfdc8d..9c578dda68cf74493713c8cf88d19cb65c8fdb8c 100644 (file)
@@ -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);
 }
 
index 0dbf97caf945e8650969d365250f166f18e363cc..7760ec006a1d501eb3551c7453eafd604885c8e9 100644 (file)
@@ -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(), 
index f1b83389ca63a5ecde30ddcf0bea2c5782297cdd..d162eed24773e06b7695b8bcb9be7814840a64c7 100644 (file)
@@ -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();
 }