projects / gcc.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: cbbe41d)
[Ada] Refine type of a counter-like variable
authorPiotr Trojanek <trojanek@adacore.com>
Wed, 18 Mar 2020 23:04:43 +0000 (00:04 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 11 Jun 2020 09:53:53 +0000 (05:53 -0400)
2020-06-11  Piotr Trojanek  <trojanek@adacore.com>

gcc/ada/

* sem_aggr.adb (Resolve_Record_Aggregate): Refine type of
Others_Box.

gcc/ada/sem_aggr.adb patch | blob | history

diff --git a/gcc/ada/sem_aggr.adb b/gcc/ada/sem_aggr.adb
index 84695b4bf601708e500349248402368cf02978a7..19c44c274a26c86afe80cb96867efdff2cd8769c 100644 (file)
--- 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;