modernc.org/ccgo/v3@v3.16.14/lib/testdata/gcc-9.1.0/gcc/testsuite/gcc.c-torture/compile/pr21030.c (about)

     1  /* PR tree-optimization/21030
     2     VRP used to create invalid ranges where VR->MIN is greater than
     3     VR->MAX.  */
     4  
     5  void
     6  foo (int unit)
     7  {
     8    int i;
     9  
    10    for (i = 0; unit; i++, unit--)
    11      {
    12        if (i >= 0)
    13  	{
    14  	  int j = i;
    15  	  while (j)
    16  	    j--;
    17  	}
    18      }
    19  }