c++: -Wmissing-field-initializers and empty class [PR110064]

Let's suppress -Wmissing-field-initializers for empty classes.

Here I don't think I need the usual COMPLETE_TYPE_P/dependent_type_p
checks.

	PR c++/110064

gcc/cp/ChangeLog:

	* typeck2.cc (process_init_constructor_record): Don't emit
	-Wmissing-field-initializers for empty classes.

gcc/testsuite/ChangeLog:

	* g++.dg/warn/Wmissing-field-initializers-3.C: New test.

diff --git a/gcc/cp/typeck2.cc b/gcc/cp/typeck2.cc
index 1c204c8612b185652cad06676d81bcac14181a28..582a73bb053d8f827d6cd061b47af8c8021439a0 100644 (file)
--- a/gcc/cp/typeck2.cc
+++ b/gcc/cp/typeck2.cc
@@ -1874,7 +1874,8 @@ process_init_constructor_record (tree type, tree init, int nested, int flags,
             to zero.  */
          if ((complain & tf_warning)
              && !cp_unevaluated_operand
-             && !EMPTY_CONSTRUCTOR_P (init))
+             && !EMPTY_CONSTRUCTOR_P (init)
+             && !is_really_empty_class (fldtype, /*ignore_vptr*/false))
            warning (OPT_Wmissing_field_initializers,
                     "missing initializer for member %qD", field);
 

diff --git a/gcc/testsuite/g++.dg/warn/Wmissing-field-initializers-3.C b/gcc/testsuite/g++.dg/warn/Wmissing-field-initializers-3.C
new file mode 100644 (file)
index 0000000..a8d75b9
--- /dev/null
+++ b/gcc/testsuite/g++.dg/warn/Wmissing-field-initializers-3.C
@@ -0,0 +1,48 @@
+// PR c++/110064
+// { dg-do compile { target c++17 } }
+// { dg-options "-Wmissing-field-initializers" }
+
+struct B { };
+struct D : B {
+    int x;
+    int y;
+};
+
+struct E {
+  int x;
+  int y;
+  B z;
+};
+
+template<typename> struct X { };
+
+template<typename T>
+struct F {
+  int i;
+  int j;
+  X<T> x;
+};
+
+int
+main ()
+{
+  D d = {.x=1, .y=2}; // { dg-bogus "missing" }
+  (void)d;
+  E e = {.x=1, .y=2}; // { dg-bogus "missing" }
+  (void)e;
+  F<int> f = {.i=1, .j=2 }; // { dg-bogus "missing" }
+  (void)f;
+}
+
+template<typename T>
+void fn ()
+{
+  F<T> f = {.i=1, .j=2 }; // { dg-bogus "missing" }
+  (void)f;
+}
+
+void
+g ()
+{
+  fn<int> ();
+}