1  /* { dg-do run } */
       2  /* { dg-additional-options "-fstrict-overflow" } */
       3  
       4  int a, b, c, d, e;
       5  
       6  int
       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  }