| /* { dg-do compile } */ | |
| /* { dg-options "-O3 -fdump-tree-evrp" } */ | |
| void kill(); | |
| static long a; | |
| static unsigned b; | |
| int test1 () { | |
| long c, e; | |
| c = b = a; | |
| e = c ? 2 / (c + 1) : 0; | |
| if (e && !b) | |
| kill (); | |
| a = 0; | |
| } | |
| /* { dg-final { scan-tree-dump-not "kill" "evrp" } } */ | |