From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2071) id A66973858D20; Fri, 4 Feb 2022 19:21:08 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org A66973858D20 MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: Harald Anlauf To: gcc-cvs@gcc.gnu.org Subject: [gcc r9-9939] Fortran: reject simplifying TRANSFER for MOLD with storage size 0 X-Act-Checkin: gcc X-Git-Author: Harald Anlauf X-Git-Refname: refs/heads/releases/gcc-9 X-Git-Oldrev: adb094ab668cd6c97c81a059fef52af04f837733 X-Git-Newrev: 2953e3d1b9b36b441f5a33d696760ed56742ee1e Message-Id: <20220204192108.A66973858D20@sourceware.org> Date: Fri, 4 Feb 2022 19:21:08 +0000 (GMT) X-BeenThere: gcc-cvs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-cvs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 04 Feb 2022 19:21:08 -0000 https://gcc.gnu.org/g:2953e3d1b9b36b441f5a33d696760ed56742ee1e commit r9-9939-g2953e3d1b9b36b441f5a33d696760ed56742ee1e Author: Harald Anlauf Date: Tue Feb 1 23:33:24 2022 +0100 Fortran: reject simplifying TRANSFER for MOLD with storage size 0 gcc/fortran/ChangeLog: PR fortran/104311 * check.c (gfc_calculate_transfer_sizes): Checks for case when storage size of SOURCE is greater than zero while the storage size of MOLD is zero and MOLD is an array shall not depend on SIZE. gcc/testsuite/ChangeLog: PR fortran/104311 * gfortran.dg/transfer_simplify_15.f90: New test. (cherry picked from commit 4e4252db0348a7274663a892c3a96d3ed7702aff) Diff: --- gcc/fortran/check.c | 2 +- gcc/testsuite/gfortran.dg/transfer_simplify_15.f90 | 11 +++++++++++ 2 files changed, 12 insertions(+), 1 deletion(-) diff --git a/gcc/fortran/check.c b/gcc/fortran/check.c index 8e0c8d974e5..3f5b057c0d4 100644 --- a/gcc/fortran/check.c +++ b/gcc/fortran/check.c @@ -5562,7 +5562,7 @@ gfc_calculate_transfer_sizes (gfc_expr *source, gfc_expr *mold, gfc_expr *size, * representation is not shorter than that of SOURCE. * If SIZE is present, the result is an array of rank one and size SIZE. */ - if (result_elt_size == 0 && *source_size > 0 && !size + if (result_elt_size == 0 && *source_size > 0 && (mold->expr_type == EXPR_ARRAY || mold->rank)) { gfc_error ("% argument of % intrinsic at %L is an " diff --git a/gcc/testsuite/gfortran.dg/transfer_simplify_15.f90 b/gcc/testsuite/gfortran.dg/transfer_simplify_15.f90 new file mode 100644 index 00000000000..cdbec97ae71 --- /dev/null +++ b/gcc/testsuite/gfortran.dg/transfer_simplify_15.f90 @@ -0,0 +1,11 @@ +! { dg-do compile } +! PR fortran/104311 - ICE out of memory +! Contributed by G.Steinmetz + +program p + type t + end type + type(t) :: x(2) + print *, transfer(1,x,2) ! { dg-error "shall not have storage size 0" } + print *, transfer(1,x,huge(1)) ! { dg-error "shall not have storage size 0" } +end