| ; RUN: opt -verify -disable-output %s |
| ; 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() |
