From 078c5aff5ed83e9c237f3090e947860314838e00 Mon Sep 17 00:00:00 2001 From: Thomas Koenig Date: Mon, 2 Apr 2018 16:47:48 +0000 Subject: re PR fortran/85102 (ICE in gfc_conv_intrinsic_dot_product, at fortran/trans-intrinsic.c:4464) 2018-04-02 Thomas Koenig PR fortran/85102 * decl.c (variable_decl): If upper or lower bounds simplify to a constant, use that. 2018-04-02 Thomas Koenig PR fortran/85102 * gfortran.dg/array_simplify_2.f90: New test. From-SVN: r259014 --- gcc/fortran/ChangeLog | 6 ++++++ gcc/fortran/decl.c | 27 +++++++++++++++++++++++++++ 2 files changed, 33 insertions(+) (limited to 'gcc/fortran') diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index e2765e1..1d90f4f 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,9 @@ +2018-04-02 Thomas Koenig + + PR fortran/85102 + * decl.c (variable_decl): If upper or lower bounds simplify + to a constant, use that. + 2018-03-30 Paul Thomas PR fortran/84931 diff --git a/gcc/fortran/decl.c b/gcc/fortran/decl.c index dce9dd2..192910d 100644 --- a/gcc/fortran/decl.c +++ b/gcc/fortran/decl.c @@ -2424,6 +2424,33 @@ variable_decl (int elem) goto cleanup; } } + if (as->type == AS_EXPLICIT) + { + for (int i = 0; i < as->rank; i++) + { + gfc_expr *e, *n; + e = as->lower[i]; + if (e->expr_type != EXPR_CONSTANT) + { + n = gfc_copy_expr (e); + gfc_simplify_expr (n, 1); + if (n->expr_type == EXPR_CONSTANT) + gfc_replace_expr (e, n); + else + gfc_free_expr (n); + } + e = as->upper[i]; + if (e->expr_type != EXPR_CONSTANT) + { + n = gfc_copy_expr (e); + gfc_simplify_expr (n, 1); + if (n->expr_type == EXPR_CONSTANT) + gfc_replace_expr (e, n); + else + gfc_free_expr (n); + } + } + } } char_len = NULL; -- cgit v1.1