1 /* { dg-do compile } */
2 /* { dg-options "-fstrict-overflow -O2 -Wstrict-overflow=2" } */
4 /* Source: Ian Lance Taylor. Dual of no-strict-overflow-6.c. */
6 /* VRP test. This turns into an infinite loop when using strict
13 for (i = 1, bits = 1; i > 0; i += i) /* { dg-warning "assuming signed overflow does not occur" "correct warning" } */