1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fdump-tree-evrp-details" } */
       3  
       4  extern void abort (void);
       5  
       6  int
       7  foo (int k, int j)
       8  {
       9    if (j >= 10)
      10      {
      11        if (j < k)
      12  	{
      13  	  k++;
      14  	  if (k < 10)
      15  	    abort ();
      16  	}
      17      }
      18  
      19    return j;
      20  }
      21  /* { dg-final { scan-tree-dump "\\\[12, \\+INF" "evrp" } } */