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