diff options
Diffstat (limited to 'lib/StaticAnalyzer/Core/Store.cpp')
-rw-r--r-- | lib/StaticAnalyzer/Core/Store.cpp | 7 |
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; } |