aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2011-01-14 20:34:10 +0000
committerTed Kremenek <kremenek@apple.com>2011-01-14 20:34:10 +0000
commit2ccf047adf877f5e821210b1ce1a2c8289acadc0 (patch)
treeacdf0d5323087db0b173a8732ad0d06645e2b501
parentd4f482aa4d77ed2fa6dfbe60ff33599419680818 (diff)
Rename 'EnterStackFrame()' to 'enterStackFrame()'.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@123459 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r--include/clang/StaticAnalyzer/PathSensitive/GRState.h4
-rw-r--r--include/clang/StaticAnalyzer/PathSensitive/Store.h4
-rw-r--r--lib/StaticAnalyzer/Checkers/ExprEngine.cpp2
-rw-r--r--lib/StaticAnalyzer/GRState.cpp4
-rw-r--r--lib/StaticAnalyzer/RegionStore.cpp4
-rw-r--r--lib/StaticAnalyzer/Store.cpp2
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();
}