From: Mark Eggleston Date: Thu, 11 Jun 2020 05:42:36 +0000 (+0100) Subject: Fortran : ICE in gfc_check_reshape PR95585 X-Git-Tag: releases/gcc-10.3.0~1130 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7dcd5b38fa91326e120a7ebb6f521330d83ff757;p=thirdparty%2Fgcc.git Fortran : ICE in gfc_check_reshape PR95585 Issue an error where an array is used before its definition instead of an ICE. 2020-07-26 Steven G. Kargl gcc/fortran/ PR fortran/95585 * check.c (gfc_check_reshape): Add check for a value when the symbol has an attribute flavor FL_PARAMETER. 2020-07-26 Mark Eggleston gcc/testsuite/ PR fortran/95585 * gfortran.dg/pr95585.f90: New test. (cherry picked from commit d9aed5f1ccffc019ddf980e349caa3d092755cb4) --- diff --git a/gcc/fortran/check.c b/gcc/fortran/check.c index 148a32698156..4d50906a3f37 100644 --- a/gcc/fortran/check.c +++ b/gcc/fortran/check.c @@ -4742,7 +4742,8 @@ gfc_check_reshape (gfc_expr *source, gfc_expr *shape, && shape->ref->u.ar.as->lower[0]->ts.type == BT_INTEGER && shape->ref->u.ar.as->upper[0]->expr_type == EXPR_CONSTANT && shape->ref->u.ar.as->upper[0]->ts.type == BT_INTEGER - && shape->symtree->n.sym->attr.flavor == FL_PARAMETER) + && shape->symtree->n.sym->attr.flavor == FL_PARAMETER + && shape->symtree->n.sym->value) { int i, extent; gfc_expr *e, *v; diff --git a/gcc/testsuite/gfortran.dg/pr95585.f90 b/gcc/testsuite/gfortran.dg/pr95585.f90 new file mode 100644 index 000000000000..b0e6cdc5bea2 --- /dev/null +++ b/gcc/testsuite/gfortran.dg/pr95585.f90 @@ -0,0 +1,6 @@ +! { dg-do compile } + +program test + integer, parameter :: a(2) = reshape([1, 2], a) ! { dg-error "before its definition" } +end program +