[Bug fortran/119118] substring with negative start index

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #10 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Harald Anlauf <anl...@gcc.gnu.org>:

https://gcc.gnu.org/g:a5d56278d145d439092adf6f65c865c85623f881

commit r15-8040-ga5d56278d145d439092adf6f65c865c85623f881
Author: Harald Anlauf <anl...@gmx.de>
Date:   Thu Mar 13 18:46:54 2025 +0100

    Fortran: improve checking of substring bounds [PR119118]

    Commit r15-7873 copy-pasted erroneous code containing a non-terminating
    loop that did not progress its control variable, and a switch statement
    with an unhandled case leading to a gcc_unreachable () with suitable input.

            PR fortran/119118

    gcc/fortran/ChangeLog:

            * dependency.cc (contains_forall_index_p): Let loop over elements
            of a constructor update its control variable.  Handle REF_INQUIRY
            in switch statement.
            (gfc_contains_implied_index_p): Likewise.

    gcc/testsuite/ChangeLog:

            * gfortran.dg/bounds_check_26.f90: Update test.