]> git.ipfire.org Git - thirdparty/gcc.git/commit
Fix handling of implicit_pure by checking if non-pure procedures are called.
authorThomas Koenig <tkoenig@gcc.gnu.org>
Thu, 23 Jul 2020 15:56:09 +0000 (17:56 +0200)
committerThomas Koenig <tkoenig@gcc.gnu.org>
Thu, 23 Jul 2020 15:56:09 +0000 (17:56 +0200)
commit3373a73172d0e39fe054ab2d4bbff746b36c0fe8
tree7647e9ec1d2601a37a508b8fa589b56bc177d9c9
parent2980fc28c5f9f1414cc34e5e3deaaaacc8c480c9
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.

Backport from trunk r11-2215-g3055d879edb1bc2a3923f92a5e681c8f6774fbc3 .

gcc/fortran/ChangeLog:

2020-07-10  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]