1  /* { dg-additional-options "-Wno-analyzer-use-of-uninitialized-value -Wno-psabi" } */
       2  
       3  typedef int __attribute__((__vector_size__(4))) T;
       4  typedef unsigned __attribute__((__vector_size__(4))) U;
       5  typedef unsigned __attribute__((__vector_size__(16))) V;
       6  typedef unsigned long __attribute__((__vector_size__(16))) W;
       7  
       8  U u;
       9  T t;
      10  
      11  void
      12  foo(W w) {
      13    U u = __builtin_shufflevector((V)w, u, 0);
      14    t = (T){} + u + u;
      15    foo((W){});
      16    for (;;)
      17      ;
      18  }