; RUN: not llvm-as %s |& grep {not verify as correct} | |
; PR1042 | |
define i32 @foo() { | |
br i1 false, label %L1, label %L2 | |
L1: ; preds = %0 | |
%A = invoke i32 @foo( ) | |
to label %L unwind label %L ; <i32> [#uses=1] | |
L2: ; preds = %0 | |
br label %L | |
L: ; preds = %L2, %L1, %L1 | |
ret i32 %A | |
} | |