gcc.gnu.org Git - gcc.git/commit

author	Harald Anlauf <anlauf@gmx.de>
	Fri, 15 Oct 2021 19:23:17 +0000 (21:23 +0200)
committer	Harald Anlauf <anlauf@gmx.de>
	Fri, 15 Oct 2021 19:23:17 +0000 (21:23 +0200)
commit	1e819bd95ebeefc1dc469daa1855ce005cb77822
tree	e92e1e5ba1f1abf39844b4c0e87c50145c49f75e	tree
parent	4aef14b09557ce072f1269bd8a05fa2b1df0eda2	commit \| diff

Fortran: validate shape of arrays in constructors against declarations

gcc/fortran/ChangeLog:

PR fortran/102685
* decl.c (match_clist_expr): Set rank/shape of clist initializer
to match LHS.
* resolve.c (resolve_structure_cons): In a structure constructor,
compare shapes of array components against declared shape.

gcc/testsuite/ChangeLog:

PR fortran/102685
* gfortran.dg/derived_constructor_char_1.f90: Fix invalid code.
* gfortran.dg/pr70931.f90: Likewise.
* gfortran.dg/transfer_simplify_2.f90: Likewise.
* gfortran.dg/pr102685.f90: New test.

Co-authored-by: Tobias Burnus <tobias@codesourcery.com>

gcc/fortran/decl.c		diff \| blob \| blame \| history
gcc/fortran/resolve.c		diff \| blob \| blame \| history
gcc/testsuite/gfortran.dg/derived_constructor_char_1.f90		diff \| blob \| blame \| history
gcc/testsuite/gfortran.dg/pr102685.f90	[new file with mode: 0644]	blob
gcc/testsuite/gfortran.dg/pr70931.f90		diff \| blob \| blame \| history
gcc/testsuite/gfortran.dg/transfer_simplify_2.f90		diff \| blob \| blame \| history