blob: 76b6fc7de5a2d9ce8737eb7322958e95b05d6b85 [file] [log] [blame]
-- { dg-do compile { target i?86-*-* x86_64-*-* } }
-- { dg-options "-O3 -msse2 -fdump-tree-vect-details" }
package body Vect17 is
procedure Add (X, Y : aliased Sarray; R : aliased out Sarray) is
begin
R(1) := X(5) + Y(5);
for I in 1 .. 4 loop
R(I + 1) := X(I) + Y(I);
end loop;
end;
end Vect17;
-- { dg-final { scan-tree-dump "possible aliasing" "vect" } }