[cfe-commits] r138221 - /cfe/trunk/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp
Jordy Rose
jediknil at belkadan.com
Sun Aug 21 14:04:38 PDT 2011
Author: jrose
Date: Sun Aug 21 16:04:38 2011
New Revision: 138221
URL: http://llvm.org/viewvc/llvm-project?rev=138221&view=rev
Log:
[analyzer] Remove FIXME; Ted reminded me that -init is not guaranteed to return its receiver and pretending that it does won't actually buy us anything. (Comment change only.)
Modified:
cfe/trunk/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp
Modified: cfe/trunk/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp?rev=138221&r1=138220&r2=138221&view=diff
==============================================================================
--- cfe/trunk/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp (original)
+++ cfe/trunk/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp Sun Aug 21 16:04:38 2011
@@ -254,7 +254,6 @@
case OMF_retain:
case OMF_self: {
// These methods return their receivers.
- // FIXME: Should OMF_init be included here?
const Expr *ReceiverE = msg.getInstanceReceiver();
if (ReceiverE)
ReturnValue = state->getSVal(ReceiverE);
More information about the cfe-commits
mailing list