1 /* { dg-options "-fstrict-overflow -fdump-tree-gimple" } */
2 
foo(int i,int j)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 
10