gcc/testsuite/gnat.dg/vect16.adb

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