20 lines · plain
1; RUN: opt -passes=verify -disable-output < %s2; This tests that we handle unreachable blocks correctly3 4define void @f() personality ptr @__gxx_personality_v0 {5 %v1 = invoke ptr @g()6 to label %bb1 unwind label %bb27 invoke void @__dynamic_cast()8 to label %bb1 unwind label %bb29bb1:10 %Hidden = getelementptr inbounds i32, ptr %v1, i64 111 ret void12bb2:13 %lpad.loopexit80 = landingpad { ptr, i32 }14 cleanup15 ret void16}17declare i32 @__gxx_personality_v0(...)18declare void @__dynamic_cast()19declare ptr @g()20