2 -- { dg-options "-g -O" }
4 with Ada
.Unchecked_Conversion
;
6 package body Unchecked_Convert8
is
8 type T1
is range 0 .. 255;
24 type T3
is range 0 .. (2**16 - 1);
28 new Ada
.Unchecked_Conversion
(Source
=> T2
, Target
=> T3
);
30 C
: constant T3
:= T2_TO_T3
(S
=> (A
=> 0, B
=> 0));
32 procedure Dummy
is begin null; end;
34 end Unchecked_Convert8
;