2012-12-30 03:33:22 +01:00
|
|
|
; RUN: opt -verify -disable-output < %s
|
2012-02-26 03:19:19 +01:00
|
|
|
; This tests that we handle unreachable blocks correctly
|
|
|
|
|
|
|
|
|
|
define void @f() {
|
|
|
|
|
%v1 = invoke i32* @g()
|
|
|
|
|
to label %bb1 unwind label %bb2
|
|
|
|
|
invoke void @__dynamic_cast()
|
|
|
|
|
to label %bb1 unwind label %bb2
|
|
|
|
|
bb1:
|
|
|
|
|
%Hidden = getelementptr inbounds i32* %v1, i64 1
|
|
|
|
|
ret void
|
|
|
|
|
bb2:
|
|
|
|
|
%lpad.loopexit80 = landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*)
|
|
|
|
|
cleanup
|
|
|
|
|
ret void
|
|
|
|
|
}
|
|
|
|
|
declare i32 @__gxx_personality_v0(...)
|
|
|
|
|
declare void @__dynamic_cast()
|
|
|
|
|
declare i32* @g()
|
