diff options
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp')
| -rw-r--r-- | clang/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp b/clang/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp index 6cfe8cdc93e..a80b2bfb7e0 100644 --- a/clang/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp +++ b/clang/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp @@ -273,7 +273,12 @@ void ExprEngine::evalObjCMessage(ExplodedNodeSet &Dst, const ObjCMessage &msg, // Bind the return value. state = state->BindExpr(currentStmt, ReturnValue); + // Invalidate the arguments (and the receiver) + const LocationContext *LC = Pred->getLocationContext(); + state = invalidateArguments(state, CallOrObjCMessage(msg, state), LC); + Builder->MakeNode(Dst, msg.getOriginExpr(), Pred, state); + // Now we can handle the other aspects of the message. - getTF().evalObjCMessage(Dst, *this, *Builder, msg, Pred, state); + //getTF().evalObjCMessage(Dst, *this, *Builder, msg, Pred, state); } |
