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