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)11f (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