llvm/test/Verifier/operand-bundles-wineh.ll

   1 ; RUN: not opt -passes=verify < %s 2>&1 | FileCheck %s
   2
   3 define void @report_missing() personality ptr @__CxxFrameHandler3 {
   4 entry:
   5   invoke void @may_throw() to label %eh.cont unwind label %catch.dispatch
   6
   7 catch.dispatch:
   8   %0 = catchswitch within none [label %catch] unwind to caller
   9
  10 catch:
  11   %1 = catchpad within %0 [ptr null, i32 0, ptr null]
  12   br label %catch.cont
  13
  14 catch.cont:
  15 ; CHECK: Missing funclet token on intrinsic call
  16   %2 = call ptr @llvm.objc.retain(ptr null)
  17   catchret from %1 to label %eh.cont
  18
  19 eh.cont:
  20   ret void
  21 }
  22
  23 declare void @may_throw()
  24 declare i32 @__CxxFrameHandler3(...)
  25
  26 declare ptr @llvm.objc.retain(ptr) #0
  27
  28 attributes #0 = { nounwind }