]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
openmp: Actually ignore pragma_stmt pragmas for which c_parser_pragma returns false
authorTobias Burnus <tobias@codesourcery.com>
Wed, 18 Aug 2021 09:09:45 +0000 (11:09 +0200)
committerTobias Burnus <tobias@codesourcery.com>
Wed, 18 Aug 2021 09:09:45 +0000 (11:09 +0200)
Unlike the C++ FE, the C FE ignored pragmas (as if they weren't there) in
pragma_stmt contexts if c*_parser_pragma returns false only when after labels,
not inside of substatements of selection or loop statements.
After making just that change, several gomp/goacc testcases started failing,
because extra diagnostics has been emitted (in C, in C++ it was emitted
already before).  Say
void
foo (int x)
{
  if (x)
    #pragma omp barrier
}
used to in C emit just an error that the pragma is not allowed in such
contexts, but in C++ emitted both that and a parsing error that
  if (x)
}
is invalid.  So, the rest of this patch is mostly about returning true
after we report that that certain pragma is not allowed in pragma_stmt
contexts, because for error-recovery it seems better to treat the
pragma in that case as something that is the substatement of such if etc.
c*_parser_pragma return value is only ever used for pragma_stmt context,
in which false means act as if the pragma isn't there (e.g. has been handled
already by preprocessor etc.), and true which means it was there.

2021-08-18  Jakub Jelinek  <jakub@redhat.com>

gcc/c/
* c-parser.c (c_parser_statement_after_labels): Add restart label
near the start of the function.  If c_parser_pragma returns false,
goto restart.
(c_parser_pragma): For PRAGMA_OMP_CANCELLATION_POINT return what
c_parser_omp_cancellation_point returned.  For PRAGMA_OMP_DECLARE
return what c_parser_omp_declare returned.  Return true instead of
false after emitting errors that the directive is not allowed in
pragma_stmt context.
(c_parser_omp_ordered): Return true instead of
false after emitting errors that the directive is not allowed in
pragma_stmt context.
(c_parser_omp_target_update): Likewise.
(c_parser_omp_target_enter_data, c_parser_omp_target_exit_data):
Change return type from tree to bool, return false if the
directive should be ignored in pragma_stmt contexts.
(c_parser_omp_target): Adjust callers of c_parser_omp_target_*_data,
return their result directly.
(c_parser_omp_cancellation_point): Change return type from void to
bool, return false if the directive should be ignored in pragma_stmt
contexts.
(c_parser_omp_declare): Likewise.
gcc/cp/
* parser.c (cp_parser_omp_ordered): Return true instead of
false after emitting errors that the directive is not allowed in
pragma_stmt context.
(cp_parser_omp_target_update): Likewise.
(cp_parser_omp_cancellation_point): Change return type from void to
bool, return false if the directive should be ignored in pragma_stmt
contexts.
(cp_parser_omp_target_enter_data, cp_parser_omp_target_exit_data):
Change return type from tree to bool, return false if the
directive should be ignored in pragma_stmt contexts.
(cp_parser_omp_target): Adjust callers of cp_parser_omp_target_*_data,
return their result directly.
(cp_parser_pragma): For PRAGMA_OMP_CANCELLATION_POINT return what
cp_parser_omp_cancellation_point returned.  Return true instead of
false after emitting errors that the directive is not allowed in
pragma_stmt context.
gcc/testsuite/
* c-c++-common/gomp/pr63326.c: Don't expect extra "before" errors
in C++.
* g++.dg/gomp/attrs-7.C: Don't expect one extra error.
* g++.dg/gomp/barrier-2.C: Likewise.
* gcc.dg/gomp/declare-simd-5.c: Likewise.
* gcc.dg/gomp/barrier-2.c: Likewise.
* gcc.dg/gomp/declare-variant-2.c: Likewise.

(cherry picked from commit 1bf976a5de69ecd9b1e10eb7515357b98e78faf7)

gcc/c/ChangeLog.omp
gcc/c/c-parser.c
gcc/cp/ChangeLog.omp
gcc/cp/parser.c
gcc/testsuite/ChangeLog.omp
gcc/testsuite/c-c++-common/gomp/pr63326.c
gcc/testsuite/g++.dg/gomp/attrs-7.C
gcc/testsuite/g++.dg/gomp/barrier-2.C
gcc/testsuite/gcc.dg/gomp/barrier-2.c
gcc/testsuite/gcc.dg/gomp/declare-simd-5.c
gcc/testsuite/gcc.dg/gomp/declare-variant-2.c

