[Ada] Refine types of variables for parsing formal object declarations
authorPiotr Trojanek <trojanek@adacore.com>
Mon, 30 Nov 2020 11:04:05 +0000 (12:04 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 16 Dec 2020 13:01:03 +0000 (08:01 -0500)
gcc/ada/

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

gcc/ada/par-ch12.adb

index 7743670455e7532430b0927244007aed1024c677..99abf88cc3f2e03dd987b0978f9273b223bafde1 100644 (file)
@@ -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.