1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
/* { dg-do run } */ /* { dg-options "-std=c99" } */ extern void abort(void); typedef unsigned long long uint64; int very_large_value (uint64 t) { return (t / 1000000000ULL) > 9223372037ULL; } int main(void) { uint64 t = 0xC000000000000000ULL; if (!very_large_value (t)) abort (); return 0; }