blob: b15186fea0ba045179d54a23e6fc01f9394ccdc4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
/* { dg-options "-O2" } */
void abort (void);
void exit (int);
__attribute__ ((noinline)) void
f (unsigned long long i)
{
if (i <= 0x1000000000000000ull)
{
unsigned long long j = i | 0x1000000000000000ull;
if (j == 0x1100000000000000ull)
exit (0);
}
}
int
main ()
{
f (0x0100000000000000ull);
abort ();
}
|