diff options
| author | Ted Kremenek <kremenek@apple.com> | 2011-01-11 02:34:45 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2011-01-11 02:34:45 +0000 |
| commit | e36de1fe51c39d9161915dd3dbef880954af6476 (patch) | |
| tree | af3a0d8eb142238e2bf877e4e6c8ba4e3d2b7a29 /lib/StaticAnalyzer/GRState.cpp | |
| parent | 7d5c0c1273bdc1cb3dff1cb5a62d07b1439e82c7 (diff) | |
Rename misc. methods in GRSubEngine to start
with a lower-case letter. No functionality change.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@123211 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/GRState.cpp')
| -rw-r--r-- | lib/StaticAnalyzer/GRState.cpp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/lib/StaticAnalyzer/GRState.cpp b/lib/StaticAnalyzer/GRState.cpp index 12c8968367..55a2eb7eba 100644 --- a/lib/StaticAnalyzer/GRState.cpp +++ b/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); } |