From: Jakub Jelinek <jakub@redhat.com>
Date: Thu, 5 Feb 2026 14:17:56 +0000 (+0100)
Subject: testsuite: Add testcase for PR [PR123882]
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ce8a84ba6719a71365b611a94cc2454dd157f3b2;p=thirdparty%2Fgcc.git

testsuite: Add testcase for PR [PR123882]

I've reverted the PR101312 changes in order to fix this PR.
Here I'm just adding new testcase.

2026-02-05  Jakub Jelinek  <jakub@redhat.com>

	PR c/123882
	* gcc.dg/pr123882.c: New test.
---

diff --git a/gcc/testsuite/gcc.dg/pr123882.c b/gcc/testsuite/gcc.dg/pr123882.c
new file mode 100644
index 00000000000..4b87552c999
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr123882.c
@@ -0,0 +1,7 @@
+/* PR c/123882 */
+/* { dg-do compile } */
+/* { dg-options "-std=c23" } */
+
+typedef int T;
+void foo (unsigned long, T[]);
+void foo (unsigned long x, T[restrict x]);