| /* { dg-do compile } */ | |
| /* { dg-options "-O3 -fdump-tree-evrp" } */ | |
| void foo(); | |
| static char a, c; | |
| static int d, e; | |
| static short b(short f, short g) { return f * g; } | |
| int main() { | |
| short h = 4; | |
| for (; d;) | |
| if (h) | |
| if(e) { | |
| if (!b(a & 1 | h, 3)) | |
| c = 0; | |
| h = 1; | |
| } | |
| if (c) | |
| foo(); | |
| } | |
| /* { dg-final { scan-tree-dump-not "c = 0" "evrp" } } */ |