blob: dd0dae1efe0be396521bcee682bccaa50a189988 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
/* { dg-do run } */
/* { dg-additional-options "-fstrict-overflow" } */
int a, b, d, e, f, *g, h, i;
volatile int c;
char foo (unsigned char p)
{
return p + 1;
}
int bar ()
{
for (h = 0; h < 3; h = foo (h))
{
c;
for (f = 0; f < 1; f++)
{
i = a && 0 < -__INT_MAX__ - h ? 0 : 1;
if (e)
for (; d;)
b = 0;
else
g = 0;
}
}
return 0;
}
int main ()
{
bar ();
return 0;
}
|