diff options
| author | Harald Anlauf <anlauf@gmx.de> | 2019-04-04 20:38:33 +0000 |
|---|---|---|
| committer | Harald Anlauf <anlauf@gcc.gnu.org> | 2019-04-04 20:38:33 +0000 |
| commit | aace91e285d107abd3762c8d5b58e2be42b05512 (patch) | |
| tree | 55349d930398d03fa7fbfe253016d4d885538d14 /gcc/fortran/check.c | |
| parent | 3a36c1806aa3d06301d1a177afbad6198b0f9086 (diff) | |
| download | gcc-aace91e285d107abd3762c8d5b58e2be42b05512.zip gcc-aace91e285d107abd3762c8d5b58e2be42b05512.tar.gz gcc-aace91e285d107abd3762c8d5b58e2be42b05512.tar.bz2 | |
re PR fortran/89904 (ICE in gfortran starting with r270045)
2019-04-04 Harald Anlauf <anlauf@gmx.de>
PR fortran/89004
* check.c (gfc_check_transfer): Reject procedures as actual
arguments for SOURCE and MOLD of TRANSFER intrinsic.
PR fortran/89004
* gfortran.dg/pr85797.f90: Adjust testcase.
From-SVN: r270150
Diffstat (limited to 'gcc/fortran/check.c')
| -rw-r--r-- | gcc/fortran/check.c | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/gcc/fortran/check.c b/gcc/fortran/check.c index ee50634..a04f0d6 100644 --- a/gcc/fortran/check.c +++ b/gcc/fortran/check.c @@ -5544,6 +5544,26 @@ gfc_check_transfer (gfc_expr *source, gfc_expr *mold, gfc_expr *size) size_t source_size; size_t result_size; + /* SOURCE shall be a scalar or array of any type. */ + if (source->ts.type == BT_PROCEDURE + && source->symtree->n.sym->attr.subroutine == 1) + { + gfc_error ("%<SOURCE%> argument of %<TRANSFER%> intrinsic at %L " + "must not be a %s", &source->where, + gfc_basic_typename (source->ts.type)); + return false; + } + + /* MOLD shall be a scalar or array of any type. */ + if (mold->ts.type == BT_PROCEDURE + && mold->symtree->n.sym->attr.subroutine == 1) + { + gfc_error ("%<MOLD%> argument of %<TRANSFER%> intrinsic at %L " + "must not be a %s", &mold->where, + gfc_basic_typename (mold->ts.type)); + return false; + } + if (mold->ts.type == BT_HOLLERITH) { gfc_error ("%<MOLD%> argument of %<TRANSFER%> intrinsic at %L must not be" @@ -5551,6 +5571,8 @@ gfc_check_transfer (gfc_expr *source, gfc_expr *mold, gfc_expr *size) return false; } + /* SIZE (optional) shall be an integer scalar. The corresponding actual + argument shall not be an optional dummy argument. */ if (size != NULL) { if (!type_check (size, 2, BT_INTEGER)) |