From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mout.gmx.net (mout.gmx.net [212.227.15.19]) by sourceware.org (Postfix) with ESMTPS id 562A43858D28; Tue, 24 Jan 2023 20:47:33 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 562A43858D28 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=gmx.de Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=gmx.de DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=gmx.de; s=s31663417; t=1674593251; bh=nfswcvrz7LE0rqgAIAd4vT6A5TfeQFTgsB6ZP1byyEw=; h=X-UI-Sender-Class:From:To:Subject:Date; b=aU5G6z9PUJGupxjy1w2OEi/cKnFgJtrp1X7oBSFuySLdYsjEixXmKLS2hzqs5nCkL AceVL4pmPB0RWtxNDDGLkKXhUre5GnNJF0Sb4yw6n6GxhVxrcSqg9fKW6J1V9V2g8l yZgZdi0xVJZs4Tw2SQsJ/z9Gv0xPnvgp9zQRHVqW0AHHRQuGS+1c2/a2Usvdy5GBzu AIMFu6tL9eGsFJ6MMLS3smP7jTTIMB2byer+Jy3Zj0MKj37G0nVq0MB5H9K6aXNtLL X9/mnbBt5Vzxq7RKqw6yxFb0NjdBNY1oU5ur6WUKJ/wexMg99+jGvLCucSkOiTK5G2 D3YWhGR7X+YOg== X-UI-Sender-Class: 724b4f7f-cbec-4199-ad4e-598c01a50d3a Received: from [93.207.87.68] ([93.207.87.68]) by web-mail.gmx.net (3c-app-gmx-bs66.server.lan [172.19.170.210]) (via HTTP); Tue, 24 Jan 2023 21:47:31 +0100 MIME-Version: 1.0 Message-ID: From: Harald Anlauf To: fortran , gcc-patches Subject: [PATCH, committed] Fortran: ICE in transformational_result [PR108529] Content-Type: multipart/mixed; boundary=sgnirk-04cb7fdc-0a78-465c-a04a-c988a5a5a271 Date: Tue, 24 Jan 2023 21:47:31 +0100 Importance: normal Sensitivity: Normal X-Priority: 3 X-Provags-ID: V03:K1:0wZp49uAH47t868WvoljbH7QnR1ppD56jrSAKMQexKU2GfpiSRiDTx7vZCgPK06PbRtZQ ILSDv37o7HSma1wwXcQSxtXXsCwI3+sb9n9EOOh+qzuGZvVWw/lzhsvl3fuLodGSefDA30fUWGpY xNxaZ6SZ17eHuwL3b+qn0+2wrQ8WIX7beAA9havi+XoZiFNbgbOdpByLcaxOQWmIXoM6X0OGufVp ryFj2XnvGr3P3QvcGYhNNR10JAS3x46PhB9Cqvg7LpUmkn8pNyqvhrj1PJpYgOOL5wpzmrJ2sRBk 9s= UI-OutboundReport: notjunk:1;M01:P0:gj0SOjlYScc=;SXfWIxq+/mO7IovbzKdzdxL1Uh+ TjyNniCG8VxxgfoRR2cLQdc9ntKWAedDqbWdZoALI1rlnCAOStOO2XPgjySPyDJ+yqIZIqxPs 8Hu4S5NOZyGCXtw9WnJ+ZboVN3aMZQ8WywJDWHCRaqc/lXZopSR8JQdS7Mhna4SVros6ND3SZ 2MJMMGWgq+2SQB0+oc614Su5QJu46kG6Bx7lvWYcCQOkMJr74YseByxJ1lyw/7EdNoLz38l3Q eBsp/cJETC7DXnGtAQ8xm9HUlz8tPQ+Up1Wa1gdnSPP6BPRcev2sW8091wO6aEwCcVOWbkYwR ABjioXwx09xcjz0oHRE2DbZkZSX6cP3XrLLepScRj9eiNfkdiRzBM4yoHR52MgMjikpgXlBEI ZccK24n8rSasoyf7aJDWk6z2g97iGGKD9sGAyMyIY3/Bo5qHZeq8NWYvlER7+aNLtPNE7rZg3 BkO0szHXqe/q1gzDpAY5o6h02S79bqzYy9j8+o65Grv1s6zLp0M3FlGXEQWcZcmObsYFupyGX JdFqMXGptqMH9QMTm4A9bW+/n4Po/xkRDptA2CtypiBF9kbBQGZqKaX0I8m2Xj4FIgCMjY7QK J4GyxD5GiqLCUbuiVl12cnA1eN2Qj9EW26UtQSmxRvft/FEZMGWaZ9ygjGlpH6ZvzAcdopesa jPljx7rgk/PZAZ93Yni+YELlbhXyNkWTaCPdCbDEhNWishbvO1ifSZ7fOYO1WuKlBfbjmQMDg G+JVeHENxTVOkU+UpT7u/4FaWSWWwtlMib8ATt1khkqywlGXYbUqtl4McSh9vexKwWTmcuS6b rbWXgMqqxUSGgKuuab8xKKjWi6BMwJm70PD3CcALCkiQY= X-Spam-Status: No, score=-13.1 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM,GIT_PATCH_0,KAM_SHORT,RCVD_IN_DNSWL_LOW,RCVD_IN_MSPIKE_H2,SPF_HELO_NONE,SPF_PASS,TXREP autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: --sgnirk-04cb7fdc-0a78-465c-a04a-c988a5a5a271 Content-Type: text/plain; charset=UTF-8 Dear all, we ICE'd in the simplification of the transformational intrinsic ANY when the passed ARRAY argument had an invalid declaration. The reason was a reference to array->shape which was NULL. Obvious solution: then just don't attempt to simplify. Regtested on x86_64-pc-linux-gnu and pushed to mainline as https://gcc.gnu.org/g:6c96382eed96a9285611f2e3e2e59557094172b8 The PR is marked as a 10/11/12/13 regression, thus I plan to backport. Thanks, Harald --sgnirk-04cb7fdc-0a78-465c-a04a-c988a5a5a271 Content-Type: text/x-patch Content-Disposition: attachment; filename=pr108529.diff Content-Transfer-Encoding: quoted-printable =46rom 6c96382eed96a9285611f2e3e2e59557094172b8 Mon Sep 17 00:00:00 2001 From: Harald Anlauf Date: Tue, 24 Jan 2023 21:39:43 +0100 Subject: [PATCH] Fortran: ICE in transformational_result [PR108529] gcc/fortran/ChangeLog: PR fortran/108529 * simplify.cc (simplify_transformation): Do not try to simplify transformational intrinsic when the ARRAY argument has a NULL shape. gcc/testsuite/ChangeLog: PR fortran/108529 * gfortran.dg/pr108529.f90: New test. =2D-- gcc/fortran/simplify.cc | 1 + gcc/testsuite/gfortran.dg/pr108529.f90 | 9 +++++++++ 2 files changed, 10 insertions(+) create mode 100644 gcc/testsuite/gfortran.dg/pr108529.f90 diff --git a/gcc/fortran/simplify.cc b/gcc/fortran/simplify.cc index f413f132b3f..20ea38e0007 100644 =2D-- a/gcc/fortran/simplify.cc +++ b/gcc/fortran/simplify.cc @@ -720,6 +720,7 @@ simplify_transformation (gfc_expr *array, gfc_expr *di= m, gfc_expr *mask, size_zero =3D gfc_is_size_zero_array (array); if (!(is_constant_array_expr (array) || size_zero) + || array->shape =3D=3D NULL || !gfc_is_constant_expr (dim)) return NULL; diff --git a/gcc/testsuite/gfortran.dg/pr108529.f90 b/gcc/testsuite/gfortr= an.dg/pr108529.f90 new file mode 100644 index 00000000000..34c9691fae1 =2D-- /dev/null +++ b/gcc/testsuite/gfortran.dg/pr108529.f90 @@ -0,0 +1,9 @@ +! { dg-do compile } +! PR fortran/108529 - ICE in transformational_result +! Contributed by G.Steinmetz + +program p + integer, parameter :: a(*,*) =3D reshape([1, 2, 3, 4], [2, 2]) + logical, parameter :: b(2,*) =3D a > 2 ! { dg-error "Assumed size" = } + logical, parameter :: c(*) =3D all(b, 1) ! { dg-error "Bad shape" } +end =2D- 2.35.3 --sgnirk-04cb7fdc-0a78-465c-a04a-c988a5a5a271--