]>
Commit | Line | Data |
---|---|---|
0db8ddfc JL |
1 | /* { dg-do compile } */ |
2 | /* { dg-options "-O2 -fno-tree-vrp -fdump-tree-dom-details" } */ | |
3 | ||
4 | ||
5 | int f(int x, int y) | |
6 | { | |
7 | int ret; | |
8 | if (x == y) | |
9 | ret = x / y; | |
10 | else | |
11 | ret = 0; | |
12 | ||
13 | return ret; | |
14 | } | |
15 | /* { dg-final { scan-tree-dump "Replaced redundant expr \[^\r\n\]* with .1." "dom2" } } */ | |
16 | ||
17 |