2 -- { dg-options "-gnatp" }
6 type Family_Type
is (Family_Inet
, Family_Inet6
);
7 type Port_Type
is new Natural;
9 subtype Inet_Addr_Comp_Type
is Natural range 0 .. 255;
11 type Inet_Addr_VN_Type
is array (Natural range <>) of Inet_Addr_Comp_Type
;
13 subtype Inet_Addr_V4_Type
is Inet_Addr_VN_Type
(1 .. 4);
14 subtype Inet_Addr_V6_Type
is Inet_Addr_VN_Type
(1 .. 16);
16 type Inet_Addr_Type
(Family
: Family_Type
:= Family_Inet
) is record
19 Sin_V4
: Inet_Addr_V4_Type
:= (others => 0);
22 Sin_V6
: Inet_Addr_V6_Type
:= (others => 0);
26 type Sock_Addr_Type
(Family
: Family_Type
:= Family_Inet
) is record
27 Addr
: Inet_Addr_Type
(Family
);
31 function F
return Inet_Addr_Type
is
33 return Inet_Addr_Type
'
34 (Family => Family_Inet, Sin_V4 => (192, 168, 169, 170));
40 SA.Addr.Sin_V4 := (172, 16, 17, 18);
43 if SA.Port /= 1111 then