gcc/testsuite/gnat.dg/array17_pkg.ads

   1 package Array17_Pkg is
   2
   3    type Varray is array (Integer range <>) of Long_Float;
   4    for Varray'Alignment use 16;
   5
   6    function "+" (X, Y : Varray) return Varray;
   7
   8 end Array17_Pkg;