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-ccp1-details" } */
7 
8 void link_error (void);
9 
10 void
f(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 
20 /* { dg-final { scan-tree-dump-times "Folded into: if " 1 "ccp1"} } */
21