1  /* PR target/108292 */
       2  
       3  typedef unsigned V __attribute__((__vector_size__ (64)));
       4  
       5  V x;
       6  
       7  int
       8  main ()
       9  {
      10    if (sizeof (unsigned) * __CHAR_BIT__ != 32)
      11      return 0;
      12    __builtin_sub_overflow (0, 6, &x[5]);
      13    x >>= ((V){} != x) & 31;
      14    for (unsigned i = 0; i < 16; i++)
      15      if (x[i] != (i == 5))
      16        __builtin_abort ();
      17    return 0;
      18  }