1  /* { dg-do run } */
       2  
       3  int x = 1;
       4  
       5  __attribute__((noinline, noclone)) void
       6  foo (unsigned long long t)
       7  {
       8    asm volatile ("" : : "r" (&t));
       9    if (t == 1)
      10      __builtin_abort ();
      11  }
      12  
      13  int
      14  main ()
      15  {
      16  #if __SIZEOF_LONG_LONG__ >= 8
      17    unsigned long long t = 0xffffffffffffffffULL * (0xffffffffUL * x);
      18    if (t != 0xffffffff00000001ULL)
      19      foo (t);;
      20  #endif
      21    return 0;
      22  }