parser.c (cp_parser_simple_declaration): Diagnose function declaration among more...

	* parser.c (cp_parser_simple_declaration): Diagnose function
	declaration among more than one init-declarators with auto
	specifier.

	* g++.dg/cpp1y/auto-fn34.C: New test.

From-SVN: r244071

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 16294204b6d776a0b6285bf2b17573129d908f54..1fe0c37bfced00edb96d18849f5377c405b76775 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,5 +1,9 @@
 2017-01-04  Jakub Jelinek  <jakub@redhat.com>
 
+       * parser.c (cp_parser_simple_declaration): Diagnose function
+       declaration among more than one init-declarators with auto
+       specifier.
+
        PR c++/71182
        * parser.c (cp_lexer_previous_token): Use vec_safe_address in the
        assertion, as lexer->buffer may be NULL.

diff --git a/gcc/cp/parser.c b/gcc/cp/parser.c
index b4b8f13df2cc6629aab95b13e5b112d124035002..40e48f4e88061409a9ce0dec0512855db79dfe36 100644 (file)
--- a/gcc/cp/parser.c
+++ b/gcc/cp/parser.c
@@ -12723,8 +12723,17 @@ cp_parser_simple_declaration (cp_parser* parser,
       break;
 
   tree last_type;
+  bool auto_specifier_p;
+  /* NULL_TREE if both variable and function declaration are allowed,
+     error_mark_node if function declaration are not allowed and
+     a FUNCTION_DECL that should be diagnosed if it is followed by
+     variable declarations.  */
+  tree auto_function_declaration;
 
   last_type = NULL_TREE;
+  auto_specifier_p
+    = decl_specifiers.type && type_uses_auto (decl_specifiers.type);
+  auto_function_declaration = NULL_TREE;
 
   /* Keep going until we hit the `;' at the end of the simple
      declaration.  */
@@ -12770,6 +12779,26 @@ cp_parser_simple_declaration (cp_parser* parser,
       if (cp_parser_error_occurred (parser))
        goto done;
 
+      if (auto_specifier_p && cxx_dialect >= cxx14)
+       {
+         /* If the init-declarator-list contains more than one
+            init-declarator, they shall all form declarations of
+            variables.  */
+         if (auto_function_declaration == NULL_TREE)
+           auto_function_declaration
+             = TREE_CODE (decl) == FUNCTION_DECL ? decl : error_mark_node;
+         else if (TREE_CODE (decl) == FUNCTION_DECL
+                  || auto_function_declaration != error_mark_node)
+           {
+             error_at (decl_specifiers.locations[ds_type_spec],
+                       "non-variable %qD in declaration with more than one "
+                       "declarator with placeholder type",
+                       TREE_CODE (decl) == FUNCTION_DECL
+                       ? decl : auto_function_declaration);
+             auto_function_declaration = error_mark_node;
+           }
+       }
+
       if (auto_result)
        {
          if (last_type && last_type != error_mark_node

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 53ba248dab91a68192ce855bc20b05e0e8080b83..a5572645e922da7a60d2477303c1ad3050f071af 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,7 @@
 2017-01-04  Jakub Jelinek  <jakub@redhat.com>
 
+       * g++.dg/cpp1y/auto-fn34.C: New test.
+
        PR c++/71182
        * g++.dg/cpp0x/pr71182.C: New test.
 

diff --git a/gcc/testsuite/g++.dg/cpp1y/auto-fn34.C b/gcc/testsuite/g++.dg/cpp1y/auto-fn34.C
new file mode 100644 (file)
index 0000000..3b48f8d
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp1y/auto-fn34.C
@@ -0,0 +1,12 @@
+// { dg-do compile { target c++14 } }
+
+auto f1 ();
+auto a = 5, f2 ();             // { dg-error "in declaration with more than one declarator" }
+auto f3 (), b = 6;             // { dg-error "in declaration with more than one declarator" }
+auto f4 (), f5 (), f6 ();      // { dg-error "in declaration with more than one declarator" }
+auto f1 () { return 3; }
+auto f2 () { return 4; }
+auto f3 () { return 5; }
+auto f4 () { return 6; }
+auto f5 () { return 7; }
+auto f6 () { return 8; }