index 3b6bd7bdfc2684854cd1bc39101be97f3b9ab021..3b1b08698498f2fca6f4ae14264ca8049b46c254 100644 (file)
@@ -1,3 +1,30 @@
+2021-08-18  Tobias Burnus  <tobias@codesourcery.com>
+
+       Backported from master:
+       2021-08-18  Jakub Jelinek  <jakub@redhat.com>
+
+       * c-parser.c (c_parser_statement_after_labels): Add restart label
+       near the start of the function.  If c_parser_pragma returns false,
+       goto restart.
+       (c_parser_pragma): For PRAGMA_OMP_CANCELLATION_POINT return what
+       c_parser_omp_cancellation_point returned.  For PRAGMA_OMP_DECLARE
+       return what c_parser_omp_declare returned.  Return true instead of
+       false after emitting errors that the directive is not allowed in
+       pragma_stmt context.
+       (c_parser_omp_ordered): Return true instead of
+       false after emitting errors that the directive is not allowed in
+       pragma_stmt context.
+       (c_parser_omp_target_update): Likewise.
+       (c_parser_omp_target_enter_data, c_parser_omp_target_exit_data):
+       Change return type from tree to bool, return false if the
+       directive should be ignored in pragma_stmt contexts.
+       (c_parser_omp_target): Adjust callers of c_parser_omp_target_*_data,
+       return their result directly.
+       (c_parser_omp_cancellation_point): Change return type from void to
+       bool, return false if the directive should be ignored in pragma_stmt
+       contexts.
+       (c_parser_omp_declare): Likewise.
+
 2021-08-17  Tobias Burnus  <tobias@codesourcery.com>
 
        Backported from master:
index 249d88eb945fc0247affcd24f83129587535aaa2..a07f5b8cdda1df664f5b955aa1dede290b69b83e 100644 (file)
@@ -1581,10 +1581,10 @@ static void c_parser_omp_cancel (c_parser *);
 enum pragma_context { pragma_external, pragma_struct, pragma_param,
                      pragma_stmt, pragma_compound };
 static bool c_parser_pragma (c_parser *, enum pragma_context, bool *);
-static void c_parser_omp_cancellation_point (c_parser *, enum pragma_context);
+static bool c_parser_omp_cancellation_point (c_parser *, enum pragma_context);
 static bool c_parser_omp_target (c_parser *, enum pragma_context, bool *);
 static void c_parser_omp_end_declare_target (c_parser *);
-static void c_parser_omp_declare (c_parser *, enum pragma_context);
+static bool c_parser_omp_declare (c_parser *, enum pragma_context);
 static void c_parser_omp_requires (c_parser *);
 static bool c_parser_omp_ordered (c_parser *, enum pragma_context, bool *);
 static void c_parser_oacc_routine (c_parser *, enum pragma_context);
@@ -6102,6 +6102,7 @@ c_parser_statement_after_labels (c_parser *parser, bool *if_p,
   if (c_parser_peek_token (parser)->type != CPP_OPEN_BRACE)
     add_debug_begin_stmt (loc);
 
+ restart:
   switch (c_parser_peek_token (parser)->type)
     {
     case CPP_OPEN_BRACE:
@@ -6248,7 +6249,8 @@ c_parser_statement_after_labels (c_parser *parser, bool *if_p,
       c_parser_consume_token (parser);
       break;
     case CPP_PRAGMA:
-      c_parser_pragma (parser, pragma_stmt, if_p);
+      if (!c_parser_pragma (parser, pragma_stmt, if_p))
+        goto restart;
       break;
     default:
     expr_stmt:
@@ -12310,7 +12312,7 @@ c_parser_pragma (c_parser *parser, enum pragma_context context, bool *if_p)
                        "%<#pragma %s%> may only be used in compound "
                        "statements", construct);
              c_parser_skip_until_found (parser, CPP_PRAGMA_EOL, NULL);
-             return false;
+             return true;
            }
          goto bad_stmt;
        }
@@ -12401,8 +12403,7 @@ c_parser_pragma (c_parser *parser, enum pragma_context context, bool *if_p)
       return false;
 
     case PRAGMA_OMP_CANCELLATION_POINT:
-      c_parser_omp_cancellation_point (parser, context);
-      return false;
+      return c_parser_omp_cancellation_point (parser, context);
 
     case PRAGMA_OMP_THREADPRIVATE:
       c_parser_omp_threadprivate (parser);
@@ -12430,8 +12431,7 @@ c_parser_pragma (c_parser *parser, enum pragma_context context, bool *if_p)
       return false;
 
     case PRAGMA_OMP_DECLARE:
-      c_parser_omp_declare (parser, context);
-      return false;
+      return c_parser_omp_declare (parser, context);
 
     case PRAGMA_OMP_REQUIRES:
       if (context != pragma_external)
@@ -12469,7 +12469,7 @@ c_parser_pragma (c_parser *parser, enum pragma_context context, bool *if_p)
        else
          c_parser_do_statement (parser, ivdep, unroll);
       }
-      return false;
+      return true;
 
     case PRAGMA_UNROLL:
       {
@@ -12493,7 +12493,7 @@ c_parser_pragma (c_parser *parser, enum pragma_context context, bool *if_p)
        else
          c_parser_do_statement (parser, ivdep, unroll);
       }
-      return false;
+      return true;
 
     case PRAGMA_GCC_PCH_PREPROCESS:
       c_parser_error (parser, "%<#pragma GCC pch_preprocess%> must be first");
@@ -19148,7 +19148,7 @@ c_parser_omp_ordered (c_parser *parser, enum pragma_context context,
                        "%<#pragma omp ordered%> with %<depend%> clause may "
                        "only be used in compound statements");
              c_parser_skip_to_pragma_eol (parser, false);
