1 /* { dg-do compile } */
2 /* { dg-options "-fstrict-overflow -O2 -Wstrict-overflow" } */
4 /* Don't warn about an overflow when folding i > 0. The loop analysis
5 should determine that i does not wrap. */
7 struct c { unsigned int a; unsigned int b; };
8 extern void bar (struct c *);
15 for (i = 0; i < p->a - p->b; ++i)