gcc/testsuite/gnat.dg/array17.adb

   1 -- { dg-do compile }
   2
   3 with Array17_Pkg; use Array17_Pkg;
   4
   5 procedure Array17 is
   6    X : aliased Varray := (1 .. 8 => 1.0);
   7    Y : Varray (1 .. 8) := (others => -1.0);
   8    R : Varray (1 .. 8);
   9 begin
  10    R (1 .. 4) := Y (1 .. 4) + X (1 .. 4);
  11 end;