-             return false;
+             return true;
            }
 
          tree clauses
@@ -19678,7 +19678,7 @@ c_parser_omp_cancel (c_parser *parser)
        | (OMP_CLAUSE_MASK_1 << PRAGMA_OMP_CLAUSE_SECTIONS)     \
        | (OMP_CLAUSE_MASK_1 << PRAGMA_OMP_CLAUSE_TASKGROUP))
 
-static void
+static bool
 c_parser_omp_cancellation_point (c_parser *parser, enum pragma_context context)
 {
   location_t loc = c_parser_peek_token (parser)->location;
@@ -19699,7 +19699,7 @@ c_parser_omp_cancellation_point (c_parser *parser, enum pragma_context context)
     {
       c_parser_error (parser, "expected %<point%>");
       c_parser_skip_to_pragma_eol (parser);
-      return;
+      return false;
     }
 
   if (context != pragma_compound)
@@ -19711,7 +19711,7 @@ c_parser_omp_cancellation_point (c_parser *parser, enum pragma_context context)
       else
        c_parser_error (parser, "expected declaration specifiers");
       c_parser_skip_to_pragma_eol (parser, false);
-      return;
+      return true;
     }
 
   clauses
@@ -19719,6 +19719,7 @@ c_parser_omp_cancellation_point (c_parser *parser, enum pragma_context context)
                                "#pragma omp cancellation point");
 
   c_finish_omp_cancellation_point (loc, clauses);
+  return true;
 }
 
 /* OpenMP 4.0:
@@ -20008,7 +20009,7 @@ c_parser_omp_target_update (location_t loc, c_parser *parser,
       error_at (loc, "%<#pragma %s%> may only be used in compound statements",
                "omp target update");
       c_parser_skip_to_pragma_eol (parser, false);
-      return false;
+      return true;
     }
 
   tree clauses
@@ -20041,7 +20042,7 @@ c_parser_omp_target_update (location_t loc, c_parser *parser,
        | (OMP_CLAUSE_MASK_1 << PRAGMA_OMP_CLAUSE_DEPEND)       \
        | (OMP_CLAUSE_MASK_1 << PRAGMA_OMP_CLAUSE_NOWAIT))
 
-static tree
+static bool
 c_parser_omp_target_enter_data (location_t loc, c_parser *parser,
                                enum pragma_context context)
 {
@@ -20059,7 +20060,7 @@ c_parser_omp_target_enter_data (location_t loc, c_parser *parser,
     {
       c_parser_error (parser, "expected %<data%>");
       c_parser_skip_to_pragma_eol (parser);
-      return NULL_TREE;
+      return false;
     }
 
   if (context == pragma_stmt)
@@ -20067,7 +20068,7 @@ c_parser_omp_target_enter_data (location_t loc, c_parser *parser,
       error_at (loc, "%<#pragma %s%> may only be used in compound statements",
                "omp target enter data");
       c_parser_skip_to_pragma_eol (parser, false);
-      return NULL_TREE;
+      return true;
     }
 
   if (flag_openmp)
@@ -20110,7 +20111,7 @@ c_parser_omp_target_enter_data (location_t loc, c_parser *parser,
        error_at (loc,
                  "%<#pragma omp target enter data%> must contain at least "
                  "one %<map%> clause");
-      return NULL_TREE;
+      return true;
     }
 
   tree stmt = make_node (OMP_TARGET_ENTER_DATA);
@@ -20118,7 +20119,7 @@ c_parser_omp_target_enter_data (location_t loc, c_parser *parser,
   OMP_TARGET_ENTER_DATA_CLAUSES (stmt) = clauses;
   SET_EXPR_LOCATION (stmt, loc);
   add_stmt (stmt);
-  return stmt;
+  return true;
 }
 
 /* OpenMP 4.5:
@@ -20131,7 +20132,7 @@ c_parser_omp_target_enter_data (location_t loc, c_parser *parser,
        | (OMP_CLAUSE_MASK_1 << PRAGMA_OMP_CLAUSE_DEPEND)       \
        | (OMP_CLAUSE_MASK_1 << PRAGMA_OMP_CLAUSE_NOWAIT))
 
-static tree
+static bool
 c_parser_omp_target_exit_data (location_t loc, c_parser *parser,
                               enum pragma_context context)
 {
@@ -20149,7 +20150,7 @@ c_parser_omp_target_exit_data (location_t loc, c_parser *parser,
     {
       c_parser_error (parser, "expected %<data%>");
       c_parser_skip_to_pragma_eol (parser);
-      return NULL_TREE;
+      return false;
     }
 
   if (context == pragma_stmt)
@@ -20157,7 +20158,7 @@ c_parser_omp_target_exit_data (location_t loc, c_parser *parser,
       error_at (loc, "%<#pragma %s%> may only be used in compound statements",
                "omp target exit data");
       c_parser_skip_to_pragma_eol (parser, false);
-      return NULL_TREE;
+      return true;
     }
 
   if (flag_openmp)
@@ -20202,7 +20203,7 @@ c_parser_omp_target_exit_data (location_t loc, c_parser *parser,
        error_at (loc,
                  "%<#pragma omp target exit data%> must contain at least one "
                  "%<map%> clause");
-      return NULL_TREE;
+      return true;
     }
 
   tree stmt = make_node (OMP_TARGET_EXIT_DATA);
@@ -20210,7 +20211,7 @@ c_parser_omp_target_exit_data (location_t loc, c_parser *parser,
   OMP_TARGET_EXIT_DATA_CLAUSES (stmt) = clauses;
   SET_EXPR_LOCATION (stmt, loc);
   add_stmt (stmt);
-  return stmt;
+  return true;
 }
 
 /* OpenMP 4.0:
@@ -20367,14 +20368,12 @@ c_parser_omp_target (c_parser *parser, enum pragma_context context, bool *if_p)
       else if (strcmp (p, "enter") == 0)
        {
          c_parser_consume_token (parser);
-         c_parser_omp_target_enter_data (loc, parser, context);
-         return false;
+         return c_parser_omp_target_enter_data (loc, parser, context);
        }
       else if (strcmp (p, "exit") == 0)
        {
          c_parser_consume_token (parser);
-         c_parser_omp_target_exit_data (loc, parser, context);
-         return false;
+         return c_parser_omp_target_exit_data (loc, parser, context);
        }
       else if (strcmp (p, "update") == 0)
        {
@@ -21620,7 +21619,7 @@ c_parser_omp_declare_reduction (c_parser *parser, enum pragma_context context)
    OpenMP 5.0
    #pragma omp declare variant (identifier) match (context-selector)  */
 
