2 -- { dg-options "-gnatVa" }
4 with Unchecked_Conversion
;
6 procedure Unchecked_Convert3
is
8 type Word
is range -(2**15) .. (2**15) - 1;
9 type UWord
is mod (2**16);
11 function To_Word
is new unchecked_conversion
(UWord
, Word
);
13 function F
return UWord
is
18 W
: Word
:= To_Word
(F
);