gcc/testsuite/gnat.dg/loop_optimization18_pkg.ads

   1 with Unchecked_Conversion;
   2
   3 package Loop_Optimization18_Pkg is
   4
   5    type Arr is array (Integer range <>) of Natural;
   6
   7    type Rec (UB : Integer) is record
   8       L : Arr (1 .. UB);
   9    end record;
  10
  11    type Byte_Array_Type is new String (1..4);
  12
  13    function Conv is new Unchecked_Conversion (Byte_Array_Type, Integer);
  14
  15 end Loop_Optimization18_Pkg;