blob: ab0afd4354a764910b4f41bfa0d517eceb95f1a2 [file] [log] [blame]
; RUN: opt -verify -disable-output < %s
; This tests that we handle unreachable blocks correctly
define void @f() personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) {
%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, i32* %v1, i64 1
ret void
bb2:
%lpad.loopexit80 = landingpad { i8*, i32 }
cleanup
ret void
}
declare i32 @__gxx_personality_v0(...)
declare void @__dynamic_cast()
declare i32* @g()