gcc-4.9/gcc/testsuite/gnat.dg/array17_pkg.ads


1
2
3
4
5
6
7
8

package Array17_Pkg is

   type Varray is array (Integer range <>) of Long_Float;
   for Varray'Alignment use 16;

   function "+" (X, Y : Varray) return Varray;

end Array17_Pkg;