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

   1 /* { dg-do compile } */
   2 /* { dg-options "-std=gnu17 -fstrict-overflow -O2 -Wstrict-overflow" } */
   3
   4 /* Don't warn about an overflow in a copied loop header.  We used to
   5    get a warning in value numbering.  This is PR 33565.  */
   6
   7 void do_something ();
   8
   9 void f (int m, int n)
  10 {
  11   int j;
  12
  13   for (j = m; j < m + 10 && j < n; j ++)
  14     do_something (j);
  15 }