blob: 6297e276e0f88af34f0eee42c8e2a5582b034c11 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
-- { dg-do compile }
with Ada.Unchecked_Conversion;
procedure Unchecked_Convert13 is
type B16_T is mod 2 ** 16;
for B16_T'Size use 16;
for B16_T'Alignment use 1;
type Rec_T is record
A : Short_Integer;
end record;
for Rec_T use record
A at 0 range 0 .. 15;
end record;
for Rec_T'Size use 16;
Rec : constant Rec_T := (A => 0);
function Rec_To_B16 is new Ada.Unchecked_Conversion (Rec_T, B16_T);
procedure Nested (B16 : B16_T) is
begin
null;
end;
begin
Nested (Rec_To_B16 (Rec));
end;
|