1  /* { dg-do compile } */
       2  /* { dg-options "-fstrict-overflow -O2 -Wstrict-overflow=3" } */
       3  
       4  /* We can only simplify the conditional when using strict overflow
       5     semantics.  */
       6  
       7  int
       8  foo (int x, int y)
       9  {
      10    return x - y < 0; /* { dg-warning "assuming signed overflow does not occur" "correct warning" } */
      11  }