[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