| /* { dg-do run } */ | |
| int x = 1; | |
| __attribute__((noinline, noclone)) void | |
| foo (unsigned long long t) | |
| { | |
| asm volatile ("" : : "r" (&t)); | |
| if (t == 1) | |
| __builtin_abort (); | |
| } | |
| int | |
| main () | |
| { | |
| #if __SIZEOF_LONG_LONG__ >= 8 | |
| unsigned long long t = 0xffffffffffffffffULL * (0xffffffffUL * x); | |
| if (t != 0xffffffff00000001ULL) | |
| foo (t);; | |
| #endif | |
| return 0; | |
| } |