testsuite: Add test for C90 auto with implicit int
authorJoseph Myers <joseph@codesourcery.com>
Wed, 7 Dec 2022 19:24:45 +0000 (19:24 +0000)
committerJoseph Myers <joseph@codesourcery.com>
Wed, 7 Dec 2022 19:24:45 +0000 (19:24 +0000)
Add a test for the case of auto with implicit int in C90 mode, which
is incompatible with C2x semantics (I missed adding such a test when
implementing C2x auto).

Tested for x86_64-pc-linux-gnu.

* gcc.dg/c90-auto-1.c: New test.

gcc/testsuite/gcc.dg/c90-auto-1.c [new file with mode: 0644]

diff --git a/gcc/testsuite/gcc.dg/c90-auto-1.c b/gcc/testsuite/gcc.dg/c90-auto-1.c
new file mode 100644 (file)
index 0000000..f00f767
--- /dev/null
@@ -0,0 +1,12 @@
+/* Test auto with implicit int for C90.  */
+/* { dg-do compile } */
+/* { dg-options "-std=c90 -pedantic-errors" } */
+
+void
+f (void)
+{
+  /* This should have type int following C90 rules, whereas in C2x it
+     would have type double.  */
+  auto x = 1.5;
+  int *p = &x;
+}