https://gcc.gnu.org/g:eef3025547ce55cbf6a9018b495ef5c9a562047a
commit r15-664-geef3025547ce55cbf6a9018b495ef5c9a562047a
Author: Eric Botcazou <ebotca...@adacore.com>
Date: Tue Mar 19 10:56:34 2024 +0100
ada: One more adjustment coming from aliasing considerations
It is needed on PowerPC platforms because of specific calling conventions.
gcc/ada/
* libgnat/g-sothco.ads (In_Addr): Add aspect Universal_Aliasing.
Diff:
---
gcc/ada/libgnat/g-sothco.ads | 7 +++++--
1 file changed, 5 insertions(+), 2 deletions(-)
diff --git a/gcc/ada/libgnat/g-sothco.ads b/gcc/ada/libgnat/g-sothco.ads
index 8c2193336491..da1e6f5bcddf 100644
--- a/gcc/ada/libgnat/g-sothco.ads
+++ b/gcc/ada/libgnat/g-sothco.ads
@@ -123,10 +123,13 @@ package GNAT.Sockets.Thin_Common is
type In_Addr is record
S_B1, S_B2, S_B3, S_B4 : C.unsigned_char;
- end record with Convention => C, Alignment => C.int'Alignment;
+ end record
+ with Convention => C, Alignment => C.int'Alignment, Universal_Aliasing;
-- IPv4 address, represented as a network-order C.int. Note that the
-- underlying operating system may assume that values of this type have
- -- C.int alignment, so we need to provide a suitable alignment clause here.
+ -- C.int's alignment, so we need to provide a suitable alignment clause.
+ -- We also need to inhibit strict type-based aliasing optimizations in
+ -- order to implement the following unchecked conversions efficiently.
function To_In_Addr is new Ada.Unchecked_Conversion (C.int, In_Addr);
function To_Int is new Ada.Unchecked_Conversion (In_Addr, C.int);