-static void
+static bool
 c_parser_omp_declare (c_parser *parser, enum pragma_context context)
 {
   c_parser_consume_pragma (parser);
@@ -21632,37 +21631,38 @@ c_parser_omp_declare (c_parser *parser, enum pragma_context context)
          /* c_parser_consume_token (parser); done in
             c_parser_omp_declare_simd.  */
          c_parser_omp_declare_simd (parser, context);
-         return;
+         return true;
        }
       if (strcmp (p, "reduction") == 0)
        {
          c_parser_consume_token (parser);
          c_parser_omp_declare_reduction (parser, context);
-         return;
+         return false;
        }
       if (!flag_openmp)  /* flag_openmp_simd  */
        {
          c_parser_skip_to_pragma_eol (parser, false);
-         return;
+         return false;
        }
       if (strcmp (p, "target") == 0)
        {
          c_parser_consume_token (parser);
          c_parser_omp_declare_target (parser);
-         return;
+         return false;
        }
       if (strcmp (p, "variant") == 0)
        {
          /* c_parser_consume_token (parser); done in
             c_parser_omp_declare_simd.  */
          c_parser_omp_declare_simd (parser, context);
-         return;
+         return true;
        }
     }
 
   c_parser_error (parser, "expected %<simd%>, %<reduction%>, "
                          "%<target%> or %<variant%>");
   c_parser_skip_to_pragma_eol (parser);
