| ; RUN: not opt -passes=verify < %s 2>&1 | FileCheck %s |
| |
| define void @report_missing() personality ptr @__CxxFrameHandler3 { |
| entry: |
| invoke void @may_throw() to label %eh.cont unwind label %catch.dispatch |
| |
| catch.dispatch: |
| %0 = catchswitch within none [label %catch] unwind to caller |
| |
| catch: |
| %1 = catchpad within %0 [ptr null, i32 0, ptr null] |
| br label %catch.cont |
| |
| catch.cont: |
| ; CHECK: Missing funclet token on intrinsic call |
| %2 = call ptr @llvm.objc.retain(ptr null) |
| catchret from %1 to label %eh.cont |
| |
| eh.cont: |
| ret void |
| } |
| |
| declare void @may_throw() |
| declare i32 @__CxxFrameHandler3(...) |
| |
| declare ptr @llvm.objc.retain(ptr) #0 |
| |
| attributes #0 = { nounwind } |
