Fix Issue 23226 - ImportC: allow single-argument _Static_assert(expr)

Author: AayushMainali-Github

changelog/dmd.importc-c23-single-arg-static-assert.dd

@@ -0,0 +1,13 @@
+ImportC supports single-argument `_Static_assert(expr)`
+
+C23 makes the message operand of a static assertion optional.
+ImportC now accepts both forms:
+
+-------
+_Static_assert(sizeof(int) == 4);
+_Static_assert(sizeof(int) == 4, "unexpected int size");
+-------
+
+The two-argument form continues to work as before. When the assertion
+fails and no message was supplied, the diagnostic reports that the
+condition is false.

compiler/src/dmd/cparse.d

@@ -3289,8 +3289,13 @@ final class CParser(AST) : Parser!AST
     }
 
     /***********************************
-     * C11 6.7.10
+     * C11 6.7.10 / C23 6.7.12
      * _Static_assert ( constant-expression , string-literal ) ;
+     * _Static_assert ( constant-expression ) ;
+     *
+     * C23 makes the message operand optional. Accepting the single-argument
+     * form cannot change the meaning of any valid C11 program, so it is
+     * enabled unconditionally.
      */
     private AST.StaticAssert cparseStaticAssert()
     {
@@ -3300,13 +3305,22 @@ final class CParser(AST) : Parser!AST
         nextToken();
         check(TOK.leftParenthesis);
         auto exp = cparseConstantExp();
-        check(TOK.comma);
-        if (token.value != TOK.string_)
-            error("string literal expected");
-        auto msg = cparsePrimaryExp();
+        if (token.value == TOK.comma) // C23 6.7.12
+        {
+            nextToken();
+            if (token.value != TOK.string_)
+                error("string literal expected");
+            auto msg = cparsePrimaryExp();
+            check(TOK.rightParenthesis);
+            check(TOK.semicolon);
+            return new AST.StaticAssert(loc, exp, msg);
+        }
         check(TOK.rightParenthesis);
         check(TOK.semicolon);
-        return new AST.StaticAssert(loc, exp, msg);
+        // Use the Expressions* overload so a missing message stays null
+        // rather than a one-element array of null (matches D's parseStaticAssert).
+        AST.Expressions* msgs = null;
+        return new AST.StaticAssert(loc, exp, msgs);
     }
 
     /*************************

compiler/test/compilable/test23226.c

@@ -0,0 +1,9 @@
+/* https://github.com/dlang/dmd/issues/23226
+ * C23 6.7.12: message operand of _Static_assert is optional.
+ */
+
+// C23 6.7.12 — single-argument form
+_Static_assert(1);
+
+// C23 6.7.12 — two-argument form (parity with existing C11 support)
+_Static_assert(1, "ok");

compiler/test/fail_compilation/test23226.c

@@ -0,0 +1,10 @@
+/* TEST_OUTPUT:
+---
+fail_compilation/test23226.c(10): Error: static assert:  `0` is false
+---
+*/
+
+/* https://github.com/dlang/dmd/issues/23226
+ * C23 6.7.12: failing single-argument _Static_assert still diagnoses.
+ */
+_Static_assert(0);