[gcc(refs/users/guojiufu/heads/personal-branch)] [Ada] Refine type of a counter-like variable

[Jiu Fu Guo]

https://gcc.gnu.org/g:5c4adf10c5637284e63fffce8a7ac4ee6afbce29

commit 5c4adf10c5637284e63fffce8a7ac4ee6afbce29
Author: Piotr Trojanek <trojanek@adacore.com>
Date:   Thu Mar 19 00:04:43 2020 +0100

    [Ada] Refine type of a counter-like variable
    
    2020-06-11  Piotr Trojanek  <trojanek@adacore.com>
    
    gcc/ada/
    
            * sem_aggr.adb (Resolve_Record_Aggregate): Refine type of
            Others_Box.

Diff:
---
 gcc/ada/sem_aggr.adb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gcc/ada/sem_aggr.adb b/gcc/ada/sem_aggr.adb
index 84695b4bf60..19c44c274a2 100644
--- a/gcc/ada/sem_aggr.adb
+++ b/gcc/ada/sem_aggr.adb
@@ -3283,7 +3283,7 @@ package body Sem_Aggr is
 
       Box_Node       : Node_Id := Empty;
       Is_Box_Present : Boolean := False;
-      Others_Box     : Integer := 0;
+      Others_Box     : Natural := 0;
       --  Ada 2005 (AI-287): Variables used in case of default initialization
       --  to provide a functionality similar to Others_Etype. Box_Present
       --  indicates that the component takes its default initialization;