conditional-assign.swift

// RUN: %target-swift-frontend %s -Xllvm -sil-print-debuginfo -emit-sil -g -o - | %FileCheck %s
publicprotocolDelegateA{}
publicprotocolDelegateB{}
publicprotocolWithDelegate
{
vardelegate:DelegateA?{get}
func f()throws->Int
}
publicenumErr:Swift.Error{
case s(Int)
}
publicclassC{}
publicclassM{
letfield:C
varvalue:Int
 // Verify that definite initialization doesn't create a bogus description of
 // self pointing to the liveness bitvector.

 // CHECK-LABEL: sil @$s4main1MC4fromAcA12WithDelegate_p_tKcfc
 // CHECK: bb0
 // CHECK-NOT: alloc_stack $Builtin.Int2{{.*}}let
 // CHECK: } // end sil function '$s4main1MC4fromAcA12WithDelegate_p_tKcfc'
publicinit(from d:WithDelegate)throws{
guardlet delegate = d.delegate as?DelegateB
else{throwErr.s(0)}
self.field =C()
leti:Int=try d.f()
 value = i
}
}