diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2019-12-17 13:10:11 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-02 04:58:14 -0400 |
| commit | 33b9e98916b6b3042efdfc1f9341e25f51ecee04 (patch) | |
| tree | d484bca065947b440995aac3d0225e0b93c2e43e | |
| parent | 9b95ecdf3dc3faa04c60e8c09f3dafa6e6a1aab1 (diff) | |
| download | gcc-33b9e98916b6b3042efdfc1f9341e25f51ecee04.zip gcc-33b9e98916b6b3042efdfc1f9341e25f51ecee04.tar.gz gcc-33b9e98916b6b3042efdfc1f9341e25f51ecee04.tar.bz2 | |
[Ada] Fix minor discrepancy in Expand_N_Attribute_Reference
2020-06-02 Eric Botcazou <ebotcazou@adacore.com>
gcc/ada/
* exp_attr.adb (Expand_N_Attribute_Reference)
<Attribute_Alignment>: Adjust comment and compare against proper
type.
| -rw-r--r-- | gcc/ada/exp_attr.adb | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/gcc/ada/exp_attr.adb b/gcc/ada/exp_attr.adb index d658f0b..731d223 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; |