diff options
Diffstat (limited to 'lib/StaticAnalyzer/Core/Store.cpp')
-rw-r--r-- | lib/StaticAnalyzer/Core/Store.cpp | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/lib/StaticAnalyzer/Core/Store.cpp b/lib/StaticAnalyzer/Core/Store.cpp index 28f890b39c..379327fbb5 100644 --- a/lib/StaticAnalyzer/Core/Store.cpp +++ b/lib/StaticAnalyzer/Core/Store.cpp @@ -22,9 +22,9 @@ StoreManager::StoreManager(GRStateManager &stateMgr) : svalBuilder(stateMgr.getSValBuilder()), StateMgr(stateMgr), MRMgr(svalBuilder.getRegionManager()), Ctx(stateMgr.getContext()) {} -Store StoreManager::enterStackFrame(const GRState *state, - const StackFrameContext *frame) { - return state->getStore(); +StoreRef StoreManager::enterStackFrame(const GRState *state, + const StackFrameContext *frame) { + return StoreRef(state->getStore(), *this); } const MemRegion *StoreManager::MakeElementRegion(const MemRegion *Base, @@ -44,6 +44,10 @@ static bool IsCompleteType(ASTContext &Ctx, QualType Ty) { return true; } +StoreRef StoreManager::BindDefault(Store store, const MemRegion *R, SVal V) { + return StoreRef(store, *this); +} + const ElementRegion *StoreManager::GetElementZeroRegion(const MemRegion *R, QualType T) { NonLoc idx = svalBuilder.makeZeroArrayIndex(); |