+  return false;
 }
 
 /* OpenMP 5.0
index 8a367bfc84ed44c179a05a847f642a0668b113e2..07fee66a31e11a41b99ee2bbb620bebd91ed4df4 100644 (file)
@@ -1,3 +1,25 @@
+2021-08-18  Tobias Burnus  <tobias@codesourcery.com>
+
+       Backported from master:
+       2021-08-18  Jakub Jelinek  <jakub@redhat.com>
+
+       * parser.c (cp_parser_omp_ordered): Return true instead of
+       false after emitting errors that the directive is not allowed in
+       pragma_stmt context.
+       (cp_parser_omp_target_update): Likewise.
+       (cp_parser_omp_cancellation_point): Change return type from void to
+       bool, return false if the directive should be ignored in pragma_stmt
+       contexts.
+       (cp_parser_omp_target_enter_data, cp_parser_omp_target_exit_data):
+       Change return type from tree to bool, return false if the
+       directive should be ignored in pragma_stmt contexts.
+       (cp_parser_omp_target): Adjust callers of cp_parser_omp_target_*_data,
+       return their result directly.
+       (cp_parser_pragma): For PRAGMA_OMP_CANCELLATION_POINT return what
+       cp_parser_omp_cancellation_point returned.  Return true instead of
+       false after emitting errors that the directive is not allowed in
+       pragma_stmt context.
+
 2021-08-17  Tobias Burnus  <tobias@codesourcery.com>
 
        Backported from master:
index 15f9cc76dddd5e65c28e49abd167691fe6dc142a..1381eb00f09b1006fc3aee23b14ba644b7dc15ee 100644 (file)
@@ -41967,7 +41967,7 @@ cp_parser_omp_ordered (cp_parser *parser, cp_token *pragma_tok,
                        "%<depend%> clause may only be used in compound "
                        "statements");
              cp_parser_skip_to_pragma_eol (parser, pragma_tok);
-             return false;
+             return true;
            }
          tree clauses
            = cp_parser_omp_all_clauses (parser,
@@ -42491,7 +42491,7 @@ cp_parser_omp_cancel (cp_parser *parser, cp_token *pragma_tok)
        | (OMP_CLAUSE_MASK_1 << PRAGMA_OMP_CLAUSE_SECTIONS)     \
        | (OMP_CLAUSE_MASK_1 << PRAGMA_OMP_CLAUSE_TASKGROUP))
 
-static void
+static bool
 cp_parser_omp_cancellation_point (cp_parser *parser, cp_token *pragma_tok,
                                  enum pragma_context context)
 {
@@ -42513,7 +42513,7 @@ cp_parser_omp_cancellation_point (cp_parser *parser, cp_token *pragma_tok,
     {
       cp_parser_error (parser, "expected %<point%>");
       cp_parser_skip_to_pragma_eol (parser, pragma_tok);
-      return;
+      return false;
     }
 
   if (context != pragma_compound)
@@ -42525,7 +42525,7 @@ cp_parser_omp_cancellation_point (cp_parser *parser, cp_token *pragma_tok,
       else
        cp_parser_error (parser, "expected declaration specifiers");
       cp_parser_skip_to_pragma_eol (parser, pragma_tok);
-      return;
+      return true;
     }
 
   clauses = cp_parser_omp_all_clauses (parser,
@@ -42533,6 +42533,7 @@ cp_parser_omp_cancellation_point (cp_parser *parser, cp_token *pragma_tok,
                                       "#pragma omp cancellation point",
                                       pragma_tok);
   finish_omp_cancellation_point (clauses);
+  return true;
 }
 
 /* OpenMP 4.0:
@@ -42832,7 +42833,7 @@ cp_parser_omp_target_data (cp_parser *parser, cp_token *pragma_tok, bool *if_p)
        | (OMP_CLAUSE_MASK_1 << PRAGMA_OMP_CLAUSE_DEPEND)       \
        | (OMP_CLAUSE_MASK_1 << PRAGMA_OMP_CLAUSE_NOWAIT))
 
-static tree
+static bool
 cp_parser_omp_target_enter_data (cp_parser *parser, cp_token *pragma_tok,
                                 enum pragma_context context)
 {
@@ -42852,7 +42853,7 @@ cp_parser_omp_target_enter_data (cp_parser *parser, cp_token *pragma_tok,
     {
       cp_parser_error (parser, "expected %<data%>");
       cp_parser_skip_to_pragma_eol (parser, pragma_tok);
-      return NULL_TREE;
+      return false;
     }
 
   if (context == pragma_stmt)
@@ -42861,7 +42862,7 @@ cp_parser_omp_target_enter_data (cp_parser *parser, cp_token *pragma_tok,
                "%<#pragma %s%> may only be used in compound statements",
                "omp target enter data");
       cp_parser_skip_to_pragma_eol (parser, pragma_tok);
-      return NULL_TREE;
+      return true;
     }
 
   if (flag_openmp)
@@ -42905,14 +42906,15 @@ cp_parser_omp_target_enter_data (cp_parser *parser, cp_token *pragma_tok,
        error_at (pragma_tok->location,
                  "%<#pragma omp target enter data%> must contain at least "
                  "one %<map%> clause");
-      return NULL_TREE;
+      return true;
     }
 
   tree stmt = make_node (OMP_TARGET_ENTER_DATA);
   TREE_TYPE (stmt) = void_type_node;
   OMP_TARGET_ENTER_DATA_CLAUSES (stmt) = clauses;
   SET_EXPR_LOCATION (stmt, pragma_tok->location);
-  return add_stmt (stmt);
+  add_stmt (stmt);
+  return true;
 }
 
 /* OpenMP 4.5:
@@ -42926,7 +42928,7 @@ cp_parser_omp_target_enter_data (cp_parser *parser, cp_token *pragma_tok,
        | (OMP_CLAUSE_MASK_1 << PRAGMA_OMP_CLAUSE_DEPEND)       \
        | (OMP_CLAUSE_MASK_1 << PRAGMA_OMP_CLAUSE_NOWAIT))
 
-static tree
+static bool
 cp_parser_omp_target_exit_data (cp_parser *parser, cp_token *pragma_tok,
                                enum pragma_context context)
 {
@@ -42946,7 +42948,7 @@ cp_parser_omp_target_exit_data (cp_parser *parser, cp_token *pragma_tok,
     {
       cp_parser_error (parser, "expected %<data%>");
       cp_parser_skip_to_pragma_eol (parser, pragma_tok);
-      return NULL_TREE;
+      return false;
     }
 
   if (context == pragma_stmt)
@@ -42955,7 +42957,7 @@ cp_parser_omp_target_exit_data (cp_parser *parser, cp_token *pragma_tok,
                "%<#pragma %s%> may only be used in compound statements",
                "omp target exit data");
       cp_parser_skip_to_pragma_eol (parser, pragma_tok);
-      return NULL_TREE;
+      return true;
     }
 
   if (flag_openmp)
@@ -43001,14 +43003,15 @@ cp_parser_omp_target_exit_data (cp_parser *parser, cp_token *pragma_tok,
        error_at (pragma_tok->location,
                  "%<#pragma omp target exit data%> must contain at least "
                  "one %<map%> clause");
-      return NULL_TREE;
+      return true;
     }
 
   tree stmt = make_node (OMP_TARGET_EXIT_DATA);
   TREE_TYPE (stmt) = void_type_node;
   OMP_TARGET_EXIT_DATA_CLAUSES (stmt) = clauses;
   SET_EXPR_LOCATION (stmt, pragma_tok->location);
-  return add_stmt (stmt);
+  add_stmt (stmt);
+  return true;
 }
 
 /* OpenMP 4.0:
@@ -43032,7 +43035,7 @@ cp_parser_omp_target_update (cp_parser *parser, cp_token *pragma_tok,
                "%<#pragma %s%> may only be used in compound statements",
                "omp target update");
       cp_parser_skip_to_pragma_eol (parser, pragma_tok);
-      return false;
+      return true;
     }
 
   tree clauses
@@ -43044,7 +43047,7 @@ cp_parser_omp_target_update (cp_parser *parser, cp_token *pragma_tok,
       error_at (pragma_tok->location,
                "%<#pragma omp target update%> must contain at least one "
                "%<from%> or %<to%> clauses");
-      return false;
+      return true;
     }
 
   tree stmt = make_node (OMP_TARGET_UPDATE);
@@ -43052,7 +43055,7 @@ cp_parser_omp_target_update (cp_parser *parser, cp_token *pragma_tok,
   OMP_TARGET_UPDATE_CLAUSES (stmt) = clauses;
   SET_EXPR_LOCATION (stmt, pragma_tok->location);
   add_stmt (stmt);
-  return false;
+  return true;
 }
 
 /* OpenMP 4.0:
@@ -43197,14 +43200,12 @@ cp_parser_omp_target (cp_parser *parser, cp_token *pragma_tok,
       else if (strcmp (p, "enter") == 0)
        {
          cp_lexer_consume_token (parser->lexer);
-         cp_parser_omp_target_enter_data (parser, pragma_tok, context);
-         return false;
+         return cp_parser_omp_target_enter_data (parser, pragma_tok, context);
        }
       else if (strcmp (p, "exit") == 0)
        {
          cp_lexer_consume_token (parser->lexer);
-         cp_parser_omp_target_exit_data (parser, pragma_tok, context);
-         return false;
+         return cp_parser_omp_target_exit_data (parser, pragma_tok, context);
        }
       else if (strcmp (p, "update") == 0)
        {
@@ -46221,7 +46222,7 @@ cp_parser_pragma (cp_parser *parser, enum pragma_context context, bool *if_p)
   cp_token *pragma_tok;
   unsigned int id;
   tree stmt;
-  bool ret;
+  bool ret = false;
 
   pragma_tok = cp_lexer_consume_token (parser->lexer);
   gcc_assert (pragma_tok->type == CPP_PRAGMA);
@@ -46246,6 +46247,7 @@ cp_parser_pragma (cp_parser *parser, enum pragma_context context, bool *if_p)
        case pragma_stmt:
          error_at (pragma_tok->location, "%<#pragma %s%> may only be "
                    "used in compound statements", "omp barrier");
+         ret = true;
          break;
        default:
          goto bad_stmt;
@@ -46261,6 +46263,7 @@ cp_parser_pragma (cp_parser *parser, enum pragma_context context, bool *if_p)
        case pragma_stmt:
          error_at (pragma_tok->location, "%<#pragma %s%> may only be "
                    "used in compound statements", "omp depobj");
+         ret = true;
          break;
        default:
          goto bad_stmt;
@@ -46276,6 +46279,7 @@ cp_parser_pragma (cp_parser *parser, enum pragma_context context, bool *if_p)
        case pragma_stmt:
          error_at (pragma_tok->location, "%<#pragma %s%> may only be "
                    "used in compound statements", "omp flush");
+         ret = true;
          break;
        default:
          goto bad_stmt;
@@ -46292,6 +46296,7 @@ cp_parser_pragma (cp_parser *parser, enum pragma_context context, bool *if_p)
          error_at (pragma_tok->location,
                    "%<#pragma %s%> may only be used in compound statements",
                    "omp taskwait");
+         ret = true;
          break;
        default:
          goto bad_stmt;
@@ -46308,6 +46313,7 @@ cp_parser_pragma (cp_parser *parser, enum pragma_context context, bool *if_p)
          error_at (pragma_tok->location,
                    "%<#pragma %s%> may only be used in compound statements",
                    "omp taskyield");
+         ret = true;
          break;
        default:
          goto bad_stmt;
@@ -46324,6 +46330,7 @@ cp_parser_pragma (cp_parser *parser, enum pragma_context context, bool *if_p)
          error_at (pragma_tok->location,
                    "%<#pragma %s%> may only be used in compound statements",
                    "omp cancel");
+         ret = true;
          break;
        default:
          goto bad_stmt;
@@ -46331,8 +46338,7 @@ cp_parser_pragma (cp_parser *parser, enum pragma_context context, bool *if_p)
       break;
 
     case PRAGMA_OMP_CANCELLATION_POINT:
-      cp_parser_omp_cancellation_point (parser, pragma_tok, context);
-      return false;
+      return cp_parser_omp_cancellation_point (parser, pragma_tok, context);
 
     case PRAGMA_OMP_THREADPRIVATE:
       cp_parser_omp_threadprivate (parser, pragma_tok);
@@ -46351,6 +46357,7 @@ cp_parser_pragma (cp_parser *parser, enum pragma_context context, bool *if_p)
          error_at (pragma_tok->location,
                    "%<#pragma %s%> may only be used in compound statements",
                    "acc enter data");
+         ret = true;
          break;
        }
       else if (context != pragma_compound)
@@ -46364,6 +46371,7 @@ cp_parser_pragma (cp_parser *parser, enum pragma_context context, bool *if_p)
          error_at (pragma_tok->location,
                    "%<#pragma %s%> may only be used in compound statements",
                    "acc exit data");
+         ret = true;
          break;
        }
       else if (context != pragma_compound)
@@ -46376,6 +46384,7 @@ cp_parser_pragma (cp_parser *parser, enum pragma_context context, bool *if_p)
        {
          error_at (pragma_tok->location,
                    "%<#pragma acc routine%> must be at file scope");
+         ret = true;
          break;
        }
       cp_parser_oacc_routine (parser, pragma_tok, context);
@@ -46387,6 +46396,7 @@ cp_parser_pragma (cp_parser *parser, enum pragma_context context, bool *if_p)
          error_at (pragma_tok->location,
                    "%<#pragma %s%> may only be used in compound statements",
                    "acc update");
+         ret = true;
          break;
        }
       else if (context != pragma_compound)
@@ -46400,6 +46410,7 @@ cp_parser_pragma (cp_parser *parser, enum pragma_context context, bool *if_p)
          error_at (pragma_tok->location,
                    "%<#pragma %s%> may only be used in compound statements",
                    "acc wait");
+         ret = true;
          break;
        }
       else if (context != pragma_compound)
@@ -46446,6 +46457,7 @@ cp_parser_pragma (cp_parser *parser, enum pragma_context context, bool *if_p)
          error_at (pragma_tok->location,
                    "%<#pragma omp requires%> may only be used at file or "
                    "namespace scope");
+         ret = true;
          break;
        }
       return cp_parser_omp_requires (parser, pragma_tok);
@@ -46558,7 +46570,7 @@ cp_parser_pragma (cp_parser *parser, enum pragma_context context, bool *if_p)
     }
 
   cp_parser_skip_to_pragma_eol (parser, pragma_tok);
-  return false;
+  return ret;
 }
 
 /* The interface the pragma parsers have to the lexer.  */
