From: Piotr Trojanek <trojanek@adacore.com>
Date: Mon, 30 Nov 2020 11:04:05 +0000 (+0100)
Subject: [Ada] Refine types of variables for parsing formal object declarations
X-Git-Tag: basepoints/gcc-12~2129
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=027ed68ca0f3addbca0c5824381d81bd0a5095b1;p=thirdparty%2Fgcc.git

[Ada] Refine types of variables for parsing formal object declarations

gcc/ada/

	* par-ch12.adb (P_Formal_Object_Declarations): Refine types to
	Pos.
---

diff --git a/gcc/ada/par-ch12.adb b/gcc/ada/par-ch12.adb
index 7743670455e7..99abf88cc3f2 100644
--- a/gcc/ada/par-ch12.adb
+++ b/gcc/ada/par-ch12.adb
@@ -423,12 +423,12 @@ package body Ch12 is
 
    procedure P_Formal_Object_Declarations (Decls : List_Id) is
       Decl_Node        : Node_Id;
-      Ident            : Nat;
+      Ident            : Pos;
       Not_Null_Present : Boolean := False;
-      Num_Idents       : Nat;
+      Num_Idents       : Pos;
       Scan_State       : Saved_Scan_State;
 
-      Idents : array (Int range 1 .. 4096) of Entity_Id;
+      Idents : array (Pos range 1 .. 4096) of Entity_Id;
       --  This array holds the list of defining identifiers. The upper bound
       --  of 4096 is intended to be essentially infinite, and we do not even
       --  bother to check for it being exceeded.