1 /* { dg-do run } */
2 
3 int x = 1;
4 
5 __attribute__((noinline, noclone)) void
foo(unsigned long long t)6 foo (unsigned long long t)
7 {
8   asm volatile ("" : : "r" (&t));
9   if (t == 1)
10     __builtin_abort ();
11 }
12 
13 int
main()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 }
23