blob: 61adafe140d126692b19553007e79e3187247e82 (
plain)
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;
}
|