gcc/testsuite/gnat.dg/loop_optimization18_pkg.ads


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

with Unchecked_Conversion;

package Loop_Optimization18_Pkg is

   type Arr is array (Integer range <>) of Natural;

   type Rec (UB : Integer) is record
      L : Arr (1 .. UB);
   end record;

   type Byte_Array_Type is new String (1..4);

   function Conv is new Unchecked_Conversion (Byte_Array_Type, Integer);

end Loop_Optimization18_Pkg;