re PR c++/49251 ([C++0x][parameter pack expanding] unused parameter warning with...
authorJason Merrill <jason@redhat.com>
Thu, 16 Jun 2011 22:08:57 +0000 (18:08 -0400)
committerJason Merrill <jason@gcc.gnu.org>
Thu, 16 Jun 2011 22:08:57 +0000 (18:08 -0400)
PR c++/49251
* semantics.c (finish_id_expression): Mark even dependent
variables as used.

From-SVN: r175119

gcc/cp/ChangeLog
gcc/cp/semantics.c
gcc/testsuite/ChangeLog
gcc/testsuite/g++.dg/cpp0x/variadic113.C [new file with mode: 0644]

index 6523c940623a8922697cd9d4e15b1576faca037c..a8baca2eb6539732005ef1494e7be80baf919729 100644 (file)
@@ -1,5 +1,9 @@
 2011-06-16  Jason Merrill  <jason@redhat.com>
 
+       PR c++/49251
+       * semantics.c (finish_id_expression): Mark even dependent
+       variables as used.
+
        PR c++/49420
        * error.c (dump_template_argument): Don't try to omit default
        template args from an argument pack.
index 55f9519c43b17f19d38ee117d5b8e633c850ab5b..bad7acbb6714c7a8e2941533b99dd4c4fbebe51c 100644 (file)
@@ -3196,7 +3196,10 @@ finish_id_expression (tree id_expression,
             (or an instantiation thereof).  */
          if (TREE_CODE (decl) == VAR_DECL
              || TREE_CODE (decl) == PARM_DECL)
-           return convert_from_reference (decl);
+           {
+             mark_used (decl);
+             return convert_from_reference (decl);
+           }
          /* The same is true for FIELD_DECL, but we also need to
             make sure that the syntax is correct.  */
          else if (TREE_CODE (decl) == FIELD_DECL)
index 6622a60311d9eb3d002c011b3089016982aa4fee..cc12e7bf27949dcff78cdc4d68b47df0e1c45b92 100644 (file)
@@ -1,5 +1,8 @@
 2011-06-16  Jason Merrill  <jason@redhat.com>
 
+       PR c++/49251
+       * g++.dg/cpp0x/variadic113.C: New.
+
        PR c++/49420
        * g++.dg/cpp0x/variadic112.C: New.
 
diff --git a/gcc/testsuite/g++.dg/cpp0x/variadic113.C b/gcc/testsuite/g++.dg/cpp0x/variadic113.C
new file mode 100644 (file)
index 0000000..3f1bb2a
--- /dev/null
@@ -0,0 +1,20 @@
+// PR c++/49251
+// { dg-options "-std=c++0x -Wunused-parameter" }
+
+struct A {};
+template <int> int f(A);
+
+template< int... Indices >
+struct indices {};
+
+template< class... Args >
+void sink( Args&&... ) {}
+
+template< class T, int... Indices >
+void unpack_test( T && t, indices<Indices...> ) {
+  sink( f<Indices>(t)... );
+}
+
+int main() {
+  unpack_test( A(), indices<>() );
+}