; RUN: opt -S < %s -objc-arc-expand -objc-arc-contract | FileCheck %s
; Don't crash.  Reproducer for a use_iterator bug from r203364.
; rdar://problem/16333235
target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-apple-darwin13.2.0"

%struct = type { i8*, i8* }

; CHECK-LABEL: @foo() {
define internal i8* @foo() {
entry:
  %call = call i8* @bar()
; CHECK: %retained1 = call i8* @objc_retainAutoreleasedReturnValue(i8* %call)
  %retained1 = call i8* @objc_retain(i8* %call)
  %isnull = icmp eq i8* %retained1, null
  br i1 %isnull, label %cleanup, label %if.end

if.end:
; CHECK: %retained2 = call i8* @objc_retain(i8* %retained1)
  %retained2 = call i8* @objc_retain(i8* %retained1)
  br label %cleanup

cleanup:
  %retval = phi i8* [ %retained2, %if.end ], [ null, %entry ]
  ret i8* %retval
}

declare i8* @bar()

declare extern_weak i8* @objc_retain(i8*)