summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/GRState.cpp
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2011-01-11 02:34:45 +0000
committerTed Kremenek <kremenek@apple.com>2011-01-11 02:34:45 +0000
commit926c96211ee98aa370b20a04a699d36ba4a8fed1 (patch)
treeb21d0faba8bc3d5260f447e43a3ac43d30ebb774 /clang/lib/StaticAnalyzer/GRState.cpp
parent0dd423ef334c9d7c2a69ceace7e8329e1f2f4932 (diff)
downloadbcm5719-llvm-926c96211ee98aa370b20a04a699d36ba4a8fed1.tar.gz
bcm5719-llvm-926c96211ee98aa370b20a04a699d36ba4a8fed1.zip
Rename misc. methods in GRSubEngine to start
with a lower-case letter. No functionality change. llvm-svn: 123211
Diffstat (limited to 'clang/lib/StaticAnalyzer/GRState.cpp')
-rw-r--r--clang/lib/StaticAnalyzer/GRState.cpp8
1 files changed, 4 insertions, 4 deletions
diff --git a/clang/lib/StaticAnalyzer/GRState.cpp b/clang/lib/StaticAnalyzer/GRState.cpp
index 12c8968367e..55a2eb7eba1 100644
--- a/clang/lib/StaticAnalyzer/GRState.cpp
+++ b/clang/lib/StaticAnalyzer/GRState.cpp
@@ -95,7 +95,7 @@ const GRState *GRState::bindLoc(Loc LV, SVal V) const {
const MemRegion *MR = LV.getAsRegion();
if (MR)
- return Mgr.getOwningEngine().ProcessRegionChange(new_state, MR);
+ return Mgr.getOwningEngine().processRegionChange(new_state, MR);
return new_state;
}
@@ -105,7 +105,7 @@ const GRState *GRState::bindDefault(SVal loc, SVal V) const {
const MemRegion *R = cast<loc::MemRegionVal>(loc).getRegion();
Store new_store = Mgr.StoreMgr->BindDefault(St, R, V);
const GRState *new_state = makeWithStore(new_store);
- return Mgr.getOwningEngine().ProcessRegionChange(new_state, R);
+ return Mgr.getOwningEngine().processRegionChange(new_state, R);
}
const GRState *GRState::InvalidateRegions(const MemRegion * const *Begin,
@@ -116,7 +116,7 @@ const GRState *GRState::InvalidateRegions(const MemRegion * const *Begin,
GRStateManager &Mgr = getStateManager();
SubEngine &Eng = Mgr.getOwningEngine();
- if (Eng.WantsRegionChangeUpdate(this)) {
+ if (Eng.wantsRegionChangeUpdate(this)) {
StoreManager::InvalidatedRegions Regions;
Store new_store = Mgr.StoreMgr->InvalidateRegions(St, Begin, End,
@@ -125,7 +125,7 @@ const GRState *GRState::InvalidateRegions(const MemRegion * const *Begin,
&Regions);
const GRState *new_state = makeWithStore(new_store);
- return Eng.ProcessRegionChanges(new_state,
+ return Eng.processRegionChanges(new_state,
&Regions.front(),
&Regions.back()+1);
}
OpenPOWER on IntegriCloud