diff options
| author | Harald Anlauf <anlauf@gmx.de> | 2021-11-29 22:23:02 +0100 |
|---|---|---|
| committer | Harald Anlauf <anlauf@gmx.de> | 2021-11-30 20:20:55 +0100 |
| commit | 814f52a8bfc66aff8c453b040f0e730b034b7f52 (patch) | |
| tree | 39f863a7c4746ba388726449953027d18b041816 /gcc/fortran/check.c | |
| parent | e5440bc08e07fd491dcccd47e1b86a5985ee117c (diff) | |
| download | gcc-814f52a8bfc66aff8c453b040f0e730b034b7f52.zip gcc-814f52a8bfc66aff8c453b040f0e730b034b7f52.tar.gz gcc-814f52a8bfc66aff8c453b040f0e730b034b7f52.tar.bz2 | |
Fortran: check type of SUB argument to IMAGE_INDEX
gcc/fortran/ChangeLog:
PR fortran/101565
* check.c (gfc_check_image_index): Verify that SUB argument to
IMAGE_INDEX is of type integer.
gcc/testsuite/ChangeLog:
PR fortran/101565
* gfortran.dg/coarray_49.f90: New test.
Co-authored-by: Steven G. Kargl <kargl@gcc.gnu.org>
Diffstat (limited to 'gcc/fortran/check.c')
| -rw-r--r-- | gcc/fortran/check.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gcc/fortran/check.c b/gcc/fortran/check.c index 3e65f3d..ee3a51e 100644 --- a/gcc/fortran/check.c +++ b/gcc/fortran/check.c @@ -5955,6 +5955,13 @@ gfc_check_image_index (gfc_expr *coarray, gfc_expr *sub) return false; } + if (sub->ts.type != BT_INTEGER) + { + gfc_error ("Type of %s argument of IMAGE_INDEX at %L shall be INTEGER", + gfc_current_intrinsic_arg[1]->name, &sub->where); + return false; + } + if (gfc_array_size (sub, &nelems)) { int corank = gfc_get_corank (coarray); |