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