llvm/test/Analysis/Dominators/invoke.ll

   1 ; RUN: opt -passes=verify -disable-output < %s
   2 ; This tests that we handle unreachable blocks correctly
   3
   4 define void @f() personality ptr @__gxx_personality_v0 {
   5   %v1 = invoke ptr @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, ptr %v1, i64 1
  11   ret void
  12 bb2:
  13   %lpad.loopexit80 = landingpad { ptr, i32 }
  14           cleanup
  15   ret void
  16 }
  17 declare i32 @__gxx_personality_v0(...)
  18 declare void @__dynamic_cast()
  19 declare ptr @g()