[cfe-commits] r123459 - in /cfe/trunk: 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
Ted Kremenek
kremenek at apple.com
Fri Jan 14 12:34:10 PST 2011
Author: kremenek
Date: Fri Jan 14 14:34:10 2011
New Revision: 123459
URL: http://llvm.org/viewvc/llvm-project?rev=123459&view=rev
Log:
Rename 'EnterStackFrame()' to 'enterStackFrame()'.
Modified:
cfe/trunk/include/clang/StaticAnalyzer/PathSensitive/GRState.h
cfe/trunk/include/clang/StaticAnalyzer/PathSensitive/Store.h
cfe/trunk/lib/StaticAnalyzer/Checkers/ExprEngine.cpp
cfe/trunk/lib/StaticAnalyzer/GRState.cpp
cfe/trunk/lib/StaticAnalyzer/RegionStore.cpp
cfe/trunk/lib/StaticAnalyzer/Store.cpp
Modified: cfe/trunk/include/clang/StaticAnalyzer/PathSensitive/GRState.h
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/StaticAnalyzer/PathSensitive/GRState.h?rev=123459&r1=123458&r2=123459&view=diff
==============================================================================
--- cfe/trunk/include/clang/StaticAnalyzer/PathSensitive/GRState.h (original)
+++ cfe/trunk/include/clang/StaticAnalyzer/PathSensitive/GRState.h Fri Jan 14 14:34:10 2011
@@ -237,9 +237,9 @@
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;
Modified: cfe/trunk/include/clang/StaticAnalyzer/PathSensitive/Store.h
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/StaticAnalyzer/PathSensitive/Store.h?rev=123459&r1=123458&r2=123459&view=diff
==============================================================================
--- cfe/trunk/include/clang/StaticAnalyzer/PathSensitive/Store.h (original)
+++ cfe/trunk/include/clang/StaticAnalyzer/PathSensitive/Store.h Fri Jan 14 14:34:10 2011
@@ -191,9 +191,9 @@
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,
Modified: cfe/trunk/lib/StaticAnalyzer/Checkers/ExprEngine.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/StaticAnalyzer/Checkers/ExprEngine.cpp?rev=123459&r1=123458&r2=123459&view=diff
==============================================================================
--- cfe/trunk/lib/StaticAnalyzer/Checkers/ExprEngine.cpp (original)
+++ cfe/trunk/lib/StaticAnalyzer/Checkers/ExprEngine.cpp Fri Jan 14 14:34:10 2011
@@ -1481,7 +1481,7 @@
}
void ExprEngine::processCallEnter(CallEnterNodeBuilder &B) {
- const GRState *state = B.getState()->EnterStackFrame(B.getCalleeContext());
+ const GRState *state = B.getState()->enterStackFrame(B.getCalleeContext());
B.generateNode(state);
}
Modified: cfe/trunk/lib/StaticAnalyzer/GRState.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/StaticAnalyzer/GRState.cpp?rev=123459&r1=123458&r2=123459&view=diff
==============================================================================
--- cfe/trunk/lib/StaticAnalyzer/GRState.cpp (original)
+++ cfe/trunk/lib/StaticAnalyzer/GRState.cpp Fri Jan 14 14:34:10 2011
@@ -149,8 +149,8 @@
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);
}
Modified: cfe/trunk/lib/StaticAnalyzer/RegionStore.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/StaticAnalyzer/RegionStore.cpp?rev=123459&r1=123458&r2=123459&view=diff
==============================================================================
--- cfe/trunk/lib/StaticAnalyzer/RegionStore.cpp (original)
+++ cfe/trunk/lib/StaticAnalyzer/RegionStore.cpp Fri Jan 14 14:34:10 2011
@@ -362,7 +362,7 @@
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::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(),
Modified: cfe/trunk/lib/StaticAnalyzer/Store.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/StaticAnalyzer/Store.cpp?rev=123459&r1=123458&r2=123459&view=diff
==============================================================================
--- cfe/trunk/lib/StaticAnalyzer/Store.cpp (original)
+++ cfe/trunk/lib/StaticAnalyzer/Store.cpp Fri Jan 14 14:34:10 2011
@@ -22,7 +22,7 @@
: 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();
}
More information about the cfe-commits
mailing list