[Bug fortran/97491] Wrong restriction for VALUE arguments of pure procedures

[cvs-commit at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97491

--- Comment #4 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Harald Anlauf <anlauf@gcc.gnu.org>:

https://gcc.gnu.org/g:a764c40079a493826a3678174f908941a383644e

commit r11-4459-ga764c40079a493826a3678174f908941a383644e
Author: Harald Anlauf <anlauf@gmx.de>
Date:   Tue Oct 27 20:25:23 2020 +0100

    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.