1 ; RUN: opt -verify -disable-output < %s 2 ; This tests that we handle unreachable blocks correctly 3 4 define void @f() { 5 %v1 = invoke i32* @g() 6 to label %bb1 unwind label %bb2 7 invoke void @__dynamic_cast() 8 to label %bb1 unwind label %bb2 9 bb1: 10 %Hidden = getelementptr inbounds i32* %v1, i64 1 11 ret void 12 bb2: 13 %lpad.loopexit80 = landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) 14 cleanup 15 ret void 16 } 17 declare i32 @__gxx_personality_v0(...) 18 declare void @__dynamic_cast() 19 declare i32* @g() 20