gcc/testsuite/gcc.dg/vect/pr83867.c

   1 /* { dg-do compile } */
   2 /* { dg-additional-options "-O -ftrapv" } */
   3
   4 int
   5 k5 (int u5, int aw)
   6 {
   7   int v6;
   8
   9   while (u5 < 1)
  10     {
  11       while (v6 < 4)
  12         ++v6;
  13
  14       v6 = 0;
  15       aw += u5 > 0;
  16       ++u5;
  17     }
  18
  19   return aw;
  20 }