1 /* { dg-do compile } */
2 /* { dg-options "-fno-strict-overflow -O2 -fdump-tree-optimized" } */
3
4 /* We cannot fold i > 0 because p->a - p->b can be larger than INT_MAX
5 and thus i can wrap. Dual of Wstrict-overflow-18.c */
6
7 struct c { unsigned int a; unsigned int b; };
8 extern void bar (struct c *);
9 int
foo(struct c * p)10 foo (struct c *p)
11 {
12 int i;
13 int sum = 0;
14
15 for (i = 0; i < p->a - p->b; ++i)
16 {
17 if (i > 0)
18 sum += 2;
19 bar (p);
20 }
21 return sum;
22 }
23
24 /* { dg-final { scan-tree-dump "i_.* > 0" "optimized" } } */
25