1 /* { dg-do run } */
2 /* { dg-additional-options "-w -Wno-psabi" } */
3 
4 typedef unsigned V __attribute__ ((vector_size (16)));
5 
6 V
foo(unsigned x,V 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
main()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 }
24