1  /* { dg-do run } */
       2  /* { dg-options "-O2" } */
       3  
       4  extern void abort (void);
       5  
       6  int
       7  foo (int k, int j)
       8  {
       9    if (k >= 10)
      10      {
      11        if (j > k)
      12  	{
      13  	  /* We should fold this to if (0).  */
      14  	  if (j < 10)
      15  	    abort ();
      16  	}
      17      }
      18  
      19    return j;
      20  }
      21  
      22  int
      23  main()
      24  {
      25    foo (10, 3);
      26    return 0;
      27  }