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;