From: Marek Polacek <polacek@redhat.com>
Date: Wed, 19 Jul 2023 17:31:52 +0000 (-0400)
Subject: c++: -Wmissing-field-initializers and empty class [PR110064]
X-Git-Tag: basepoints/gcc-15~7482
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b1ae46bdd19fc2aaea41bc894168bdaf4799be80;p=thirdparty%2Fgcc.git

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 1c204c8612b1..582a73bb053d 100644
--- 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
index 000000000000..a8d75b92bd11
--- /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> ();
+}