From: Eric Botcazou Date: Tue, 17 Dec 2019 12:10:11 +0000 (+0100) Subject: [Ada] Fix minor discrepancy in Expand_N_Attribute_Reference X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=33b9e98916b6b3042efdfc1f9341e25f51ecee04;p=gcc.git [Ada] Fix minor discrepancy in Expand_N_Attribute_Reference 2020-06-02 Eric Botcazou gcc/ada/ * exp_attr.adb (Expand_N_Attribute_Reference) : Adjust comment and compare against proper type. --- diff --git a/gcc/ada/exp_attr.adb b/gcc/ada/exp_attr.adb index d658f0b3c98..731d223122c 100644 --- a/gcc/ada/exp_attr.adb +++ b/gcc/ada/exp_attr.adb @@ -2460,11 +2460,11 @@ package body Exp_Attr is New_Node := Build_Get_Alignment (Loc, New_Node); -- Case where the context is a specific integer type with which - -- the original attribute was compatible. The function has a - -- specific type as well, so to preserve the compatibility we - -- must convert explicitly. + -- the original attribute was compatible. But the alignment has a + -- specific type in a-tags.ads (Standard.Natural) so, in order to + -- preserve type compatibility, we must convert explicitly. - if Typ /= Standard_Integer then + if Typ /= Standard_Natural then New_Node := Convert_To (Typ, New_Node); end if;