diff options
| author | kazu <kazu@138bc75d-0d04-0410-961f-82ee72b054a4> | 2005-05-27 16:31:29 +0000 |
|---|---|---|
| committer | kazu <kazu@138bc75d-0d04-0410-961f-82ee72b054a4> | 2005-05-27 16:31:29 +0000 |
| commit | 0fc97fb009a8b5d085a5050cb8e01db0c8dde3e6 (patch) | |
| tree | f43746efbc3b2066008ddcc71e7b5829eb7349b0 /gcc/testsuite | |
| parent | a21676d1abc2a59977f74d9bef006c132c8b5373 (diff) | |
| download | gcc-0fc97fb009a8b5d085a5050cb8e01db0c8dde3e6.tar.gz | |
gcc/
PR tree-optimization/21658
* tree-ssa-ccp.c (ccp_fold): Call fold_binary instead of
fold_binary_to_constant. Likewise, call fold_unary instead of
fold_unary_to_constant.
testsuite/
PR tree-optimization/21658
* gcc.dg/tree-ssa/pr21658.c: New.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@100266 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/testsuite')
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/tree-ssa/pr21658.c | 21 |
2 files changed, 26 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 1a6bdc7ddf6..efeae615a67 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2005-05-27 Kazu Hirata <kazu@cs.umass.edu> + + PR tree-optimization/21658 + * gcc.dg/tree-ssa/pr21658.c: New. + 2005-05-27 Nathan Sidwell <nathan@codesourcery.com> PR c++/21455 diff --git a/gcc/testsuite/gcc.dg/tree-ssa/pr21658.c b/gcc/testsuite/gcc.dg/tree-ssa/pr21658.c new file mode 100644 index 00000000000..993b493bb4d --- /dev/null +++ b/gcc/testsuite/gcc.dg/tree-ssa/pr21658.c @@ -0,0 +1,21 @@ +/* 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-ccp-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 "with if \\(0\\)" 1 "ccp"} } */ +/* { dg-final { cleanup-tree-dump "ccp" } } */ |