1-- { dg-do compile { target i?86-*-* x86_64-*-* } }
2-- { dg-options "-O3 -msse2 -fdump-tree-vect-details" }
3
4package body Vect17 is
5
6   procedure Add (X, Y : aliased Sarray; R : aliased out Sarray) is
7   begin
8      R(1) := X(5) + Y(5);
9      for I in 1 .. 4 loop
10         R(I + 1) := X(I) + Y(I);
11      end loop;
12   end;
13
14end Vect17;
15
16-- { dg-final { scan-tree-dump "possible aliasing" "vect"  } }
17