diff options
| author | Richard Guenther <rguenther@suse.de> | 2011-10-18 11:44:15 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2011-10-18 11:44:15 +0000 |
| commit | 748c5114543cb803cdb494105510217046d20513 (patch) | |
| tree | 847629880f509227c06859b1e00e05e1245cf5e0 /gcc | |
| parent | 5b6b2942cd75a2dec7bd0d2fb15ffd3a517a1427 (diff) | |
| download | gcc-748c5114543cb803cdb494105510217046d20513.tar.gz | |
re PR tree-optimization/50767 (ICE: in refs_may_alias_p_1, at tree-ssa-alias.c:1004 with -O2 -fno-tree-copy-prop -fno-tree-dominator-opts)
2011-10-18 Richard Guenther <rguenther@suse.de>
PR tree-optimization/50767
* tree-ssa-pre.c (create_expression_by_pieces): Update the
folded statement.
* gcc.dg/torture/pr50767.c: New testcase.
From-SVN: r180134
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/torture/pr50767.c | 21 | ||||
| -rw-r--r-- | gcc/tree-ssa-pre.c | 3 |
4 files changed, 34 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 2968fb0de5e..d026022fadb 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2011-10-18 Richard Guenther <rguenther@suse.de> + + PR tree-optimization/50767 + * tree-ssa-pre.c (create_expression_by_pieces): Update the + folded statement. + 2011-10-18 Julian Brown <julian@codesourcery.com> * config/arm/arm.c (arm_block_move_unaligned_straight) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 3216bfcb47a..411f63e8c43 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2011-10-18 Richard Guenther <rguenther@suse.de> + + PR tree-optimization/50767 + * gcc.dg/torture/pr50767.c: New testcase. + 2011-10-18 Julian Brown <julian@codesourcery.com> * lib/target-supports.exp (check_effective_target_arm_unaligned): New. diff --git a/gcc/testsuite/gcc.dg/torture/pr50767.c b/gcc/testsuite/gcc.dg/torture/pr50767.c new file mode 100644 index 00000000000..96ab72ebd7b --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/pr50767.c @@ -0,0 +1,21 @@ +/* { dg-do compile } */ +/* { dg-options "-fno-tree-copy-prop -fno-tree-dominator-opts" } */ + +struct S +{ + struct S *s; +}; + +static struct S *ss; +struct S *s; + +void bar(void); + +void foo(void) +{ + for (;;) + { + s->s = ss; + bar (); + } +} diff --git a/gcc/tree-ssa-pre.c b/gcc/tree-ssa-pre.c index a7f6cee35d8..60ae35cef73 100644 --- a/gcc/tree-ssa-pre.c +++ b/gcc/tree-ssa-pre.c @@ -3188,7 +3188,8 @@ create_expression_by_pieces (basic_block block, pre_expr expr, /* Fold the last statement. */ gsi = gsi_last (*stmts); - fold_stmt_inplace (&gsi); + if (fold_stmt_inplace (&gsi)) + update_stmt (gsi_stmt (gsi)); /* Add a value number to the temporary. The value may already exist in either NEW_SETS, or AVAIL_OUT, because |