1 /* { dg-do run } */
2 /* { dg-additional-options "-fstrict-overflow" } */
3 
4 int a, b, c, d, e;
5 
6 int
main()7 main ()
8 {
9   for (b = 4; b > -30; b--)
10     for (; c;)
11       for (;;)
12 	{
13 	  e = a > __INT_MAX__ - b;
14 	  if (d)
15 	    break;
16 	}
17   return 0;
18 }
19