re PR c++/84588 (internal compiler error: Segmentation fault (contains_struct_check()))

/cp
2018-05-08  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/84588
	* parser.c (cp_parser_parameter_declaration_list): When the
	entire parameter-declaration-list is erroneous maybe call
	abort_fully_implicit_template.

/testsuite
2018-05-08  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/84588
	* g++.dg/cpp1y/pr84588.C: New.

From-SVN: r260050

gcc/cp/ChangeLog

+2018-05-08  Paolo Carlini  <paolo.carlini@oracle.com>
+
+	PR c++/84588
+	* parser.c (cp_parser_parameter_declaration_list): When the
+	entire parameter-declaration-list is erroneous maybe call
+	abort_fully_implicit_template.
+
 2018-05-08  Marek Polacek  <polacek@redhat.com>
 
 	PR c++/85695

gcc/cp/parser.c

@@ -21344,6 +21344,8 @@ cp_parser_parameter_declaration_list (cp_parser* parser, bool *is_error)
 	{
 	  *is_error = true;
 	  parameters = error_mark_node;
+	  if (parser->fully_implicit_function_template_p)
+	    abort_fully_implicit_template (parser);
 	  break;
 	}
 

gcc/testsuite/ChangeLog

+2018-05-08  Paolo Carlini  <paolo.carlini@oracle.com>
+
+	PR c++/84588
+	* g++.dg/cpp1y/pr84588.C: New.
+
 2018-05-08  Marek Polacek  <polacek@redhat.com>
 
 	PR c++/85695

gcc/testsuite/g++.dg/cpp1y/pr84588.C

+// { dg-do compile { target c++14 } }
+// { dg-options "-w" }
+
+struct a {
+  void b() {}
+  void c(auto = [] {
+    if (a a(int auto){})  // { dg-error "two or more data types" }
+      ;
+  }) {}
+};