From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <tkoenig@netcologne.de>
Received: from cc-smtpout2.netcologne.de (cc-smtpout2.netcologne.de
 [IPv6:2001:4dd0:100:1062:25:2:0:2])
 by sourceware.org (Postfix) with ESMTPS id 930A3394742E;
 Wed, 17 Feb 2021 21:55:53 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org 930A3394742E
Received: from cc-smtpin2.netcologne.de (cc-smtpin2.netcologne.de [89.1.8.202])
 by cc-smtpout2.netcologne.de (Postfix) with ESMTP id 014F212909;
 Wed, 17 Feb 2021 22:55:52 +0100 (CET)
Received: from localhost (localhost [127.0.0.1])
 by cc-smtpin2.netcologne.de (Postfix) with ESMTP id F045011E57;
 Wed, 17 Feb 2021 22:55:51 +0100 (CET)
Received: from [2001:4dd7:d168:0:445d:3f9f:b701:aafd]
 (helo=cc-smtpin2.netcologne.de)
 by localhost with ESMTP (eXpurgate 4.19.0)
 (envelope-from <tkoenig@netcologne.de>)
 id 602d90e7-0254-7f0000012729-7f000001aa72-1
 for <multiple-recipients>; Wed, 17 Feb 2021 22:55:51 +0100
Received: from linux-p51k.fritz.box
 (2001-4dd7-d168-0-445d-3f9f-b701-aafd.ipv6dyn.netcologne.de
 [IPv6:2001:4dd7:d168:0:445d:3f9f:b701:aafd])
 (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)
 key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256)
 (No client certificate requested)
 by cc-smtpin2.netcologne.de (Postfix) with ESMTPSA;
 Wed, 17 Feb 2021 22:55:49 +0100 (CET)
Subject: Re: [Patch] Fortran: Fix ubound simplifcation [PR99027]
To: Tobias Burnus <burnus@net-b.de>, gcc-patches <gcc-patches@gcc.gnu.org>,
 fortran <fortran@gcc.gnu.org>
References: <767e8576-908d-769d-7c63-80a7f6a048af@net-b.de>
From: Thomas Koenig <tkoenig@netcologne.de>
Message-ID: <914dbea2-e8ee-5af0-e03c-86c0aa874b6b@netcologne.de>
Date: Wed, 17 Feb 2021 22:55:49 +0100
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101
 Thunderbird/78.7.0
MIME-Version: 1.0
In-Reply-To: <767e8576-908d-769d-7c63-80a7f6a048af@net-b.de>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Language: de-DE
Content-Transfer-Encoding: 8bit
X-Spam-Status: No, score=-3.8 required=5.0 tests=BAYES_00, DKIM_SIGNED,
 DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, NICE_REPLY_A, RCVD_IN_DNSWL_LOW,
 SPF_HELO_NONE, SPF_PASS, TXREP autolearn=ham autolearn_force=no version=3.4.2
X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on
 server2.sourceware.org
X-BeenThere: fortran@gcc.gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Fortran mailing list <fortran.gcc.gnu.org>
List-Unsubscribe: <https://gcc.gnu.org/mailman/options/fortran>,
 <mailto:fortran-request@gcc.gnu.org?subject=unsubscribe>
List-Archive: <https://gcc.gnu.org/pipermail/fortran/>
List-Help: <mailto:fortran-request@gcc.gnu.org?subject=help>
List-Subscribe: <https://gcc.gnu.org/mailman/listinfo/fortran>,
 <mailto:fortran-request@gcc.gnu.org?subject=subscribe>
X-List-Received-Date: Wed, 17 Feb 2021 21:55:55 -0000

Hi Tobias,

> The problem which accessing dim=<n> for an expression is that
> when the argument is an array, dim=<n> and expr->rank are relative
> to the resulting array – but the array-ref also contains the
> DIMEN_ELEMENT which does not count for dim=/rank.
> 
> OK for the trunk? (Reported against GCC 11, but I wonder whether
> we should still apply it to GCC 10.)

OK, also OK for gcc 10 (a clear wrong-code bug with a
clear solution is fine, IMHO).

Best regards

	Thomas