diff options
| author | Ted Kremenek <kremenek@apple.com> | 2012-01-26 21:29:00 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2012-01-26 21:29:00 +0000 |
| commit | 8bef8238181a30e52dea380789a7e2d760eac532 (patch) | |
| tree | d92cc6ba35a038b0429fb2c5dffb37eea6599337 /lib/StaticAnalyzer/Core/RegionStore.cpp | |
| parent | bbdfad581fa300fa0d162d968ec14de3c95fc760 (diff) | |
Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.
At this point this is largely cosmetic, but it opens the door to replace
ProgramStateRef with a smart pointer that more eagerly acts in the role
of reclaiming unused ProgramState objects.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@149081 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Core/RegionStore.cpp')
| -rw-r--r-- | lib/StaticAnalyzer/Core/RegionStore.cpp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/lib/StaticAnalyzer/Core/RegionStore.cpp b/lib/StaticAnalyzer/Core/RegionStore.cpp index 30bb9243b0..6394577a55 100644 --- a/lib/StaticAnalyzer/Core/RegionStore.cpp +++ b/lib/StaticAnalyzer/Core/RegionStore.cpp @@ -379,7 +379,7 @@ public: // Part of public interface to class. StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx, SymbolReaper& SymReaper); - StoreRef enterStackFrame(const ProgramState *state, + StoreRef enterStackFrame(ProgramStateRef state, const LocationContext *callerCtx, const StackFrameContext *calleeCtx); @@ -388,7 +388,7 @@ public: // Part of public interface to class. //===------------------------------------------------------------------===// // FIXME: This method will soon be eliminated; see the note in Store.h. - DefinedOrUnknownSVal getSizeInElements(const ProgramState *state, + DefinedOrUnknownSVal getSizeInElements(ProgramStateRef state, const MemRegion* R, QualType EleTy); //===------------------------------------------------------------------===// @@ -796,7 +796,7 @@ StoreRef RegionStoreManager::invalidateRegions(Store store, //===----------------------------------------------------------------------===// DefinedOrUnknownSVal -RegionStoreManager::getSizeInElements(const ProgramState *state, +RegionStoreManager::getSizeInElements(ProgramStateRef state, const MemRegion *R, QualType EleTy) { SVal Size = cast<SubRegion>(R)->getExtent(svalBuilder); @@ -1858,7 +1858,7 @@ StoreRef RegionStoreManager::removeDeadBindings(Store store, } -StoreRef RegionStoreManager::enterStackFrame(const ProgramState *state, +StoreRef RegionStoreManager::enterStackFrame(ProgramStateRef state, const LocationContext *callerCtx, const StackFrameContext *calleeCtx) { |