22 lines
310 B
C
22 lines
310 B
C
/* { 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;
|
|
}
|