https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97491
--- Comment #9 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The releases/gcc-9 branch has been updated by Harald Anlauf <anl...@gcc.gnu.org>: https://gcc.gnu.org/g:e016c286dae10ea1b037d149fee924bdd07e546a commit r9-9298-ge016c286dae10ea1b037d149fee924bdd07e546a Author: Harald Anlauf <anl...@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. (cherry picked from commit a764c40079a493826a3678174f908941a383644e)