diff options
| author | Harald Anlauf <anlauf@gmx.de> | 2020-10-27 20:25:23 +0100 |
|---|---|---|
| committer | Harald Anlauf <anlauf@gmx.de> | 2020-10-27 20:26:44 +0100 |
| commit | a764c40079a493826a3678174f908941a383644e (patch) | |
| tree | eff05b3657ffb0042a50173a631b38a445b951f0 /gcc | |
| parent | edea991d2ca520906e7a9581248db5eb96b20ac2 (diff) | |
| download | gcc-a764c40079a493826a3678174f908941a383644e.zip gcc-a764c40079a493826a3678174f908941a383644e.tar.gz gcc-a764c40079a493826a3678174f908941a383644e.tar.bz2 | |
PR fortran/97491 - Wrong restriction for VALUE arguments of pure procedures
A dummy argument with the VALUE attribute may be redefined in a PURE or
ELEMENTAL procedure. Adjust the associated purity check.
gcc/fortran/ChangeLog:
* resolve.c (gfc_impure_variable): A dummy argument with the VALUE
attribute may be redefined without making a procedure impure.
gcc/testsuite/ChangeLog:
* gfortran.dg/value_8.f90: New test.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/fortran/resolve.c | 1 | ||||
| -rw-r--r-- | gcc/testsuite/gfortran.dg/value_8.f90 | 16 |
2 files changed, 17 insertions, 0 deletions
diff --git a/gcc/fortran/resolve.c b/gcc/fortran/resolve.c index a210f9a..93b918b 100644 --- a/gcc/fortran/resolve.c +++ b/gcc/fortran/resolve.c @@ -16476,6 +16476,7 @@ gfc_impure_variable (gfc_symbol *sym) proc = sym->ns->proc_name; if (sym->attr.dummy + && !sym->attr.value && ((proc->attr.subroutine && sym->attr.intent == INTENT_IN) || proc->attr.function)) return 1; diff --git a/gcc/testsuite/gfortran.dg/value_8.f90 b/gcc/testsuite/gfortran.dg/value_8.f90 new file mode 100644 index 0000000..8273fe8 --- /dev/null +++ b/gcc/testsuite/gfortran.dg/value_8.f90 @@ -0,0 +1,16 @@ +! { dg-do compile } +! PR97491 - Wrong restriction for VALUE arguments of pure procedures + +pure function foo (x) result (ret) + integer :: ret + integer, value :: x + x = x / 2 + ret = x +end function foo + +elemental function foo1 (x) + integer :: foo1 + integer, value :: x + x = x / 2 + foo1 = x +end function foo1 |