From 567a6e1cdb3cae09ae74bdd528fd31c0b4956ad2 Mon Sep 17 00:00:00 2001 From: Paul Thomas Date: Sat, 13 Jan 2018 13:52:34 +0000 Subject: re PR fortran/52162 (Bogus -fcheck=bounds with realloc on assignment to unallocated LHS) 2018-01-13 Paul Thomas PR fortran/52162 * trans-expr.c (gfc_trans_scalar_assign): Flag is_alloc_lhs if the rhs expression is neither an elemental nor a conversion function. PR fortran/83622 * trans-array.c (is_pointer_array): Remove unconditional return of false for -fopenmp. 2018-01-13 Paul Thomas PR fortran/52162 * gfortran.dg/bounds_check_19.f90 : New test. From-SVN: r256607 --- gcc/fortran/ChangeLog | 11 +++++++++++ gcc/fortran/trans-array.c | 3 --- gcc/fortran/trans-expr.c | 7 +++++-- 3 files changed, 16 insertions(+), 5 deletions(-) (limited to 'gcc/fortran') diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index 8f32e07..1e421d9 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,14 @@ +2018-01-13 Paul Thomas + + PR fortran/52162 + * trans-expr.c (gfc_trans_scalar_assign): Flag is_alloc_lhs if + the rhs expression is neither an elemental nor a conversion + function. + + PR fortran/83622 + * trans-array.c (is_pointer_array): Remove unconditional return + of false for -fopenmp. + 2018-01-13 Thomas Koenig diff --git a/gcc/fortran/trans-array.c b/gcc/fortran/trans-array.c index e35e0c9..0cf1831 100644 --- a/gcc/fortran/trans-array.c +++ b/gcc/fortran/trans-array.c @@ -786,9 +786,6 @@ gfc_add_ss_to_loop (gfc_loopinfo * loop, gfc_ss * head) static bool is_pointer_array (tree expr) { - if (flag_openmp) - return false; - if (expr == NULL_TREE || !GFC_DESCRIPTOR_TYPE_P (TREE_TYPE (expr)) || GFC_CLASS_TYPE_P (TREE_TYPE (expr))) diff --git a/gcc/fortran/trans-expr.c b/gcc/fortran/trans-expr.c index add0d69..e90036f 100644 --- a/gcc/fortran/trans-expr.c +++ b/gcc/fortran/trans-expr.c @@ -9924,9 +9924,12 @@ gfc_trans_assignment_1 (gfc_expr * expr1, gfc_expr * expr2, bool init_flag, /* Walk the lhs. */ lss = gfc_walk_expr (expr1); if (gfc_is_reallocatable_lhs (expr1) - && !(expr2->expr_type == EXPR_FUNCTION - && expr2->value.function.isym != NULL)) + && !(expr2->expr_type == EXPR_FUNCTION + && expr2->value.function.isym != NULL + && !(expr2->value.function.isym->elemental + || expr2->value.function.isym->conversion))) lss->is_alloc_lhs = 1; + rss = NULL; if ((expr1->ts.type == BT_DERIVED) -- cgit v1.1