summaryrefslogtreecommitdiffstats
path: root/clang/lib/Checker/Store.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'clang/lib/Checker/Store.cpp')
-rw-r--r--clang/lib/Checker/Store.cpp5
1 files changed, 5 insertions, 0 deletions
diff --git a/clang/lib/Checker/Store.cpp b/clang/lib/Checker/Store.cpp
index b3aab665127..7a43f7bd661 100644
--- a/clang/lib/Checker/Store.cpp
+++ b/clang/lib/Checker/Store.cpp
@@ -21,6 +21,11 @@ StoreManager::StoreManager(GRStateManager &stateMgr)
: ValMgr(stateMgr.getValueManager()), StateMgr(stateMgr),
MRMgr(ValMgr.getRegionManager()), Ctx(stateMgr.getContext()) {}
+Store StoreManager::EnterStackFrame(const GRState *state,
+ const StackFrameContext *frame) {
+ return state->getStore();
+}
+
const MemRegion *StoreManager::MakeElementRegion(const MemRegion *Base,
QualType EleTy, uint64_t index) {
SVal idx = ValMgr.makeArrayIndex(index);
OpenPOWER on IntegriCloud