3 with System
, Ada
.Unchecked_Conversion
;
4 procedure alignment3
is
6 type Value_Type
(Is_Short
: Boolean) is record
8 when True => V
: Natural;
9 when others => A
, B
: Natural;
13 type Link_Type
(Short_Values
: Boolean) is record
14 Input
, Output
: Value_Type
(Short_Values
);
15 Initialized
: Boolean;
18 pragma No_Component_Reordering
(Link_Type
);
20 type Link_Access
is access Link_Type
;
22 type Natural_Access
is access all Natural;
23 function To_Natural_Access
is
24 new Ada
.Unchecked_Conversion
(System
.Address
, Natural_Access
);
28 procedure N_Probes_For
(Link
: Link_Access
) is
30 Ptr
:= To_Natural_Access
(Link
.N_Probes
'address);
31 Ptr
:= To_Natural_Access
(Link
.Initialized
'address);