gcc/testsuite/gcc.dg/tree-ssa/pr26899.c

   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 /* { dg-final { cleanup-tree-dump "gimple" } } */
  10