gcc/testsuite/gnat.dg/vect18.adb

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