[gcc/devel/autopar_devel] [Ada] Fix host/target confusion for attribute To_Address

[gcc/devel/autopar_devel] [Ada] Fix host/target confusion for attribute To_Address

[Giuliano Belinassi]

https://gcc.gnu.org/g:668d318f9f91a226c20f7c6bce14a4e36212e1ef

commit 668d318f9f91a226c20f7c6bce14a4e36212e1ef
Author: Eric Botcazou <ebotcazou@adacore.com>
Date:   Thu Apr 23 16:22:28 2020 +0200

    [Ada] Fix host/target confusion for attribute To_Address
    
    2020-06-18  Eric Botcazou  <ebotcazou@adacore.com>
    
    gcc/ada/
    
            * sem_attr.adb (Analyze_Attribute) <To_Address>: Use the address
            size of the target instead of the host when checking the value of
            a static expression.  Also use standard idiom for exponentiation.

Diff:
---
 gcc/ada/sem_attr.adb | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/gcc/ada/sem_attr.adb b/gcc/ada/sem_attr.adb
index d444b9f1c9d..80451937715 100644
--- a/gcc/ada/sem_attr.adb
+++ b/gcc/ada/sem_attr.adb
@@ -6274,9 +6274,9 @@ package body Sem_Attr is
          if Is_OK_Static_Expression (E1) then
             Val := Expr_Value (E1);
 
-            if Val < -(2 ** UI_From_Int (Standard'Address_Size - 1))
+            if Val < -(Uint_2 ** (System_Address_Size - 1))
                  or else
-               Val > 2 ** UI_From_Int (Standard'Address_Size) - 1
+               Val > Uint_2 ** System_Address_Size - 1
             then
                Error_Attr ("address value out of range for % attribute", E1);
             end if;
@@ -6293,7 +6293,7 @@ package body Sem_Attr is
             elsif Val < 0 then
                Set_Etype (E1, Universal_Integer);
 
-            --  Otherwise set type to Unsigned_64 to accommodate max values
+            --  Otherwise set type to Unsigned_64 to accommodate large values
 
             else
                Set_Etype (E1, Standard_Unsigned_64);