[gcc r11-6128] [Ada] Refine types of variables for parsing formal object declarations

[gcc r11-6128] [Ada] Refine types of variables for parsing formal object declarations

[Pierre-Marie de Rodat]

https://gcc.gnu.org/g:027ed68ca0f3addbca0c5824381d81bd0a5095b1

commit r11-6128-g027ed68ca0f3addbca0c5824381d81bd0a5095b1
Author: Piotr Trojanek <trojanek@adacore.com>
Date:   Mon Nov 30 12:04:05 2020 +0100

    [Ada] Refine types of variables for parsing formal object declarations
    
    gcc/ada/
    
            * par-ch12.adb (P_Formal_Object_Declarations): Refine types to
            Pos.

Diff:
---
 gcc/ada/par-ch12.adb | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/gcc/ada/par-ch12.adb b/gcc/ada/par-ch12.adb
index 7743670455e..99abf88cc3f 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.