gcc/testsuite/gcc.dg/Wstrict-overflow-19.c

   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 }