17 lines · plain
1// RUN: cir-opt %s -verify-diagnostics -split-input-file2 3!s32i = !cir.int<s, 32>4 5module {6 7cir.func dso_local @throw_without_type_info() {8 %0 = cir.alloca !s32i, !cir.ptr<!s32i>, ["a"]9 // expected-error @below {{'cir.throw' op 'type_info' symbol attribute missing}}10 cir.throw %0 : !cir.ptr<!s32i>11 cir.unreachable12 ^bb1:13 cir.return14}15 16}17