index 376a2a4c9da3030117621c9eabc7050a6b34132f..57574d56fdce1676edc3028e452fc43c99fa8d13 100644 (file)
@@ -1,3 +1,16 @@
+2021-08-18  Tobias Burnus  <tobias@codesourcery.com>
+
+       Backported from master:
+       2021-08-18  Jakub Jelinek  <jakub@redhat.com>
+
+       * c-c++-common/gomp/pr63326.c: Don't expect extra "before" errors
+       in C++.
+       * g++.dg/gomp/attrs-7.C: Don't expect one extra error.
+       * g++.dg/gomp/barrier-2.C: Likewise.
+       * gcc.dg/gomp/declare-simd-5.c: Likewise.
+       * gcc.dg/gomp/barrier-2.c: Likewise.
+       * gcc.dg/gomp/declare-variant-2.c: Likewise.
+
 2021-08-17  Tobias Burnus  <tobias@codesourcery.com>
 
        Backported from master:
index 3e627237c4317ec2cfc017279520db34b720a26f..48ab4f64a41c6f2e1e1f9a35a1ff32e9284d79c5 100644 (file)
@@ -156,64 +156,64 @@ f4 (int x)
   {
     do
       #pragma omp barrier                      /* { dg-error "may only be used in compound statements" } */
-    while (0); /* { dg-error "before" "" { target c++ } } */
-  } /* { dg-error "before" "" { target c++ } } */
+    while (0);
+  }
   {
     do
       #pragma omp flush                                /* { dg-error "may only be used in compound statements" } */
-    while (0); /* { dg-error "before" "" { target c++ } } */
-  } /* { dg-error "before" "" { target c++ } } */
+    while (0);
+  }
   {
     do
       #pragma omp taskwait                     /* { dg-error "may only be used in compound statements" } */
-    while (0); /* { dg-error "before" "" { target c++ } } */
-  } /* { dg-error "before" "" { target c++ } } */
+    while (0);
+  }
   {
     do
       #pragma omp taskyield                    /* { dg-error "may only be used in compound statements" } */
-    while (0); /* { dg-error "before" "" { target c++ } } */
-  } /* { dg-error "before" "" { target c++ } } */
+    while (0);
+  }
   #pragma omp parallel
   {
     do
       #pragma omp cancel parallel              /* { dg-error "may only be used in compound statements" } */
-    while (0); /* { dg-error "before" "" { target c++ } } */
-  } /* { dg-error "before" "" { target c++ } } */
+    while (0);
+  }
   #pragma omp parallel
   {
     do
       #pragma omp cancellation point parallel  /* { dg-error "may only be used in compound statements" } */
-    while (0); /* { dg-error "before" "" { target c++ } } */
-  } /* { dg-error "before" "" { target c++ } } */
+    while (0);
+  }
   #pragma omp for ordered(1)
   for (i = 0; i < 16; i++)
     {
       {
        do
          #pragma omp ordered depend(source)    /* { dg-error "may only be used in compound statements" } */
-       while (0); /* { dg-error "before" "" { target c++ } } */
-      } /* { dg-error "before" "" { target c++ } } */
+       while (0);
+      }
       {
        do
          #pragma omp ordered depend(sink: i-1) /* { dg-error "may only be used in compound statements" } */
-       while (0); /* { dg-error "before" "" { target c++ } } */
-      } /* { dg-error "before" "" { target c++ } } */
+       while (0);
+      }
     }
   {
     do
       #pragma omp target enter data map(to:i)  /* { dg-error "may only be used in compound statements" } */
-    while (0); /* { dg-error "before" "" { target c++ } } */
-  } /* { dg-error "before" "" { target c++ } } */
+    while (0);
+  }
   {
     do
       #pragma omp target update to(i)          /* { dg-error "may only be used in compound statements" } */
-    while (0); /* { dg-error "before" "" { target c++ } } */
-  } /* { dg-error "before" "" { target c++ } } */
+    while (0);
+  }
   {
     do
       #pragma omp target exit data map(from:i) /* { dg-error "may only be used in compound statements" } */
-    while (0); /* { dg-error "before" "" { target c++ } } */
-  } /* { dg-error "before" "" { target c++ } } */
+    while (0);
+  }
 }
 
 void
