1  /* { dg-do compile } */
       2  /* { dg-options "-fstrict-overflow -O2 -Wstrict-overflow" } */
       3  
       4  /* Don't warn about an overflow when threading jumps.  We used to get
       5     a warning from comparing bounds generated by VRP.  */
       6  
       7  int
       8  bar(int a, int b, int n)
       9  {
      10    if (b > a)
      11      n = a - b;
      12    if (a >= b)
      13      n = 1;
      14    return n;
      15  }