From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1914) id E73683858422; Tue, 9 Nov 2021 09:46:35 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org E73683858422 MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: Pierre-Marie de Rodat To: gcc-cvs@gcc.gnu.org Subject: [gcc r12-5029] [Ada] Refine type in expansion of array equality X-Act-Checkin: gcc X-Git-Author: Piotr Trojanek X-Git-Refname: refs/heads/master X-Git-Oldrev: e93e554454d855231f257b3b95f4105b4da60cc0 X-Git-Newrev: b5f17bffea261a5fdd7b9a7bd334f21d528d3cfa Message-Id: <20211109094635.E73683858422@sourceware.org> Date: Tue, 9 Nov 2021 09:46:35 +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: Tue, 09 Nov 2021 09:46:36 -0000 https://gcc.gnu.org/g:b5f17bffea261a5fdd7b9a7bd334f21d528d3cfa commit r12-5029-gb5f17bffea261a5fdd7b9a7bd334f21d528d3cfa Author: Piotr Trojanek Date: Wed Oct 27 17:32:52 2021 +0200 [Ada] Refine type in expansion of array equality gcc/ada/ * exp_ch4.adb (Handle_One_Dimension): Parameter N must be always positive, because it is translated into expression of 'First and 'Last. Diff: --- gcc/ada/exp_ch4.adb | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gcc/ada/exp_ch4.adb b/gcc/ada/exp_ch4.adb index 26996444735..3db43dd870a 100644 --- a/gcc/ada/exp_ch4.adb +++ b/gcc/ada/exp_ch4.adb @@ -1637,7 +1637,7 @@ package body Exp_Ch4 is -- for that argument in the corresponding function formal function Handle_One_Dimension - (N : Int; + (N : Pos; Index : Node_Id) return Node_Id; -- This procedure returns the following code -- @@ -1786,7 +1786,7 @@ package body Exp_Ch4 is --------------------------- function Handle_One_Dimension - (N : Int; + (N : Pos; Index : Node_Id) return Node_Id is Need_Separate_Indexes : constant Boolean :=