2 /* { dg-options "-std=c99" } */
4 extern void abort(void);
6 typedef unsigned long long uint64
;
8 int very_large_value (uint64 t
)
10 return (t
/ 1000000000ULL) > 9223372037ULL;
15 uint64 t
= 0xC000000000000000ULL
;
17 if (!very_large_value (t
))