From 6c6bde30706c29ffe41415f95ef3f48b6712cbe7 Mon Sep 17 00:00:00 2001 From: Thomas Koenig Date: Fri, 27 Oct 2017 17:11:42 +0000 Subject: re PR fortran/56342 (MATMUL with PARAMETER: Simplification usually doesn't work) 2017-10-27 Thomas Koenig PR fortran/56342 * simplify.c (is_constant_array_expr): If the expression is a parameter array, call gfc_simplify_expr. 2017-10-27 Thomas Koenig PR fortran/56342 * gfortran.dg/matmul_const.f90: New test. From-SVN: r254157 --- gcc/fortran/ChangeLog | 6 ++++++ gcc/fortran/simplify.c | 7 ++++++- 2 files changed, 12 insertions(+), 1 deletion(-) (limited to 'gcc/fortran') diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index 9e34152..295704a 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,9 @@ +2017-10-27 Thomas Koenig + + PR fortran/56342 + * simplify.c (is_constant_array_expr): If the expression is + a parameter array, call gfc_simplify_expr. + 2017-10-25 Bernhard Reutner-Fischer * match.c (gfc_match_type_is): Fix typo in error message. diff --git a/gcc/fortran/simplify.c b/gcc/fortran/simplify.c index 169aef1..ba010a0 100644 --- a/gcc/fortran/simplify.c +++ b/gcc/fortran/simplify.c @@ -227,7 +227,8 @@ convert_boz (gfc_expr *x, int kind) } -/* Test that the expression is an constant array. */ +/* Test that the expression is an constant array, simplifying if + we are dealing with a parameter array. */ static bool is_constant_array_expr (gfc_expr *e) @@ -237,6 +238,10 @@ is_constant_array_expr (gfc_expr *e) if (e == NULL) return true; + if (e->expr_type == EXPR_VARIABLE && e->rank > 0 + && e->symtree->n.sym->attr.flavor == FL_PARAMETER) + gfc_simplify_expr (e, 1); + if (e->expr_type != EXPR_ARRAY || !gfc_is_constant_expr (e)) return false; -- cgit v1.1