1  /* Confirm the ranger is picking up a relationship with equivalences.  */
       2  /* { dg-do compile } */
       3  /* { dg-options "-O2  -fdump-tree-evrp" } */
       4  
       5  extern void foo ();
       6  
       7  void f (unsigned int a, unsigned int b)
       8  {
       9    if (a == b)
      10      for (unsigned i = 0; i < a; i++)
      11        if (i == b)   // Confirm  i < a also means i < b.
      12  	foo (); /* Unreachable */
      13  }
      14  
      15  /* { dg-final { scan-tree-dump-times "foo\\(" 0 "evrp"} } */
      16