From 9d463ce7f983f03f0d65da03cfa430e29a0840c2 Mon Sep 17 00:00:00 2001 From: Paul Thomas Date: Fri, 28 Aug 2020 09:02:58 +0100 Subject: [PATCH] This patch fixes PR96624. 2020-08-28 Paul Thomas gcc/fortran PR fortran/96624 * simplify.c (gfc_simplify_reshape): Detect zero shape and clear index if found. gcc/testsuite/ PR fortran/96624 * gfortran.dg/reshape_8.f90 : New test. --- gcc/fortran/simplify.c | 14 ++++++++++++-- gcc/testsuite/gfortran.dg/reshape_8.f90 | 14 ++++++++++++++ 2 files changed, 26 insertions(+), 2 deletions(-) create mode 100644 gcc/testsuite/gfortran.dg/reshape_8.f90 diff --git a/gcc/fortran/simplify.c b/gcc/fortran/simplify.c index 074b50c2e68..8e0d2f97a60 100644 --- a/gcc/fortran/simplify.c +++ b/gcc/fortran/simplify.c @@ -6398,7 +6398,7 @@ gfc_simplify_is_contiguous (gfc_expr *array) if (gfc_is_not_contiguous (array)) return gfc_get_logical_expr (gfc_default_logical_kind, &array->where, 0); - + return NULL; } @@ -6725,6 +6725,7 @@ gfc_simplify_reshape (gfc_expr *source, gfc_expr *shape_exp, unsigned long j; size_t nsource; gfc_expr *e, *result; + bool zerosize = false; /* Check that argument expression types are OK. */ if (!is_constant_array_expr (source) @@ -6847,7 +6848,14 @@ gfc_simplify_reshape (gfc_expr *source, gfc_expr *shape_exp, result->rank = rank; result->shape = gfc_get_shape (rank); for (i = 0; i < rank; i++) - mpz_init_set_ui (result->shape[i], shape[i]); + { + mpz_init_set_ui (result->shape[i], shape[i]); + if (shape[i] == 0) + zerosize = true; + } + + if (zerosize) + goto sizezero; while (nsource > 0 || npad > 0) { @@ -6897,6 +6905,8 @@ inc: break; } +sizezero: + mpz_clear (index); return result; diff --git a/gcc/testsuite/gfortran.dg/reshape_8.f90 b/gcc/testsuite/gfortran.dg/reshape_8.f90 new file mode 100644 index 00000000000..01799ac5c19 --- /dev/null +++ b/gcc/testsuite/gfortran.dg/reshape_8.f90 @@ -0,0 +1,14 @@ +! { dg-do compile } +! { dg-options "-fdump-tree-original" } +! +! Test the fix for PR96624 in which an attempt was made to assign +! to the zero length temporary created by reshape, resulting in a segfault. +! +! Contributed by Dong Shenpo +! +program test + integer :: a(2,0) + a = reshape([1,2,3,4], [2,0]) + print *, a +end +! { dg-final { scan-tree-dump-times "data" 4 "original" } } -- 2.30.2