From: Ted Kremenek <kremenek@apple.com>
Date: Fri, 20 Feb 2009 00:05:35 +0000 (+0000)
Subject: Fix crash from <rdar://problem/6562655>: 'init' method only return a receiver alias... 
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=c3cf7b27df5047477c138619d2e8fff179b85a83;p=clang

Fix crash from <rdar://problem/6562655>: 'init' method only return a receiver alias if the return type is a location.

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

diff --git a/lib/Analysis/CFRefCount.cpp b/lib/Analysis/CFRefCount.cpp
index 36c1b79af3..8e120afecc 100644
--- a/lib/Analysis/CFRefCount.cpp
+++ b/lib/Analysis/CFRefCount.cpp
@@ -915,8 +915,11 @@ RetainSummary*
 RetainSummaryManager::getInitMethodSummary(ObjCMessageExpr* ME) {
   assert(ScratchArgs.empty());
     
+  // 'init' methods only return an alias if the return type is a location type.
+  QualType T = ME->getType();
   RetainSummary* Summ =
-    getPersistentSummary(RetEffect::MakeReceiverAlias());
+    getPersistentSummary(Loc::IsLocType(T) ? RetEffect::MakeReceiverAlias()
+                                           : RetEffect::MakeNoRet());
   
   ObjCMethodSummaries[ME] = Summ;
   return Summ;
@@ -1608,7 +1611,7 @@ void CFRefCount::EvalSummary(ExplodedNodeSet<GRState>& Dst,
         unsigned Count = Builder.getCurrentBlockCount();
         SymbolRef Sym = Eng.getSymbolManager().getConjuredSymbol(Ex, Count);
         
-        SVal X = Loc::IsLocType(Ex->getType())
+        SVal X = Loc::IsLocType(T)
                ? cast<SVal>(loc::SymbolVal(Sym)) 
                : cast<SVal>(nonloc::SymbolVal(Sym));