OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

[Ada] Small adjustment to Get_Integer_Type function

Browse Source 
2020-06-18  Eric Botcazou  <ebotcazou@adacore.com>

gcc/ada/

	* exp_attr.adb (Get_Integer_Type): Pick an unsigned type based
	on the Esize of the base type of the input type.
This commit is contained in:
Eric Botcazou 2020-04-20 23:31:42 +02:00 committed by Pierre-Marie de Rodat
parent 2e64cf0552
commit 25a11453ca
1 changed files with 11 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
gcc/ada/exp_attr.adb
View File

@ -1750,23 +1750,25 @@ package body Exp_Attr is
----------------------
function Get_Integer_Type (Typ : Entity_Id) return Entity_Id is
Siz : constant Uint := RM_Size (Base_Type (Typ));
Siz : constant Uint := Esize (Base_Type (Typ));
Int_Typ : Entity_Id;
begin
-- We need to accommodate unsigned values
-- We need to accommodate invalid values of the base type since we
-- accept them for Enum_Rep and Pos, so we reason on the Esize. And
-- we use an unsigned type since the enumeration type is unsigned.
if Siz < RM_Size (Standard_Short_Short_Integer) then
Int_Typ := Standard_Short_Short_Integer;
if Siz <= Esize (Standard_Short_Short_Unsigned) then
Int_Typ := Standard_Short_Short_Unsigned;
elsif Siz < RM_Size (Standard_Short_Integer) then
Int_Typ := Standard_Short_Integer;
elsif Siz <= Esize (Standard_Short_Unsigned) then
Int_Typ := Standard_Short_Unsigned;
elsif Siz < RM_Size (Standard_Integer) then
Int_Typ := Standard_Integer;
elsif Siz <= Esize (Standard_Unsigned) then
Int_Typ := Standard_Unsigned;
else
Int_Typ := Standard_Long_Long_Integer;
raise Program_Error;
end if;
return Int_Typ;