DR 2413 - typename in conversion-function-ids.

	* parser.c (cp_parser_conversion_type_id): Call
	cp_parser_type_specifier_seq with CP_PARSER_FLAGS_TYPENAME_OPTIONAL
	instead of CP_PARSER_FLAGS_NONE.

	* g++.dg/cpp2a/typename17.C: New test.

From-SVN: r274136

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 6427c2dac86d6e8ca7a615ef7d7191c73fc1d526..049863edf8e6433daed679341e83a116eecd0f1f 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,10 @@
+2019-08-05  Marek Polacek  <polacek@redhat.com>
+
+       DR 2413 - typename in conversion-function-ids.
+       * parser.c (cp_parser_conversion_type_id): Call
+       cp_parser_type_specifier_seq with CP_PARSER_FLAGS_TYPENAME_OPTIONAL
+       instead of CP_PARSER_FLAGS_NONE.
+
 2019-08-05  Paolo Carlini  <paolo.carlini@oracle.com>
 
        * cp-tree.h (cp_expr_loc_or_input_loc): New.

diff --git a/gcc/cp/parser.c b/gcc/cp/parser.c
index 86857e7d46821fa209e172d9013b47e4461fca3d..83e6d24a9c14384a906848633dbaab8b396749cd 100644 (file)
--- a/gcc/cp/parser.c
+++ b/gcc/cp/parser.c
@@ -14844,8 +14844,9 @@ cp_parser_conversion_type_id (cp_parser* parser)
   parser->type_definition_forbidden_message
     = G_("types may not be defined in a conversion-type-id");
 
-  /* Parse the type-specifiers.  */
-  cp_parser_type_specifier_seq (parser, CP_PARSER_FLAGS_NONE,
+  /* Parse the type-specifiers.  DR 2413 clarifies that `typename' is
+     optional in conversion-type-id.  */
+  cp_parser_type_specifier_seq (parser, CP_PARSER_FLAGS_TYPENAME_OPTIONAL,
                                /*is_declaration=*/false,
                                /*is_trailing_return=*/false,
                                &type_specifiers);

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index a4af533613a96af485e9a8c731055ed7abeea521..b78e6b1d56e399402a1d60a3442de9828a9f4dad 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2019-08-05  Marek Polacek  <polacek@redhat.com>
+
+       DR 2413 - typename in conversion-function-ids.
+       * g++.dg/cpp2a/typename17.C: New test.
+
 2019-08-05  Martin Sebor  <msebor@redhat.com>
 
        PR middle-end/50476

diff --git a/gcc/testsuite/g++.dg/cpp2a/typename17.C b/gcc/testsuite/g++.dg/cpp2a/typename17.C
new file mode 100644 (file)
index 0000000..bf534f1
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp2a/typename17.C
@@ -0,0 +1,6 @@
+// DR 2413 - typename in conversion-function-ids.
+// { dg-do compile { target c++2a } }
+
+template<class T> struct S {
+  operator T::X();
+};