From: Piotr Trojanek <trojanek@adacore.com>
Date: Mon, 14 Dec 2020 13:49:02 +0000 (+0100)
Subject: [Ada] Refine type of a local size variable
X-Git-Tag: basepoints/gcc-13~8051
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c3ccc5d2ad10ee438eb1bc8effab2f45c5b28100;p=thirdparty%2Fgcc.git

[Ada] Refine type of a local size variable

gcc/ada/

	* layout.adb (Layout_Type): Refine type of a local variable with
	the required size of object from Int to Pos (it is initialized
	with 8 and only multiplied by 2); fix unbalanced parens in
	comment.
---

diff --git a/gcc/ada/layout.adb b/gcc/ada/layout.adb
index ad808495e604..0c65870503f0 100644
--- a/gcc/ada/layout.adb
+++ b/gcc/ada/layout.adb
@@ -368,7 +368,7 @@ package body Layout is
 
             if not Known_Esize (E) then
                declare
-                  S : Int := 8;
+                  S : Pos := 8;
 
                begin
                   loop
@@ -381,7 +381,7 @@ package body Layout is
                      --  If the RM_Size is greater than System_Max_Integer_Size
                      --  (happens only when strange values are specified by the
                      --  user), then Esize is simply a copy of RM_Size, it will
-                     --  be further refined later on).
+                     --  be further refined later on.
 
                      elsif S = System_Max_Integer_Size then
                         Set_Esize (E, RM_Size (E));