PR c++/53551 - -Wunused-local-typedefs misses uses

We don't record the use of a typedef when it's used through a
typename.  Fixed thus.

Tested on x86_64-unknown-linux-gnu against trunk.

gcc/cp/

	* decl.c (make_typename_type): Record the use of typedefs.

gcc/testsuite/

	* g++.dg/warn/Wunused-local-typedefs-2.C: New test.

From-SVN: r191828

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 46d8abed097587f3614ddac6a8cb020466b0985c..78325900c8943c1557c2fbd081d277e5dc2e98da 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,8 @@
+2012-09-25  Dodji Seketeli  <dodji@redhat.com>
+
+       PR c++/53551 - -Wunused-local-typedefs misses uses
+       * decl.c (make_typename_type): Record the use of typedefs.
+
 2012-09-27  Jakub Jelinek  <jakub@redhat.com>
 
        * init.c (build_new_1): Don't test TREE_CONSTANT

diff --git a/gcc/cp/decl.c b/gcc/cp/decl.c
index 6f2c023aa5fc05f1a39c47e8da348496efc0739d..a7bb9379c3626ad3a07c5c57bc15aa4f4e66fae5 100644 (file)
--- a/gcc/cp/decl.c
+++ b/gcc/cp/decl.c
@@ -3326,7 +3326,9 @@ make_typename_type (tree context, tree name, enum tag_types tag_type,
   
   if (DECL_ARTIFICIAL (t) || !(complain & tf_keep_type_decl))
     t = TREE_TYPE (t);
-  
+
+  maybe_record_typedef_use (t);
+
   return t;
 }
 

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 9802c10e4840515a092105d20eca800d49c70ee7..e9bd0b3f0724b1b869a8fc7a590bcbeb6f199323 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2012-09-25  Dodji Seketeli  <dodji@redhat.com>
+
+       PR c++/53551 - -Wunused-local-typedefs misses uses
+       * g++.dg/warn/Wunused-local-typedefs-2.C: New test.
+
 2012-09-28  Jakub Jelinek  <jakub@redhat.com>
 
        PR target/54716

diff --git a/gcc/testsuite/g++.dg/warn/Wunused-local-typedefs-2.C b/gcc/testsuite/g++.dg/warn/Wunused-local-typedefs-2.C
new file mode 100644 (file)
index 0000000..073e253
--- /dev/null
+++ b/gcc/testsuite/g++.dg/warn/Wunused-local-typedefs-2.C
@@ -0,0 +1,20 @@
+// Origin PR c++/33255
+// { dg-options "-Wunused" } <-- should trigger -Wunused-local-typedefs
+// { dg-do compile { target c++11 } }
+
+template <typename C>
+struct structure
+{
+    typename C::type val;
+};
+
+int
+main()
+{
+  struct context
+  {
+      using type = int;
+  };
+
+  return structure<context>{42}.val;
+}