From 5f9d485a2c5ddfe5e248f4a4e7ae2966eb70c01e Mon Sep 17 00:00:00 2001 From: jason Date: Tue, 30 Aug 2011 04:30:58 +0000 Subject: [PATCH] PR c++/50224 * semantics.c (finish_id_expression): Mark captured variables used. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178277 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/cp/ChangeLog | 5 +++++ gcc/cp/semantics.c | 3 +++ gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/g++.dg/cpp0x/lambda/lambda-use2.C | 11 +++++++++++ 4 files changed, 24 insertions(+) create mode 100644 gcc/testsuite/g++.dg/cpp0x/lambda/lambda-use2.C diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 17065de..315078a 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,8 @@ +2011-08-29 Jason Merrill + + PR c++/50224 + * semantics.c (finish_id_expression): Mark captured variables used. + 2011-08-29 Jakub Jelinek Jason Merrill diff --git a/gcc/cp/semantics.c b/gcc/cp/semantics.c index 5deb2eb..07f53b5 100644 --- a/gcc/cp/semantics.c +++ b/gcc/cp/semantics.c @@ -2949,6 +2949,9 @@ finish_id_expression (tree id_expression, tree lambda_expr = NULL_TREE; tree initializer = convert_from_reference (decl); + /* Mark it as used now even if the use is ill-formed. */ + mark_used (decl); + /* Core issue 696: "[At the July 2009 meeting] the CWG expressed support for an approach in which a reference to a local [constant] automatic variable in a nested class or lambda body diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index c503b69..fe0a6aa 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2011-08-29 Jason Merrill + + PR c++/50224 + * g++.dg/cpp0x/lambda/lambda-use2.C: New. + 2011-08-29 Jakub Jelinek Jason Merrill diff --git a/gcc/testsuite/g++.dg/cpp0x/lambda/lambda-use2.C b/gcc/testsuite/g++.dg/cpp0x/lambda/lambda-use2.C new file mode 100644 index 0000000..695a0b4 --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp0x/lambda/lambda-use2.C @@ -0,0 +1,11 @@ +// PR c++/50224 +// { dg-options "-std=c++0x -Wunused-parameter" } + +struct T; + +void m(T& t) // ERROR here +{ + [&]{ + t; // ``t`` is referenced here + }; +} -- 2.7.4