From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mout.gmx.net (mout.gmx.net [212.227.17.21]) by sourceware.org (Postfix) with ESMTPS id E0C5638768B1; Mon, 25 Jul 2022 16:01:08 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org E0C5638768B1 X-UI-Sender-Class: 01bb95c1-4bf8-414a-932a-4f6e2808ef9c Received: from [93.207.82.48] ([93.207.82.48]) by web-mail.gmx.net (3c-app-gmx-bap61.server.lan [172.19.172.131]) (via HTTP); Mon, 25 Jul 2022 18:01:04 +0200 MIME-Version: 1.0 Message-ID: From: Harald Anlauf To: Mikael Morin Cc: fortran , gcc-patches Subject: Re: [PATCH] Fortran: fix invalid rank error in ASSOCIATED when rank is remapped [PR77652] Content-Type: text/plain; charset=UTF-8 Date: Mon, 25 Jul 2022 18:01:04 +0200 Importance: normal Sensitivity: Normal In-Reply-To: <8e300265-e24c-59c2-19b0-3d74fc5ed425@orange.fr> References: <8e300265-e24c-59c2-19b0-3d74fc5ed425@orange.fr> Content-Transfer-Encoding: quoted-printable X-UI-Message-Type: mail X-Priority: 3 X-Provags-ID: V03:K1:kOEDmMJM4DDz22NDX0DW0qCSa6WLv1DbKn7rQH7FJXbdx97yLhSGW1q0TZis2HotxEnZw KIymr4/ocDYm9uKsk/Lv1Nf1XusdgmlqblFA7hciQ6BMe1TWxchvJY22gouat6e3Uu4fgO7nORCI my3kdvGxgphnG86fy3xsSvbbLCNHUDSITnHN5sfNTpR3xmQWaxL0isC8cAlp3VltaFK2n7XhZU02 NEOWPIbQ2voWPnGXQ7HqxpVlIu4+1FA2jY2u5mr9jEvYlKtTbGmivISuQjfloV6e1YNfM8N2iyUS aI= X-UI-Out-Filterresults: notjunk:1;V03:K0:7dxRCma9uYw=:lvZpr5+WqMl8nDVbhH6s+c SPWHA2qHYwdPvGNg/vMvD57ULjlTdUKEeugWVezIYjNbACK9BcjkqRhwjlssxLM4eYbRig1sZ ZrwL+KE+zXNUdKDDg5ea19c9kgAp15nlFsGgKwpGgcrWUQ6vzGRcUx3E6rMEEQYbTFyxnkHUa HLjoi87GwtE7u+mYRDaeG7IuF1x9czYmb3X4n9siFX+SKGA4BlLisAwcslG7Vi3JsSoTUR7Wf RH8JUonZLfuXUmZHh0c9WjUyzRhFHMx92LbnR5uM9w/yDEkhfLAHsRiA5RqN5oNQMp9Uahw4a eH3s6eZdbB+FEfUUDsxlI2UgQOgcXZLeacqEWEI2xQ+BB78rFBdkQpmCYVpR3goUJn2WLNk99 GQ6DSt3MmNGjwlcObjof/XeRyW62XsCmfCwNCfO4L2hXW9FqLH/9ci/payU9CfR84aQj/YL8e 6Gksm29k6XZXIaZ/VP1g71Uzyprb3ZlhJP5c1VibqLpEgLDZsRGHdce6q+aBP/xymDgEsWUZ3 /Xj+bwpe02ydEnmCfz4B+7Vb1YT/6R0Ak2BaNRfaEYatubtHs2rdpvYzaroSl5sVOgQnuBeqi KoWi0zSHk6IoncIH5F//GCSiH+QLwF85JfkFNePnqjS7e0Cc/P39QTxqeGnV0HwFLKfVf3P16 VMbJGMRs8ts+DrbLzExrPoAVd+uduZYeGgp3rXalnKGQv9wjYUsXgI37jduVf8X7KVD1vYE57 zlCTjUKmG18qi9jGyA9uXxUO9ftMqmYNDLBoeYstMBztTJV8ZFbgC1cXcWN4Hqz7o2wjQKSzV Kpxt1OH X-Spam-Status: No, score=-4.7 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, FREEMAIL_FROM, 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 X-BeenThere: fortran@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Fortran mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 25 Jul 2022 16:01:11 -0000 Hi Mikael, all, a discussion in the Intel compiler forum suggests that the F2018 standard prohibits such use of the ASSOCIATED intrinsic=2E https://community=2Eintel=2Ecom/t5/Intel-Fortran-Compiler/Intel-rejects-AS= SOCIATED-pointer-target-for-non-equal-ranks/m-p/1402799/highlight/true#M162= 159 As a consequence, the PR is likely invalid, as is the patch=2E Withdrawing=2E Sorry for the noise! Harald > Gesendet: Montag, 25=2E Juli 2022 um 12:43 Uhr > Von: "Mikael Morin" > An: "Harald Anlauf" , "fortran" , "gcc-patches" > Betreff: Re: [PATCH] Fortran: fix invalid rank error in ASSOCIATED when = rank is remapped [PR77652] > > Le 21/07/2022 =C3=A0 22:12, Harald Anlauf via Fortran a =C3=A9crit=C2=A0= : > > Dear all, > >=20 > > the rank check for ASSOCIATED (POINTER, TARGET) did not allow all > > rank combinations that were allowed in pointer assignment for > > newer versions of the Fortran standard (F2008+)=2E Fix the logic=2E > >=20 > So, if I understand correctly the (fixed) logic, it is: > f2008+ =3D> no check > f2003 =3D> check target=E2=80=99s rank different from 1 > up to f95 =3D> check pointer=E2=80=99s rank equals target=E2=80=99s >=20 >=20 > I think one check is missing, that is when pointer is scalar and the=20 > target is non-scalar (either rank 1 or not)=2E This case should also be= =20 > rejected for f2003+, not just up to f95=2E >=20 > Mikael >