From efcf217b1c9e82dc377feaeeb6ba86001d0a9d95 Mon Sep 17 00:00:00 2001 From: Jason Merrill Date: Wed, 20 Mar 2013 23:25:42 -0400 Subject: [PATCH] re PR c++/56646 (ICE: in cp_parser_late_return_type_opt, at cp/parser.c:16970) PR c++/56646 * parser.c (cp_parser_late_return_type_opt): Save and restore current_class_ptr/ref. From-SVN: r196853 --- gcc/cp/ChangeLog | 4 ++++ gcc/cp/parser.c | 8 ++++++-- gcc/testsuite/g++.dg/cpp0x/trailing9.C | 12 ++++++++++++ 3 files changed, 22 insertions(+), 2 deletions(-) create mode 100644 gcc/testsuite/g++.dg/cpp0x/trailing9.C diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 64a085c..7045838 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,5 +1,9 @@ 2013-03-20 Jason Merrill + PR c++/56646 + * parser.c (cp_parser_late_return_type_opt): Save and restore + current_class_ptr/ref. + PR c++/54532 * expr.c (cplus_expand_constant): Do nothing if the class is incomplete. diff --git a/gcc/cp/parser.c b/gcc/cp/parser.c index 23fe3f3..e04d3ce 100644 --- a/gcc/cp/parser.c +++ b/gcc/cp/parser.c @@ -17056,17 +17056,21 @@ cp_parser_late_return_type_opt (cp_parser* parser, cp_cv_quals quals) /* Consume the ->. */ cp_lexer_consume_token (parser->lexer); + tree save_ccp = current_class_ptr; + tree save_ccr = current_class_ref; if (quals >= 0) { /* DR 1207: 'this' is in scope in the trailing return type. */ - gcc_assert (current_class_ptr == NULL_TREE); inject_this_parameter (current_class_type, quals); } type = cp_parser_trailing_type_id (parser); if (quals >= 0) - current_class_ptr = current_class_ref = NULL_TREE; + { + current_class_ptr = save_ccp; + current_class_ref = save_ccr; + } return type; } diff --git a/gcc/testsuite/g++.dg/cpp0x/trailing9.C b/gcc/testsuite/g++.dg/cpp0x/trailing9.C new file mode 100644 index 0000000..d7895b3 --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp0x/trailing9.C @@ -0,0 +1,12 @@ +// PR c++/56646 +// { dg-require-effective-target c++11 } + +struct A { + void f(); +}; + +void A::f() { + struct B { + auto g() -> void { } + }; +} -- 2.7.4