Home | History | Annotate | Download | only in Verifier
      1 ; RUN: not llvm-as %s |& grep {not verify as correct}
      2 ; PR1042
      3 
      4 define i32 @foo() {
      5 	br i1 false, label %L1, label %L2
      6 L1:		; preds = %0
      7 	%A = invoke i32 @foo( )
      8 			to label %L unwind label %L		; <i32> [#uses=1]
      9 L2:		; preds = %0
     10 	br label %L
     11 L:		; preds = %L2, %L1, %L1
     12 	ret i32 %A
     13 }
     14 
     15