2 -- { dg-options "-g -gnatVa" }
4 with Unchecked_Conversion;
6 procedure Unchecked_Convert7 is
8 type BPA is array (1 .. 23) of Boolean;
12 subtype Byte is Natural range 0 .. 255;
30 is new Unchecked_Conversion (Source => R, Target => Float);
32 F : Float := Conversion (R'(False, Byte'Last, (others => False)));