From b5f17bffea261a5fdd7b9a7bd334f21d528d3cfa Mon Sep 17 00:00:00 2001 From: Piotr Trojanek Date: Wed, 27 Oct 2021 17:32:52 +0200 Subject: [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. --- 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 2699644..3db43dd 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 := -- cgit v1.1