From: Roger Sayle <roger@nextmovesoftware.com>
Date: Thu, 10 Mar 2022 07:32:06 +0000 (+0000)
Subject: PR c++/39751: ICE-on-invalid parsing regression.
X-Git-Tag: basepoints/gcc-13~740
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=2185c9734ad977b88c519a4579187a91b3f71edd;p=thirdparty%2Fgcc.git

PR c++/39751: ICE-on-invalid parsing regression.

This is a fix for PR c++/39751 which is an ICE-on-invalid regression in
the C++ parser after encountering the end of file.  The one line change
is to check that the tokens cached in DECL_PENDING_INLINE_INFO haven't
been purged before processing them in cp_parser_late_parsing_for_member.

2022-03-10  Roger Sayle  <roger@nextmovesoftware.com>

gcc/cp/ChangeLog
	PR c++/39751
	* parser.cc (cp_parser_late_parsing_for_member): Confirm the token
	stream hasn't been purged before processing DECL_PENDING_INLINE.

gcc/testsuite/ChangeLog
	PR c++/39751
	* g++.dg/parse/pr39751.C: New test case.
---

diff --git a/gcc/cp/parser.cc b/gcc/cp/parser.cc
index 5c342ca631b3..18db9d40a013 100644
--- a/gcc/cp/parser.cc
+++ b/gcc/cp/parser.cc
@@ -32119,8 +32119,9 @@ cp_parser_late_parsing_for_member (cp_parser* parser, tree member_function)
   maybe_begin_member_template_processing (member_function);
 
   /* If the body of the function has not yet been parsed, parse it
-     now.  */
-  if (DECL_PENDING_INLINE_P (member_function))
+     now.  Except if the tokens have been purged (PR c++/39751).  */
+  if (DECL_PENDING_INLINE_P (member_function)
+      && !DECL_PENDING_INLINE_INFO (member_function)->first->purged_p)
     {
       tree function_scope;
       cp_token_cache *tokens;
diff --git a/gcc/testsuite/g++.dg/parse/pr39751.C b/gcc/testsuite/g++.dg/parse/pr39751.C
new file mode 100644
index 000000000000..cfe803c6b2fe
--- /dev/null
+++ b/gcc/testsuite/g++.dg/parse/pr39751.C
@@ -0,0 +1,10 @@
+/* { dg-do compile } */
+
+template < typename >
+struct A
+{
+A < struct
+{
+f () :
+
+// { dg-excess-errors "" }