| /* { dg-do compile} */ | |
| /* { dg-options "-O2 -fdump-tree-evrp-details" } */ | |
| int f1(int a, int b, int c){ | |
| if(c==0)__builtin_unreachable(); | |
| a *= c; | |
| b *= c; | |
| return a == b; | |
| } | |
| int f2(int a, int b, int c){ | |
| c |= 1; | |
| a *= c; | |
| b *= c; | |
| return a == b; | |
| } | |
| /* { dg-final { scan-tree-dump-times "gimple_simplified to" 2 "evrp" } } */ |