1  /* { dg-options "-fstrict-overflow -fdump-tree-gimple" } */
       2  
       3  int foo (int i, int j)
       4  {
       5    return (i < j + 1) || (j > i - 1);
       6  }
       7  
       8  /* { dg-final { scan-tree-dump "j >= i" "gimple" } } */
       9