aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/Store.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'lib/StaticAnalyzer/Core/Store.cpp')
-rw-r--r--lib/StaticAnalyzer/Core/Store.cpp7
1 files changed, 7 insertions, 0 deletions
diff --git a/lib/StaticAnalyzer/Core/Store.cpp b/lib/StaticAnalyzer/Core/Store.cpp
index 98d815f328..ed221c5419 100644
--- a/lib/StaticAnalyzer/Core/Store.cpp
+++ b/lib/StaticAnalyzer/Core/Store.cpp
@@ -53,6 +53,13 @@ StoreRef StoreManager::enterStackFrame(Store OldStore,
Store = Bind(Store.getStore(), ThisRegion, ThisVal);
}
+ if (const ObjCMethodCall *MCall = dyn_cast<ObjCMethodCall>(&Call)) {
+ SVal SelfVal = MCall->getReceiverSVal();
+ const VarDecl *SelfDecl = LCtx->getAnalysisDeclContext()->getSelfDecl();
+ Store = Bind(Store.getStore(),
+ svalBuilder.makeLoc(MRMgr.getVarRegion(SelfDecl, LCtx)),
+ SelfVal);
+ }
return Store;
}