/* { 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; | |
} |