[Bug fortran/31059] bounds-check does not detect nonconforming assignment arrays

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

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

--- Comment #12 from CVS 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:6f06152541d62ae7c8579b7d7bf552be19e15b05

commit r14-3633-g6f06152541d62ae7c8579b7d7bf552be19e15b05
Author: Harald Anlauf <anl...@gmx.de>
Date:   Thu Aug 31 22:19:58 2023 +0200

    Fortran: runtime bounds-checking in presence of array constructors
[PR31059]

    gcc/fortran/ChangeLog:

            PR fortran/31059
            * trans-array.cc (gfc_conv_ss_startstride): For array bounds
checking,
            consider also array constructors in expressions, and use their
shape.

    gcc/testsuite/ChangeLog:

            PR fortran/31059
            * gfortran.dg/bounds_check_fail_5.f90: New test.