1  /* PR target/93494 */
       2  
       3  unsigned short a;
       4  
       5  int
       6  main ()
       7  {
       8    register unsigned long long y = 0;
       9    int x = __builtin_add_overflow (y, 0ULL, &a);
      10    if (x || a)
      11      __builtin_abort ();
      12    return 0;
      13  }