]>
Commit | Line | Data |
---|---|---|
46aad78f KH |
1 | /* PR tree-optimization/21658 |
2 | CCP did not propagate an ADDR_EXPR far enough, preventing the "if" | |
3 | statement below from being folded. */ | |
4 | ||
5 | /* { dg-do compile } */ | |
6 | /* { dg-options "-O2 -fno-tree-dominator-opts -fdump-tree-ccp-details" } */ | |
7 | ||
8 | void link_error (void); | |
9 | ||
10 | void | |
11 | f (void) | |
12 | { | |
13 | int a[10]; | |
14 | int *p = &a[5]; | |
15 | int *q = p - 1; | |
16 | if (q != &a[4]) | |
17 | link_error (); | |
18 | } | |
19 | ||
227858d1 | 20 | /* { dg-final { scan-tree-dump-times "Folded statement: if " 1 "ccp"} } */ |
46aad78f | 21 | /* { dg-final { cleanup-tree-dump "ccp" } } */ |