From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1534) id 13667385841A; Wed, 7 Sep 2022 11:01:51 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 13667385841A DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1662548511; bh=FV7sB/bO/cBPUZ9d3LGrBwtenk1aXQmhCq2f55PrAhA=; h=From:To:Subject:Date:From; b=oxqev2mElIjpDEdQlmEpvN4OD/If39ugADEdnjQam1J9C/u4fNEUOqY70FPV3cdaL y6LQWbBp8ZvYHa9HYZCRdvwOesOQ4VOnZQnA+mcuvJbzhogG1NxTBEf7ZDXqKodm4m 4CAFd0TviuhYFPFQkKFDoFjPcVHmhMTzAoeqaM20= Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit From: Tobias Burnus To: gcc-cvs@gcc.gnu.org Subject: [gcc/devel/omp/gcc-12] openmp: Fix ICE when splitting invalid depend(source)/depend(sink:vec) X-Act-Checkin: gcc X-Git-Author: Jakub Jelinek X-Git-Refname: refs/heads/devel/omp/gcc-12 X-Git-Oldrev: bc81271a9f7b03ba3c92672bd3df82974a4c7b60 X-Git-Newrev: 2148208cd9f85996dd00abebf33fa53396b099e6 Message-Id: <20220907110151.13667385841A@sourceware.org> Date: Wed, 7 Sep 2022 11:01:51 +0000 (GMT) List-Id: https://gcc.gnu.org/g:2148208cd9f85996dd00abebf33fa53396b099e6 commit 2148208cd9f85996dd00abebf33fa53396b099e6 Author: Jakub Jelinek Date: Tue Sep 6 10:16:35 2022 +0200 openmp: Fix ICE when splitting invalid depend(source)/depend(sink:vec) As we now create OMP_CLAUSE_DOACROSS rather than OMP_CLAUSE_DEPEND when depend is used with source/sink modifiers, c_omp_split_clauses can see OMP_CLAUSE_DOACROSS clause too before we diagnose it as erroneous. The following patch treats it like OMP_CLAUSE_DEPEND during the splitting but adds an assertion. 2022-09-06 Jakub Jelinek PR c/106836 * c-omp.cc (c_omp_split_clauses): Handle OMP_CLAUSE_DOACROSS. * c-c++-common/gomp/pr106836.c: New test. (cherry picked from commit 1bf8b7adc2de6f2ddaffa3af131b6855ae3e3793) Diff: --- gcc/c-family/ChangeLog.omp | 8 ++++++++ gcc/c-family/c-omp.cc | 6 ++++++ gcc/testsuite/ChangeLog.omp | 8 ++++++++ gcc/testsuite/c-c++-common/gomp/pr106836.c | 9 +++++++++ 4 files changed, 31 insertions(+) diff --git a/gcc/c-family/ChangeLog.omp b/gcc/c-family/ChangeLog.omp index 9bdb0dbf407..548c302225d 100644 --- a/gcc/c-family/ChangeLog.omp +++ b/gcc/c-family/ChangeLog.omp @@ -1,3 +1,11 @@ +2022-07-06 Tobias Burnus + + Backport from mainline: + 2022-09-06 Jakub Jelinek + + PR c/106836 + * c-omp.cc (c_omp_split_clauses): Handle OMP_CLAUSE_DOACROSS. + 2022-07-05 Tobias Burnus Backport from mainline: diff --git a/gcc/c-family/c-omp.cc b/gcc/c-family/c-omp.cc index 5c45935daca..ab92d60e91a 100644 --- a/gcc/c-family/c-omp.cc +++ b/gcc/c-family/c-omp.cc @@ -2023,6 +2023,12 @@ c_omp_split_clauses (location_t loc, enum tree_code code, case OMP_CLAUSE_USES_ALLOCATORS: s = C_OMP_CLAUSE_SPLIT_TARGET; break; + case OMP_CLAUSE_DOACROSS: + /* This can happen with invalid depend(source) or + depend(sink:vec) on target combined with other constructs. */ + gcc_assert (OMP_CLAUSE_DOACROSS_DEPEND (clauses)); + s = C_OMP_CLAUSE_SPLIT_TARGET; + break; case OMP_CLAUSE_NUM_TEAMS: s = C_OMP_CLAUSE_SPLIT_TEAMS; break; diff --git a/gcc/testsuite/ChangeLog.omp b/gcc/testsuite/ChangeLog.omp index 125f17bac2f..58d89825dd0 100644 --- a/gcc/testsuite/ChangeLog.omp +++ b/gcc/testsuite/ChangeLog.omp @@ -1,3 +1,11 @@ +2022-07-06 Tobias Burnus + + Backport from mainline: + 2022-09-06 Jakub Jelinek + + PR c/106836 + * c-c++-common/gomp/pr106836.c: New test. + 2022-09-05 Tobias Burnus Backport from mainline: diff --git a/gcc/testsuite/c-c++-common/gomp/pr106836.c b/gcc/testsuite/c-c++-common/gomp/pr106836.c new file mode 100644 index 00000000000..6df8250f81c --- /dev/null +++ b/gcc/testsuite/c-c++-common/gomp/pr106836.c @@ -0,0 +1,9 @@ +/* PR c/106836 */ + +void +foo (void) +{ +#pragma omp target parallel depend (source) /* { dg-error "'depend\\\(source\\\)' is only allowed in 'omp ordered'" } */ + ; +#pragma omp taskwait +}