From: Jason Merrill <jason@redhat.com>
Date: Thu, 21 Mar 2013 03:25:42 +0000 (-0400)
Subject: re PR c++/56646 (ICE: in cp_parser_late_return_type_opt, at cp/parser.c:16970)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=efcf217b1c9e82dc377feaeeb6ba86001d0a9d95;p=gcc.git

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
---

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 64a085c7fb5..704583802e5 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,5 +1,9 @@
 2013-03-20  Jason Merrill  <jason@redhat.com>
 
+	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 23fe3f302a0..e04d3cea9e5 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 00000000000..d7895b38e3e
--- /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 { }
+  };
+}