view gcc/testsuite/gnat.dg/array17.adb @ 158:494b0b89df80 default tip

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 18:13:55 +0900
parents 04ced10e8804
children
line wrap: on
line source

-- { dg-do compile }

with Array17_Pkg; use Array17_Pkg;

procedure Array17 is
   X : aliased Varray := (1 .. 8 => 1.0);
   Y : Varray (1 .. 8) := (others => -1.0);
   R : Varray (1 .. 8);
begin
   R (1 .. 4) := Y (1 .. 4) + X (1 .. 4);
end;