1 /* { dg-do compile } */
2 /* { dg-options "-fstrict-overflow -O2 -Wstrict-overflow=2" } */
3
4 /* Source: Ian Lance Taylor. Dual of no-strict-overflow-6.c. */
5
6 /* VRP test. This turns into an infinite loop (depending on what
7 bigtime_test does), but at least we warn about it. */
8
9 extern int bigtime_test (int);
10 int
foo()11 foo ()
12 {
13 int j;
14 for (j = 1; 0 < j; j *= 2) /* { dg-warning "assuming signed overflow does not occur" "correct warning" } */
15 if (! bigtime_test (j))
16 return 1;
17 return 0;
18 }
19