From bef6486a5a2fdb1008e582d5ac048dd243e91142 Mon Sep 17 00:00:00 2001 From: Mikael Morin Date: Thu, 23 Sep 2010 11:11:23 +0000 Subject: [PATCH] re PR fortran/45745 (ICE in gfc_conv_array_stride) 2010-09-23 Mikael Morin PR fortran/45745 PR fortran/45648 * trans-array.c (gfc_conv_expr_descriptor): Handle ss->type == GFC_SS_INTRINSIC (for {l,u}bound intrinsics) case. 2010-09-23 Mikael Morin PR fortran/45745 PR fortran/45648 * gfortran.dg/vector_subscript_bound_1.f90: New. From-SVN: r164558 --- gcc/fortran/ChangeLog | 7 +++++++ gcc/fortran/trans-array.c | 16 ++++++++++------ gcc/testsuite/ChangeLog | 6 ++++++ .../gfortran.dg/vector_subscript_bound_1.f90 | 19 +++++++++++++++++++ 4 files changed, 42 insertions(+), 6 deletions(-) create mode 100644 gcc/testsuite/gfortran.dg/vector_subscript_bound_1.f90 diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index d99720ea6eb..d57a4499b71 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,10 @@ +2010-09-23 Mikael Morin + + PR fortran/45745 + PR fortran/45648 + * trans-array.c (gfc_conv_expr_descriptor): Handle + ss->type == GFC_SS_INTRINSIC (for {l,u}bound intrinsics) case. + 2010-09-23 Tobias Burnus * intrinsic.texi (OpenMP modules): Add named constants of diff --git a/gcc/fortran/trans-array.c b/gcc/fortran/trans-array.c index 310a42b00f3..b32c3eccd8f 100644 --- a/gcc/fortran/trans-array.c +++ b/gcc/fortran/trans-array.c @@ -5290,13 +5290,17 @@ gfc_conv_expr_descriptor (gfc_se * se, gfc_expr * expr, gfc_ss * ss) return; } - if (ss->expr != expr) + if (ss->expr != expr || ss->type != GFC_SS_FUNCTION) { - /* Elemental function. */ - gcc_assert ((expr->value.function.esym != NULL - && expr->value.function.esym->attr.elemental) - || (expr->value.function.isym != NULL - && expr->value.function.isym->elemental)); + if (ss->expr != expr) + /* Elemental function. */ + gcc_assert ((expr->value.function.esym != NULL + && expr->value.function.esym->attr.elemental) + || (expr->value.function.isym != NULL + && expr->value.function.isym->elemental)); + else + gcc_assert (ss->type == GFC_SS_INTRINSIC); + need_tmp = 1; if (expr->ts.type == BT_CHARACTER && expr->ts.u.cl->length->expr_type != EXPR_CONSTANT) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 050e571e5ce..da30c4be445 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,9 @@ +2010-09-23 Mikael Morin + + PR fortran/45745 + PR fortran/45648 + * gfortran.dg/vector_subscript_bound_1.f90: New. + 2010-09-23 Richard Guenther PR middle-end/45750 diff --git a/gcc/testsuite/gfortran.dg/vector_subscript_bound_1.f90 b/gcc/testsuite/gfortran.dg/vector_subscript_bound_1.f90 new file mode 100644 index 00000000000..f4328504f24 --- /dev/null +++ b/gcc/testsuite/gfortran.dg/vector_subscript_bound_1.f90 @@ -0,0 +1,19 @@ +! { dg-do compile } +! +! PR fortran/45745 +! ICE with {L,U}BOUND intrinsic function as vector subscript on derived +! type component. +! +! Original test by Joost Van de Vondele + +MODULE pw_types + TYPE pw_type + REAL, DIMENSION ( : ), POINTER :: cr + END TYPE pw_type +CONTAINS + SUBROUTINE pw_write(pw) + TYPE(pw_type), INTENT(in) :: pw + PRINT *, pw%cr(LBOUND(pw%cr)) + PRINT *, pw%cr(UBOUND(pw%cr)) + END SUBROUTINE pw_write +END MODULE -- 2.30.2