| /* { dg-do compile } */ | |
| /* { dg-options "-fno-strict-overflow -O2 -fdump-tree-optimized" } */ | |
| /* We cannot fold i > 0 because p->a - p->b can be larger than INT_MAX | |
| and thus i can wrap. Dual of Wstrict-overflow-18.c */ | |
| struct c { unsigned int a; unsigned int b; }; | |
| extern void bar (struct c *); | |
| int | |
| foo (struct c *p) | |
| { | |
| int i; | |
| int sum = 0; | |
| for (i = 0; i < p->a - p->b; ++i) | |
| { | |
| if (i > 0) | |
| sum += 2; | |
| bar (p); | |
| } | |
| return sum; | |
| } | |
| /* { dg-final { scan-tree-dump "i_.* > 0" "optimized" } } */ |