/* PR tree-optimization/21658 | |
CCP did not propagate an ADDR_EXPR far enough, preventing the "if" | |
statement below from being folded. */ | |
/* { dg-do compile } */ | |
/* { dg-options "-O2 -fno-tree-dominator-opts -fdump-tree-ccp1-details" } */ | |
void link_error (void); | |
void | |
f (void) | |
{ | |
int a[10]; | |
int *p = &a[5]; | |
int *q = p - 1; | |
if (q != &a[4]) | |
link_error (); | |
} | |
/* { dg-final { scan-tree-dump-times "Folded into: if " 1 "ccp1"} } */ |