From: Jordy Rose <jediknil@belkadan.com>
Date: Sun, 21 Aug 2011 21:04:38 +0000 (+0000)
Subject: [analyzer] Remove FIXME; Ted reminded me that -init is not guaranteed to return its... 
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=df0fcddd37cab58959e2aaaa7a339900ee069a32;p=clang

[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.)

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@138221 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp b/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp
index 66cef61d99..6cfe8cdc93 100644
--- a/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp
+++ b/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp
@@ -254,7 +254,6 @@ void ExprEngine::evalObjCMessage(ExplodedNodeSet &Dst, const ObjCMessage &msg,
   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);