Fix handling of implicit_pure by checking if non-pure procedures are called.
authorThomas Koenig <tkoenig@gcc.gnu.org>
Sun, 19 Jul 2020 10:23:43 +0000 (12:23 +0200)
committerThomas Koenig <tkoenig@gcc.gnu.org>
Sun, 19 Jul 2020 10:23:43 +0000 (12:23 +0200)
commit3055d879edb1bc2a3923f92a5e681c8f6774fbc3
treecbf5f39d4ecacf95398c417ad6f369b8ba71f01d
parent7cc34b761cff2fd3b54fedec94aa1bddb59ac85e
Fix handling of implicit_pure by checking if non-pure procedures are called.

Procedures are marked as implicit_pure if they fulfill the criteria of
pure procedures.  In this case, a procedure was not marked as not being
implicit_pure which called another procedure, which had not yet been
marked as not being implicit_impure.

Fixed by iterating over all procedures, setting callers of procedures
which are non-pure and non-implicit_pure as non-implicit_pure and
doing this until no more procedure has been changed.

gcc/fortran/ChangeLog:

2020-07-19  Thomas Koenig  <tkoenig@gcc.gnu.org>

PR fortran/96018
* frontend-passes.c (gfc_check_externals): Adjust formatting.
(implicit_pure_call): New function.
(implicit_pure_expr): New function.
(gfc_fix_implicit_pure): New function.
* gfortran.h (gfc_fix_implicit_pure): New prototype.
* parse.c (translate_all_program_units): Call gfc_fix_implicit_pure.
gcc/fortran/frontend-passes.c
gcc/fortran/gfortran.h
gcc/fortran/parse.c
gcc/testsuite/gfortran.dg/implicit_pure_5.c [new file with mode: 0644]
gcc/testsuite/gfortran.dg/implicit_pure_5.f90 [new file with mode: 0644]