]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
testsuite: Add testcase for PR [PR123882]
authorJakub Jelinek <jakub@redhat.com>
Thu, 5 Feb 2026 14:17:56 +0000 (15:17 +0100)
committerJakub Jelinek <jakub@gcc.gnu.org>
Thu, 5 Feb 2026 14:19:26 +0000 (15:19 +0100)
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.

gcc/testsuite/gcc.dg/pr123882.c [new file with mode: 0644]

diff --git a/gcc/testsuite/gcc.dg/pr123882.c b/gcc/testsuite/gcc.dg/pr123882.c
new file mode 100644 (file)
index 0000000..4b87552
--- /dev/null
@@ -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]);