Merge pull request #5688 from tautschnig/anonymous-members

C front-end: initializer lists do not initialise anonymous members

Author: tautschnig

regression/ansi-c/Empty_Declaration1/main.c

@@ -1,10 +1,12 @@
 int blah(void);
 ; // empty!
 
+#ifndef _MSC_VER
 struct some
 {
   ; // empty
 };
+#endif
 
 int main() {
 }

regression/ansi-c/Union_Initialization2/test.desc

@@ -1,7 +1,7 @@
 CORE
 main.c
 
-union member designator found for empty union
+(union member designator found for empty union|C requires that a struct or union has at least one member)
 ^SIGNAL=0$
 ^EXIT=(1|64)$
 --

regression/ansi-c/_Generic1/main.c

@@ -13,6 +13,7 @@
                 struct some: 5 \
              )
 
+#ifdef __GNUC__
 struct some
 {
 } s;
@@ -22,7 +23,6 @@ char ch;
 long double ld;
 short sh;
 
-#ifdef __GNUC__
 STATIC_ASSERT(G(i)==3);
 STATIC_ASSERT(G(sh)==10);
 STATIC_ASSERT(G(ld)==1);

regression/ansi-c/anonymous_member1/main.c

@@ -1,15 +1,39 @@
+#ifdef _MSC_VER
+// No _Static_assert in Visual Studio
+#  define _Static_assert(condition, message) static_assert(condition, message)
+#endif
+
 struct S
 {
   struct
   {
     int : 1;
+#ifndef _MSC_VER
     int;
+#endif
     int named;
   };
 };
 
+_Static_assert(sizeof(struct S) == sizeof(int) * 2, "ignore int;");
+
 struct S s = {.named = 0};
 
+struct S1
+{
+  struct S2
+  {
+    int : 1;
+    int named;
+  };
+};
+
+#ifdef _MSC_VER
+_Static_assert(sizeof(struct S1) == sizeof(int) * 2, "");
+#else
+_Static_assert(sizeof(struct S1) == 0, "");
+#endif
+
 int main()
 {
 }

regression/ansi-c/anonymous_member2/main.c

@@ -0,0 +1,29 @@
+#define static_assert(x)                                                       \
+  struct                                                                       \
+  {                                                                            \
+    char some[(x) ? 1 : -1];                                                   \
+  }
+
+struct a
+{
+};
+struct c
+{
+  struct a;
+  void *d;
+} e =
+  {
+#ifdef not_permitted
+    {},
+#endif
+    0},
+  e2;
+struct
+{
+  struct c f;
+} * g;
+int main()
+{
+  g->f;
+  static_assert(sizeof(e) == sizeof(void *));
+}

regression/ansi-c/anonymous_member2/not_permitted.desc

@@ -0,0 +1,9 @@
+CORE gcc-only
+main.c
+-Dnot_permitted
+cannot initialize 'void \*' with an initializer list
+^CONVERSION ERROR$
+^EXIT=(1|64)$
+^SIGNAL=0$
+--
+^warning: ignoring

regression/ansi-c/anonymous_member2/test.desc

@@ -0,0 +1,8 @@
+CORE gcc-only
+main.c
+
+^EXIT=0$
+^SIGNAL=0$
+--
+^warning: ignoring
+^CONVERSION ERROR$

regression/ansi-c/anonymous_member3/main.c

@@ -0,0 +1,21 @@
+typedef void(keyhandler_fn_t)(void);
+typedef void(irq_keyhandler_fn_t)(int);
+
+void foo()
+{
+}
+
+struct keyhandler
+{
+  union
+  {
+    keyhandler_fn_t *fn;
+    irq_keyhandler_fn_t *irq_fn;
+  };
+  const char *desc;
+  _Bool x, y;
+} key_table[3] = {[0] = {{(keyhandler_fn_t *)(foo)}, "text", 1, 0}};
+
+int main()
+{
+}

regression/ansi-c/anonymous_member3/test.desc

@@ -0,0 +1,8 @@
+CORE
+main.c
+
+^EXIT=0$
+^SIGNAL=0$
+--
+^warning: ignoring
+^CONVERSION ERROR$

regression/ansi-c/sizeof3/main.c

@@ -4,6 +4,7 @@
 #define STATIC_ASSERT(condition)                                               \
   int CONCAT2(some_array, __LINE__)[(condition) ? 1 : -1]
 
+#ifndef _MSC_VER
 struct empty_struct { };
 union empty_union { };
 
@@ -16,6 +17,7 @@ struct combination {
 STATIC_ASSERT(sizeof(struct empty_struct)==0);
 STATIC_ASSERT(sizeof(union empty_union)==0);
 STATIC_ASSERT(sizeof(struct combination)==sizeof(int));
+#endif
 
 int main()
 {