diff options
author | Harald Anlauf <anlauf@gmx.de> | 2022-04-04 20:42:51 +0200 |
---|---|---|
committer | Harald Anlauf <anlauf@gmx.de> | 2022-04-10 20:52:44 +0200 |
commit | fdaa6de39a5da45dccd06c18dd355893b4cf9060 (patch) | |
tree | 6031dfdb60265e493d4bd4dce10c7e14c40b24fc | |
parent | 6b4e07251c685430e00d6b3f3dee41012c41ca26 (diff) | |
download | gcc-fdaa6de39a5da45dccd06c18dd355893b4cf9060.zip gcc-fdaa6de39a5da45dccd06c18dd355893b4cf9060.tar.gz gcc-fdaa6de39a5da45dccd06c18dd355893b4cf9060.tar.bz2 |
Fortran: a RECURSIVE procedure cannot be an INTRINSIC
gcc/fortran/ChangeLog:
PR fortran/105138
* intrinsic.c (gfc_is_intrinsic): When a symbol refers to a
RECURSIVE procedure, it cannot be an INTRINSIC.
gcc/testsuite/ChangeLog:
PR fortran/105138
* gfortran.dg/recursive_reference_3.f90: New test.
Co-authored-by: Steven G. Kargl <kargl@gcc.gnu.org>
(cherry picked from commit d46685b04071a485b56de353d997a866bfc8caba)
-rw-r--r-- | gcc/fortran/intrinsic.c | 1 | ||||
-rw-r--r-- | gcc/testsuite/gfortran.dg/recursive_reference_3.f90 | 14 |
2 files changed, 15 insertions, 0 deletions
diff --git a/gcc/fortran/intrinsic.c b/gcc/fortran/intrinsic.c index a6a18a4..1565ff2 100644 --- a/gcc/fortran/intrinsic.c +++ b/gcc/fortran/intrinsic.c @@ -1142,6 +1142,7 @@ gfc_is_intrinsic (gfc_symbol* sym, int subroutine_flag, locus loc) /* Check for attributes which prevent the symbol from being INTRINSIC. */ if (sym->attr.external || sym->attr.contained + || sym->attr.recursive || sym->attr.if_source == IFSRC_IFBODY) return false; diff --git a/gcc/testsuite/gfortran.dg/recursive_reference_3.f90 b/gcc/testsuite/gfortran.dg/recursive_reference_3.f90 new file mode 100644 index 0000000..f4e2963 --- /dev/null +++ b/gcc/testsuite/gfortran.dg/recursive_reference_3.f90 @@ -0,0 +1,14 @@ +! { dg-do compile } +! { dg-options "-std=f2018" } +! PR fortran/105138 - recursive procedures and shadowing of intrinsics + +RECURSIVE FUNCTION LOG_GAMMA(Z) RESULT(RES) + COMPLEX, INTENT(IN) :: Z + COMPLEX :: RES + RES = LOG_GAMMA(Z) +END FUNCTION LOG_GAMMA + +recursive subroutine date_and_time (z) + real :: z + if (z > 0) call date_and_time (z-1) +end subroutine date_and_time |