From: Pierre-Emmanuel Patry <pierre-emmanuel.patry@embecosm.com>
Date: Tue, 2 Sep 2025 11:56:24 +0000 (+0200)
Subject: gccrs: Add test to confirm Rust-GCC/gccrs#3924 fix
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=38fec1d42c47877257a7ed135e419482581533e7;p=thirdparty%2Fgcc.git

gccrs: Add test to confirm Rust-GCC/gccrs#3924 fix

gcc/testsuite/ChangeLog:

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

Signed-off-by: Pierre-Emmanuel Patry <pierre-emmanuel.patry@embecosm.com>
---

diff --git a/gcc/testsuite/rust/compile/issue-3924.rs b/gcc/testsuite/rust/compile/issue-3924.rs
new file mode 100644
index 00000000000..cc423cec487
--- /dev/null
+++ b/gcc/testsuite/rust/compile/issue-3924.rs
@@ -0,0 +1,6 @@
+pub fn main() {
+    const S: usize = 23 as i64;
+    // { dg-error {mismatched types, expected .usize. but got .i64.} "" { target *-*-* } .-1 }
+    [0; S];
+    ()
+}