[clang] [CIR] Upstream Re-Throw with no return (PR #154994)

Andy Kaylor via cfe-commits cfe-commits at lists.llvm.org
Fri Aug 22 12:34:54 PDT 2025


================
@@ -2646,6 +2646,24 @@ ParseResult cir::InlineAsmOp::parse(OpAsmParser &parser,
   return mlir::success();
 }
 
+//===----------------------------------------------------------------------===//
+// ThrowOp
+//===----------------------------------------------------------------------===//
+
+mlir::LogicalResult cir::ThrowOp::verify() {
+  // For the no-rethrow version, it must have at least the exception pointer.
+  if (rethrows())
+    return success();
+
+  if (getNumOperands() == 1) {
+    if (getTypeInfo())
+      return success();
+    return emitOpError() << "'type_info' symbol attribute missing";
----------------
andykaylor wrote:

Can you add a test for this?

https://github.com/llvm/llvm-project/pull/154994


More information about the cfe-commits mailing list