OSDN Git Service

2fa45b40a71b0fe6c9101c219a0efc9d3fb7f4f0
[pf3gnuchains/gcc-fork.git] / gcc / testsuite / gcc.dg / tree-ssa / pr21658.c
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
20 /* { dg-final { scan-tree-dump-times "Folded statement: if " 1 "ccp"} } */
21 /* { dg-final { cleanup-tree-dump "ccp" } } */