[Bug fortran/96469] Compile-time check for change in DO variable in contained procedures

[cvs-commit at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96469

--- Comment #1 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Thomas Kथà¤nig <tkoe...@gcc.gnu.org>:

https://gcc.gnu.org/g:27eac9ee6137a6b5ae693b54cafa22bdc0cbcd5a

commit r11-2578-g27eac9ee6137a6b5ae693b54cafa22bdc0cbcd5a
Author: Thomas Koenig <tkoe...@gcc.gnu.org>
Date:   Wed Aug 5 18:37:32 2020 +0200

    Static analysis for definition of DO index variables in contained
procedures.

    When encountering a procedure call in a DO loop, this patch checks if
    the call is to a contained procedure, and if it is, check for
    changes in the index variable.

    gcc/fortran/ChangeLog:

            PR fortran/96469
            * frontend-passes.c (doloop_contained_function_call): New
            function.
            (doloop_contained_procedure_code): New function.
            (CHECK_INQ): Macro for inquire checks.
            (doloop_code): Invoke doloop_contained_procedure_code and
            doloop_contained_function_call if appropriate.
            (do_intent): Likewise.

    gcc/testsuite/ChangeLog:

            PR fortran/96469
            * gfortran.dg/do_check_4.f90: Hide change in index variable
            from compile-time analysis.
            * gfortran.dg/do_check_13.f90: New test.