aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
authorTobias Burnus <tobias@codesourcery.com>2019-12-20 11:22:52 +0000
committerTobias Burnus <burnus@gcc.gnu.org>2019-12-20 12:22:52 +0100
commite565e49fb22cb466dc8af0dc09a061b30806cc04 (patch)
tree8777317532d57be3672b1f1824d9f20928205f39 /gcc
parent74a7b87a008bfaca392980dfedb30730a8f256e4 (diff)
downloadgcc-e565e49fb22cb466dc8af0dc09a061b30806cc04.zip
gcc-e565e49fb22cb466dc8af0dc09a061b30806cc04.tar.gz
gcc-e565e49fb22cb466dc8af0dc09a061b30806cc04.tar.bz2
Improve is-coindexed check for OpenACC/OpenMP
gcc/fortran/ * openmp.c (resolve_omp_clauses): Move is-coindexed check from here ... (gfc_match_omp_variable_list): ... to here. gcc/testsuite/ * gfortran.dg/goacc/coindexed-1.f90: New. From-SVN: r279637
Diffstat (limited to 'gcc')
-rw-r--r--gcc/fortran/ChangeLog5
-rw-r--r--gcc/fortran/openmp.c8
-rw-r--r--gcc/testsuite/ChangeLog4
-rw-r--r--gcc/testsuite/gfortran.dg/goacc/coindexed-1.f9037
4 files changed, 51 insertions, 3 deletions
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index 355ded4..d382ac0 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,8 @@
+2019-12-20 Tobias Burnus <tobias@codesourcery.com>
+
+ * openmp.c (resolve_omp_clauses): Move is-coindexed check from here ...
+ (gfc_match_omp_variable_list): ... to here.
+
2019-12-19 Julian Brown <julian@codesourcery.com>
* openmp.c (resolve_oacc_data_clauses): Don't disallow allocatable
diff --git a/gcc/fortran/openmp.c b/gcc/fortran/openmp.c
index 051b4bd..01964f9 100644
--- a/gcc/fortran/openmp.c
+++ b/gcc/fortran/openmp.c
@@ -274,6 +274,11 @@ gfc_match_omp_variable_list (const char *str, gfc_omp_namelist **list,
default:
break;
}
+ if (gfc_is_coindexed (expr))
+ {
+ gfc_error ("List item shall not be coindexed at %C");
+ goto cleanup;
+ }
}
gfc_set_sym_referenced (sym);
p = gfc_get_omp_namelist ();
@@ -4544,9 +4549,6 @@ resolve_omp_clauses (gfc_code *code, gfc_omp_clauses *omp_clauses,
gfc_error ("%qs in %s clause at %L is not a proper "
"array section", n->sym->name, name,
&n->where);
- else if (gfc_is_coindexed (n->expr))
- gfc_error ("Entry shall not be coindexed in %s "
- "clause at %L", name, &n->where);
else
{
int i;
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 7773059..8f2aba2 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,9 @@
2019-12-20 Tobias Burnus <tobias@codesourcery.com>
+ * gfortran.dg/goacc/coindexed-1.f90: New.
+
+2019-12-20 Tobias Burnus <tobias@codesourcery.com>
+
* gfortran.dg/goacc/data-clauses.f95: Remove now
obsolete dg-error.
diff --git a/gcc/testsuite/gfortran.dg/goacc/coindexed-1.f90 b/gcc/testsuite/gfortran.dg/goacc/coindexed-1.f90
new file mode 100644
index 0000000..7e0d1dd
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/goacc/coindexed-1.f90
@@ -0,0 +1,37 @@
+! { dg-do compile }
+! { dg-additional-options "-fcoarray=single" }
+!
+subroutine check_coindexed()
+implicit none
+type t
+ integer :: i
+end type t
+type t2
+ integer, allocatable :: i[:]
+ type(t), allocatable :: x[:]
+end type t2
+type(t), allocatable :: A(:)[:], B(:)[:]
+type(t) :: D(1)[*], E[*]
+type(t2) :: C
+save :: D, E
+
+! Coarrays are fine if they are local/not coindexed:
+
+!$acc enter data copyin(D(1)%i)
+!$acc enter data copyin(A(1))
+!$acc enter data copyin(B(1)%i)
+!$acc enter data copyin(C%i)
+!$acc enter data copyin(C%x%i)
+!$acc enter data copyin(C%i)
+!$acc enter data copyin(C%x%i)
+
+! Does not like the '[' after the identifier:
+!$acc enter data copyin(E[2]) ! { dg-error "Syntax error in OpenMP variable list" }
+
+!$acc enter data copyin(D(1)[2]%i) ! { dg-error "List item shall not be coindexed" }
+!$acc enter data copyin(A(1)[4]) ! { dg-error "List item shall not be coindexed" }
+!$acc enter data copyin(B(1)[4]%i) ! { dg-error "List item shall not be coindexed" }
+!$acc enter data copyin(C%i[2]) ! { dg-error "List item shall not be coindexed" }
+!$acc enter data copyin(C%x[4]%i) ! { dg-error "List item shall not be coindexed" }
+
+end