Allow empty bracket for primitive initializer

C2X
tyfkda · Dec 17, 2024 · 39331eb · 39331eb
1 parent 60b1b05
commit 39331eb
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 0 deletions.
diff --git a/src/cc/frontend/initializer.c b/src/cc/frontend/initializer.c
@@ -516,6 +516,17 @@ Initializer *flatten_initializer(Type *type, Initializer *init) {
   } else {
     switch (init->kind) {
     case IK_MULTI:
+      if (init->multi->len == 0) {
+        init->kind = IK_SINGLE;
+#ifndef __NO_FLONUM
+        if (is_flonum(type)) {
+          init->single = new_expr_flolit(type, init->token, 0);
+          break;
+        }
+#endif
+        init->single = new_expr_fixlit(type, init->token, 0);
+        break;
+      }
       if (init->multi->len != 1 || ((Initializer*)init->multi->data[0])->kind != IK_SINGLE) {
         parse_error(PE_NOFATAL, init->token, "Requires scaler");
         break;

diff --git a/tests/valtest.c b/tests/valtest.c
@@ -714,6 +714,9 @@ TEST(all) {
   {
     char buf[3] = {};
     EXPECT("char array with empty initializer", 0, buf[0]);
+
+    int z = {};
+    EXPECT("primitive with empty initializer", 0, z);
   }
   {
     struct {int x; int y;} s = {3};