1 files changed, 66 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/c23-static-assert-8.c b/gcc/testsuite/gcc.dg/c23-static-assert-8.c
new file mode 100644
index 0000000..118e199
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/c23-static-assert-8.c
@@ -0,0 +1,66 @@
+/* Test C2y static assertions in expressions: not diagnosed for C23 with
+   -pedantic-errors -Wno-c23-c2y-compat.  */
+/* { dg-do compile } */
+/* { dg-options "-std=c23 -pedantic-errors -Wno-c23-c2y-compat" } */
+
+/* Old forms of static assertion still valid.  */
+static_assert (1);
+static_assert (2, "message" );
+struct s { int a; static_assert (3); };
+
+void
+f ()
+{
+  static_assert (4);
+ label:
+  static_assert (5);
+  for (static_assert (6);;)
+    ;
+}
+
+/* Test new forms of static assertion.  */
+void
+g ()
+{
+  (void) 0, static_assert (7), (void) 0;
+  extern typeof (static_assert (8)) f ();
+  1 ? static_assert (9) : static_assert (10);
+  if (1)
+    static_assert (11);
+  else
+    static_assert (12);
+  for (;;)
+    static_assert (13);
+  while (true)
+    static_assert (14);
+  do
+    static_assert (15);
+  while (false);
+  switch (16)
+    static_assert (17);
+  (void) static_assert (18);
+  (static_assert (19));
+}
+
+void
+g2 ()
+{
+  (void) 0, static_assert (7, "message"), (void) 0;
+  extern typeof (static_assert (8, "message")) f ();
+  1 ? static_assert (9, "message") : static_assert (10, "message");
+  if (1)
+    static_assert (11, "message");
+  else
+    static_assert (12, "message");
+  for (;;)
+    static_assert (13, "message");
+  while (true)
+    static_assert (14, "message");
+  do
+    static_assert (15, "message");
+  while (false);
+  switch (16)
+    static_assert (17, "message");
+  (void) static_assert (18, "message");
+  (static_assert (19, "message"));
+}