re PR c++/89585 (GCC 8.3: asm volatile no longer accepted at file scope)

	PR c++/89585
	* parser.c (cp_parser_asm_definition): Just warn instead of error
	on volatile qualifier outside of function body.

	* g++.dg/asm-qual-3.C: Adjust expected diagnostics for toplevel
	asm volatile.

From-SVN: r269483

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index c6e023ff6630bf0703718442ae95b059a6f1be49..5faebe5e007a729a3600889c7cf749f975c2bdb7 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,5 +1,9 @@
 2019-03-08  Jakub Jelinek  <jakub@redhat.com>
 
+       PR c++/89585
+       * parser.c (cp_parser_asm_definition): Just warn instead of error
+       on volatile qualifier outside of function body.
+
        PR c++/89599
        * constexpr.c (potential_constant_expression_1): Reject
        REINTERPRET_CAST_P NOP_EXPRs.

diff --git a/gcc/cp/parser.c b/gcc/cp/parser.c
index 5ac6fc49bdefa4bb79da1ae7f2f2fe2f26f82b91..e6c2036ab33526df3b792e62216c56d9d3dd370d 100644 (file)
--- a/gcc/cp/parser.c
+++ b/gcc/cp/parser.c
@@ -19782,9 +19782,12 @@ cp_parser_asm_definition (cp_parser* parser)
                inform (volatile_loc, "first seen here");
              }
            else
-             volatile_loc = loc;
-           if (!first_loc)
-             first_loc = loc;
+             {
+               if (!parser->in_function_body)
+                 warning_at (loc, 0, "asm qualifier %qT ignored outside of "
+                                     "function body", token->u.value);
+               volatile_loc = loc;
+             }
            cp_lexer_consume_token (parser->lexer);
            continue;
 
@@ -19830,10 +19833,10 @@ cp_parser_asm_definition (cp_parser* parser)
   bool inline_p = (inline_loc != UNKNOWN_LOCATION);
   bool goto_p = (goto_loc != UNKNOWN_LOCATION);
 
-  if (!parser->in_function_body && (volatile_p || inline_p || goto_p))
+  if (!parser->in_function_body && (inline_p || goto_p))
     {
       error_at (first_loc, "asm qualifier outside of function body");
-      volatile_p = inline_p = goto_p = false;
+      inline_p = goto_p = false;
     }
 
   /* Look for the opening `('.  */

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 5db4e375b277df6522d9d2c8801e70e1f5d26445..4010924cd5adcebf8935a2de32cc2b88ffd0f77d 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,9 @@
 2019-03-08  Jakub Jelinek  <jakub@redhat.com>
 
+       PR c++/89585
+       * g++.dg/asm-qual-3.C: Adjust expected diagnostics for toplevel
+       asm volatile.
+
        PR c++/89599
        * g++.dg/ubsan/vptr-4.C: Adjust expected diagnostics.
        * g++.dg/parse/array-size2.C: Likewise.

diff --git a/gcc/testsuite/g++.dg/asm-qual-3.C b/gcc/testsuite/g++.dg/asm-qual-3.C
index 0f8de369462687d017477ad30920dab76b0f3a8a..0bf60697ea5ca378015074d7840c8e8969f6057f 100644 (file)
--- a/gcc/testsuite/g++.dg/asm-qual-3.C
+++ b/gcc/testsuite/g++.dg/asm-qual-3.C
@@ -3,7 +3,7 @@
 // { dg-options "-std=gnu++98" }
 
 asm const ("");    // { dg-error {'const' is not an asm qualifier} }
-asm volatile (""); // { dg-error {asm qualifier outside of function body} }
+asm volatile (""); // { dg-warning {asm qualifier 'volatile' ignored outside of function body} }
 asm restrict (""); // { dg-error {expected '\(' before 'restrict'} }
 asm inline ("");   // { dg-error {asm qualifier outside of function body} }
 asm goto ("");     // { dg-error {asm qualifier outside of function body} }