diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2023-03-08 15:12:27 +0100 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-05-25 09:44:18 +0200 |
| commit | 5b8bdb676dae45d51af82c7e56968d1e1af1a494 (patch) | |
| tree | 193c97d51640931f656bec751be7dc21af483cda /gcc/tree-vectorizer.h | |
| parent | 70ff3a2e4c85d2d48717067708631b56aa929a6e (diff) | |
| download | gcc-5b8bdb676dae45d51af82c7e56968d1e1af1a494.zip gcc-5b8bdb676dae45d51af82c7e56968d1e1af1a494.tar.gz gcc-5b8bdb676dae45d51af82c7e56968d1e1af1a494.tar.bz2 | |
ada: Decouple size of addresses and pointers from size of memory space
This decouples the size of the types representing addresses and pointers,
which is Standard'Address_Size, from the size of the memory space, which
is System.Memory_Size (more precisely log2 of it). They are tied through
the definition of System.Address:
type Address is mod Memory_Size;
so Standard'Address_Size >= log2 (System.Memory_Size) necessarily, but the
equality does not hold on platforms where addresses and pointers contain
additional bits of metadata.
gcc/ada/
* libgnat/a-ststio.adb (Set_Mode): Test System.Memory_Size.
* libgnat/g-debuti.ads (Address_64): Likewise.
* libgnat/i-c.ads: Add with clause for System.
(ptrdiff_t): Define based on the size of memory space.
(size_t): Likewise.
* libgnat/s-crtl.ads (size_t): Likewise.
(ssize_t): Likewise.
* libgnat/s-memory.ads (size_t): Likewise.
* libgnat/s-parame.ads (Size_Type): Likewise.
* libgnat/s-parame__hpux.ads (Size_Type): Likewise.
* libgnat/s-parame__posix2008.ads (Size_Type): Likewise.
* libgnat/s-parame__vxworks.ads (Size_Type): Likewise.
* libgnat/s-putima.adb (Signed_Address): Likewise.
(Unsigned_Address): Likewise.
* libgnat/s-stoele.ads (Storage_Offset): Likewise.
Diffstat (limited to 'gcc/tree-vectorizer.h')
0 files changed, 0 insertions, 0 deletions