OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

[Ada] Refine type in expansion of array equality

Browse Source 
gcc/ada/

	* exp_ch4.adb (Handle_One_Dimension): Parameter N must be always
	positive, because it is translated into expression of 'First and
	'Last.
This commit is contained in:
Piotr Trojanek 2021-10-27 17:32:52 +02:00 committed by Pierre-Marie de Rodat
parent e93e554454
commit b5f17bffea
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
gcc/ada/exp_ch4.adb
View File

@ -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 :=