[gcc r15-666] ada: Use System.Address for address computation in System.Pool_Global

[Marc Poulhi?s via Gcc-cvs]

https://gcc.gnu.org/g:16cdeadb33400238ea522541009ecd2a24769f0c

commit r15-666-g16cdeadb33400238ea522541009ecd2a24769f0c
Author: Sebastian Poeplau <poep...@adacore.com>
Date:   Wed Mar 20 11:48:22 2024 +0100

    ada: Use System.Address for address computation in System.Pool_Global
    
    Some architectures don't let us convert
    System.Storage_Elements.Integer_Address back to a valid System.Address.
    Using the arithmetic operations on System.Address from
    System.Storage_Elements prevents the problem while leaving semantics
    unchanged.
    
    gcc/ada/
    
            * libgnat/s-pooglo.adb (Allocate): Use arithmetic on
            System.Address to compute the aligned address.

Diff:
---
 gcc/ada/libgnat/s-pooglo.adb | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/gcc/ada/libgnat/s-pooglo.adb b/gcc/ada/libgnat/s-pooglo.adb
index dea3de15cc51..9ce21c8fd0da 100644
--- a/gcc/ada/libgnat/s-pooglo.adb
+++ b/gcc/ada/libgnat/s-pooglo.adb
@@ -75,9 +75,10 @@ package body System.Pool_Global is
 
          --  Realign the returned address
 
-         Aligned_Address := To_Address
-           (To_Integer (Allocated) + Integer_Address (Alignment)
-              - (To_Integer (Allocated) mod Integer_Address (Alignment)));
+         Aligned_Address :=
+           Allocated + Alignment
+           - Storage_Offset (To_Integer (Allocated)
+                             mod Integer_Address (Alignment));
 
          --  Save the block address