Hi Harald, OK for master and 10-branch if you want.
Thanks Paul On Mon, 26 Oct 2020 at 21:00, Harald Anlauf <anl...@gmx.de> wrote: > As found/reported by Thomas, the redefinition of dummy arguments with the > VALUE attribute was erroneously rejected for pure procedures. A related > purity check did not take VALUE into account and was therefore adjusted. > > Regtested on x86_64-pc-linux-gnu. > > OK for master? > > Thanks, > Harald > > > 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. > > -- "If you can't explain it simply, you don't understand it well enough" - Albert Einstein