gcc/testsuite/gcc.dg/torture/pr58143-3.c

   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 }