https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96018
--- Comment #18 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The releases/gcc-9 branch has been updated by Thomas Kथà¤nig <tkoe...@gcc.gnu.org>: https://gcc.gnu.org/g:7be5add5534f4310b294f1b7ad8855a424edb8c1 commit r9-8761-g7be5add5534f4310b294f1b7ad8855a424edb8c1 Author: Thomas Koenig <tkoe...@gcc.gnu.org> Date: Thu Jul 23 20:26:10 2020 +0200 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 <tkoe...@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.