https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96018
--- Comment #17 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The releases/gcc-10 branch has been updated by Thomas Kथà¤nig <tkoe...@gcc.gnu.org>: https://gcc.gnu.org/g:3373a73172d0e39fe054ab2d4bbff746b36c0fe8 commit r10-8520-g3373a73172d0e39fe054ab2d4bbff746b36c0fe8 Author: Thomas Koenig <tkoe...@gcc.gnu.org> Date: Thu Jul 23 17:56:09 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.