re PR c++/53594 ([C++11] Spurious -Wuninitialized warning for member with NSDMI)

	PR c++/53594
	* class.c (check_bases_and_members): Avoid -Wuninitialized
	diagnostics for non-static const members or references if they
	use NSDMI.

	* g++.dg/cpp0x/nsdmi7.C: New test.

From-SVN: r188925

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 794b39f7a649bec8bf211642e6ce46dd60ccf953..93233a892b53759f6d0405d09b7bb8a3a044bf76 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,4 +1,11 @@
-2012-06-16 Ville Voutilainen <ville.voutilainen@gmail.com>
+2012-06-25  Jakub Jelinek  <jakub@redhat.com>
+
+       PR c++/53594
+       * class.c (check_bases_and_members): Avoid -Wuninitialized
+       diagnostics for non-static const members or references if they
+       use NSDMI.
+
+2012-06-16  Ville Voutilainen  <ville.voutilainen@gmail.com>

 
        * parser.c (cp_parser_direct_declarator): Move virt-specifier
        parsing after late-specified return type parsing.
 
        * parser.c (cp_parser_direct_declarator): Move virt-specifier
        parsing after late-specified return type parsing.

diff --git a/gcc/cp/class.c b/gcc/cp/class.c
index 021344bad7c401d241382a3e9b24d4d16a8a512d..6307e847a40c3eb97ffbaa00aa204f7ee6dd71be 100644 (file)
--- a/gcc/cp/class.c
+++ b/gcc/cp/class.c
@@ -5122,7 +5122,8 @@ check_bases_and_members (tree t)
        {
          tree type;
 
        {
          tree type;
 

-         if (TREE_CODE (field) != FIELD_DECL)
+         if (TREE_CODE (field) != FIELD_DECL
+             || DECL_INITIAL (field) != NULL_TREE)

            continue;
 
          type = TREE_TYPE (field);
            continue;
 
          type = TREE_TYPE (field);

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 7faf774eb7ff0d960ddbbfc97fd134c2b23995e9..82bb2d775e21a5ba5a49058c74c349f543bf6a8c 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2012-06-25  Jakub Jelinek  <jakub@redhat.com>
+
+       PR c++/53594
+       * g++.dg/cpp0x/nsdmi7.C: New test.
+

 2012-06-24  Kai Tietz  <ktietz@redhat.com>
 
        * gcc.target/i386/pr23943.c (size_t): Use compatible type-definition
 2012-06-24  Kai Tietz  <ktietz@redhat.com>
 
        * gcc.target/i386/pr23943.c (size_t): Use compatible type-definition

diff --git a/gcc/testsuite/g++.dg/cpp0x/nsdmi7.C b/gcc/testsuite/g++.dg/cpp0x/nsdmi7.C
new file mode 100644 (file)
index 0000000..ea19577
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/nsdmi7.C
@@ -0,0 +1,17 @@
+// PR c++/53594
+// { dg-do compile }
+// { dg-options "-std=c++11 -Wuninitialized" }
+
+struct A
+{
+  const int a = 6;     // { dg-bogus "non-static const member" }
+  static int b;
+  int &c = b;          // { dg-bogus "non-static reference" }
+};
+
+struct B
+{
+  const int d;         // { dg-warning "non-static const member" }
+  int &e;              // { dg-warning "non-static reference" }
+  int f = 7;
+};