index 598c32ae03fc34f73788f18febd7606bf5b63984..cf84281465770e0da78242c470220bbcdc64374b 100644 (file)
@@ -11,8 +11,7 @@ foo ()
                                                                        // { dg-error "#pragma omp section" "" { target *-*-* } .-1 }
                                                                        // { dg-error "#pragma omp flush" "" { target *-*-* } .-2 }
     [[omp::sequence (directive (flush), omp::directive (section))]];   // { dg-error "must be the only specified attribute on a statement" }
-                                                                       // { dg-error "#pragma omp section" "" { target *-*-* } .-1 }
-                                                                       // { dg-error "#pragma omp flush" "" { target *-*-* } .-2 }
+                                                                       // { dg-error "#pragma omp flush" "" { target *-*-* } .-1 }
     [[gnu::cold, omp::directive (section)]];                           // { dg-error "must be the only specified attribute on a statement" }
                                                                        // { dg-error "#pragma omp section" "" { target *-*-* } .-1 }
     [[omp::directive (section)]] [[gnu::cold]];                                // { dg-error "must be the only specified attribute on a statement" }
index 1d929d26dde4118e9d03368a9a8bb8a2f37fd099..6f3fded924ebf443b473d56e6966fc3fb1494866 100644 (file)
@@ -9,4 +9,4 @@ void f3(bool p)
 {
   if (p)
     #pragma omp barrier                // { dg-error "compound statements" }
-}                              // { dg-error "" }
+}
index c0d62f572bba02f18c86547bcc028c515dc3ac0d..ef605a090c6114e30917da32825aefb52d429d8a 100644 (file)
@@ -16,8 +16,7 @@ void f1(void)
 
 void f2(void)
 {
-  label:       /* { dg-error "label at end of compound statement" } */
-    /* { dg-warning "defined but not used" "" { target *-*-* } .-1 } */
+  label:                       /* { dg-warning "defined but not used" } */
     #pragma omp barrier                /* { dg-error "may only be used in compound statements" } */
 }
 
index b9a4161c0c957ca9e8161b0a2c9910ed74097252..93978208002533833aad39a4d91ec7e532180e91 100644 (file)
@@ -15,7 +15,7 @@ f1 (int x)
 lab:
     #pragma omp declare simd simdlen (8) aligned (b : 8 * sizeof (int))
     extern int f5 (int a, int *b, int c);      /* { dg-error "must be followed by function declaration or definition" } */
-    x++;                                       /* { dg-error "a label can only be part of a statement and a declaration is not a statement" "" { target *-*-* } .-1 } */
+    x++;
   }
   return x;
 }
index 39c2c1d40ee11d086f94971d8350a00d93aeb06a..3da5dc7bd0c749e12d762bde975327e763078a73 100644 (file)
@@ -17,7 +17,7 @@ f1 (int x)
 lab:
     #pragma omp declare variant (fn0) match (user={condition(0)})
     extern int f5 (int a, int *b, int c);      /* { dg-error "must be followed by function declaration or definition" } */
-    x++;                                       /* { dg-error "a label can only be part of a statement and a declaration is not a statement" "" { target *-*-* } .-1 } */
+    x++;
   }
   return x;
 }