OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

re PR fortran/71203 (ICE in add_init_expr_to_sym, at fortran/decl.c:1512 and :1564)

Browse Source 
2019-03-09  Thomas König  <tkoenig@gcc.gnu.org>

	PR fortran/71203
	* decl.c (add_init_expr_to_sym):  Add shape if init has none.  Add
	assert that it has to be an EXPR_ARRAY in this case.

2019-03-09  Thomas König  <tkoenig@gcc.gnu.org>

	PR fortran/71203
	* gfortran.dg/array_simplify_3.f90: New test case.

From-SVN: r269526
This commit is contained in:
Thomas Koenig 2019-03-09 14:10:17 +00:00
parent 3568d2d5fa
commit 8ed5ae524a
4 changed files with 28 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/fortran/ChangeLog
View File

@ -1,3 +1,9 @@
2019-03-09 Thomas König <tkoenig@gcc.gnu.org>
PR fortran/71203
* decl.c (add_init_expr_to_sym): Add shape if init has none. Add
asserts that it has to be an EXPR_ARRAY in this case.
2019-03-08 Jakub Jelinek <jakub@redhat.com>
PR other/80058

10
gcc/fortran/decl.c
View File

@ -1983,8 +1983,14 @@ add_init_expr_to_sym (const char *name, gfc_expr **initp, locus *var_locus)
return false;
}
/* Shape should be present, we get an initialization expression. */
gcc_assert (init->shape);
/* The shape may be NULL for EXPR_ARRAY, set it. */
if (init->shape == NULL)
{
gcc_assert (init->expr_type == EXPR_ARRAY);
init->shape = gfc_get_shape (1);
if (!gfc_array_size (init, &init->shape[0]))
gfc_internal_error ("gfc_array_size failed");
}
for (dim = 0; dim < sym->as->rank; ++dim)
{

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2019-03-09 Thomas König <tkoenig@gcc.gnu.org>
PR fortran/71203
* gfortran.dg/array_simplify_3.f90: New test case.
2019-03-09 Jakub Jelinek <jakub@redhat.com>
PR c/88568

9
gcc/testsuite/gfortran.dg/array_simplify_3.f90 Normal file
View File

@ -0,0 +1,9 @@
! { dg-do run }
! PR 71203 - this used to ICE
program p
integer :: i
integer, parameter :: x(2) = 0
integer, parameter :: y(*) = [(x(i:i), i=1,2)]
if (size(y,1) /= 2) stop 1
if (any(y /= 0)) stop 2
end