1 /* { dg-do compile } */
2 /* { dg-options "-fstrict-overflow -O2 -Wstrict-overflow=4" } */
3 
4 /* Source: Ian Lance Taylor.  */
5 
6 int
foo(int j)7 foo (int j)
8 {
9   int i;
10   int sum = 0;
11 
12   for (i = 1; i < j; i += i)
13     sum += i / 16; /* { dg-warning "assuming signed overflow does not occur" ""  { xfail *-*-* } } */
14   return sum;
15 }
16