1  /* { dg-do compile } */
       2  /* { dg-additional-options "-Wno-psabi -w" } */
       3  
       4  typedef unsigned V __attribute__ ((vector_size (8)));
       5  V
       6  foo (unsigned x, V v)
       7  {
       8    do {
       9        v %= x;
      10        x = 1;
      11    } while (v[1]);
      12    return v;
      13  }
      14  void fn2 ()
      15  {
      16    V x = foo (5, (V) { 0, 1 });
      17    if (x[0] || x[1] || x[2] || x[3]);
      18  }