From 573c26a5a6f835e9d402c6c4a402228d70df8a68 Mon Sep 17 00:00:00 2001
From: Pierre-Emmanuel Patry <pierre-emmanuel.patry@embecosm.com>
Date: Wed, 3 Sep 2025 18:59:11 +0200
Subject: [PATCH] Emit error on array size overflow

When the byte size required for an array overflow we should emit an
error.

gcc/rust/ChangeLog:

	* backend/rust-compile-expr.cc (CompileExpr::array_copied_expr): Check
	for overflow on array memory size and emit an error.

gcc/testsuite/ChangeLog:

	* rust/compile/issue-3962.rs: New test.

Signed-off-by: Pierre-Emmanuel Patry <pierre-emmanuel.patry@embecosm.com>
---
 gcc/rust/backend/rust-compile-expr.cc    | 11 +++++++++++
 gcc/testsuite/rust/compile/issue-3962.rs |  4 ++++
 2 files changed, 15 insertions(+)
 create mode 100644 gcc/testsuite/rust/compile/issue-3962.rs

diff --git a/gcc/rust/backend/rust-compile-expr.cc b/gcc/rust/backend/rust-compile-expr.cc
index 2d910e3e0a4..f96e35f6547 100644
--- a/gcc/rust/backend/rust-compile-expr.cc
+++ b/gcc/rust/backend/rust-compile-expr.cc
@@ -2029,6 +2029,17 @@ CompileExpr::array_copied_expr (location_t expr_locus,
   unsigned HOST_WIDE_INT len
     = wi::ext (max - min + 1, precision, sign).to_uhwi ();
 
+  unsigned int res;
+  if (__builtin_umul_overflow (TREE_INT_CST_ELT (TYPE_SIZE_UNIT (array_type),
+						 0),
+			       len, &res))
+    {
+      rust_error_at (expr_locus, ErrorCode::E0080,
+		     "the type %qs is too big for the current architecture",
+		     array_tyty.as_string ().c_str ());
+      return error_mark_node;
+    }
+
   // In a const context we must initialize the entire array, which entails
   // allocating for each element. If the user wants a huge array, we will OOM
   // and die horribly.
diff --git a/gcc/testsuite/rust/compile/issue-3962.rs b/gcc/testsuite/rust/compile/issue-3962.rs
new file mode 100644
index 00000000000..cc279ad3076
--- /dev/null
+++ b/gcc/testsuite/rust/compile/issue-3962.rs
@@ -0,0 +1,4 @@
+static FOO2: () = {
+    let x = [47; (1 << 47) - 1];
+    // { dg-error "the type ..i32; 140737488355327.. is too big for the current architecture" "" { target *-*-* } .-1 }
+};