diff options
| author | Richard Guenther <rguenther@suse.de> | 2011-04-27 10:36:35 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2011-04-27 10:36:35 +0000 |
| commit | 9aef53ee4c5daf5ce1137f816680e4c70fdb535c (patch) | |
| tree | 142f31f3a698f56976833b06a17ce1c8559e0869 | |
| parent | f63d806d66059fa17ea7e095ee4e029d725dca6f (diff) | |
| download | gcc-9aef53ee4c5daf5ce1137f816680e4c70fdb535c.zip gcc-9aef53ee4c5daf5ce1137f816680e4c70fdb535c.tar.gz gcc-9aef53ee4c5daf5ce1137f816680e4c70fdb535c.tar.bz2 | |
re PR tree-optimization/48772 (ICE: SIGSEGV in walk_non_aliased_vuses (gimple.h:1100) with -O -fnon-call-exceptions -fno-tree-ccp -fno-tree-dce)
2011-04-27 Richard Guenther <rguenther@suse.de>
PR tree-optimization/48772
* tree-ssa-pre.c (eliminate): Update call stmts after elimination
only.
* g++.dg/pr48772.C: New testcase.
From-SVN: r173019
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/pr48772.C | 35 | ||||
| -rw-r--r-- | gcc/tree-ssa-pre.c | 10 |
4 files changed, 55 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 492a92d..276ef48 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,11 @@ 2011-04-27 Richard Guenther <rguenther@suse.de> + PR tree-optimization/48772 + * tree-ssa-pre.c (eliminate): Update call stmts after elimination + only. + +2011-04-27 Richard Guenther <rguenther@suse.de> + * tree-ssa-alias.c (indirect_refs_may_alias_p): Fix TARGET_MEM_REF handling. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 19fd6de..4be7479 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2011-04-27 Richard Guenther <rguenther@suse.de> + + PR tree-optimization/48772 + * g++.dg/pr48772.C: New testcase. + 2011-04-27 Jakub Jelinek <jakub@redhat.com> PR c/48742 diff --git a/gcc/testsuite/g++.dg/pr48772.C b/gcc/testsuite/g++.dg/pr48772.C new file mode 100644 index 0000000..39c1094 --- /dev/null +++ b/gcc/testsuite/g++.dg/pr48772.C @@ -0,0 +1,35 @@ +// { dg-do compile } +// { dg-options "-O -fnon-call-exceptions -fno-tree-ccp -fno-tree-dce" } + +extern "C" void abort (); + +struct A +{ + void foo () + { + this->bar (); + } + virtual void bar () + { + abort (); + } + ~A () + { + } +}; + +struct B:A +{ + virtual void bar () + { + } +}; + +int +main () +{ + B b; + b.foo (); + return 0; +} + diff --git a/gcc/tree-ssa-pre.c b/gcc/tree-ssa-pre.c index a833a04..51d9dcd 100644 --- a/gcc/tree-ssa-pre.c +++ b/gcc/tree-ssa-pre.c @@ -4186,6 +4186,7 @@ static unsigned int eliminate (void) { VEC (gimple, heap) *to_remove = NULL; + VEC (gimple, heap) *to_update = NULL; basic_block b; unsigned int todo = 0; gimple_stmt_iterator gsi; @@ -4411,7 +4412,7 @@ eliminate (void) } gimple_call_set_fn (stmt, fn); - update_stmt (stmt); + VEC_safe_push (gimple, heap, to_update, stmt); /* When changing a call into a noreturn call, cfg cleanup is needed to fix up the noreturn call. */ @@ -4563,6 +4564,13 @@ eliminate (void) } VEC_free (gimple, heap, to_remove); + /* We cannot update call statements with virtual operands during + SSA walk. This might remove them which in turn makes our + VN lattice invalid. */ + FOR_EACH_VEC_ELT (gimple, to_update, i, stmt) + update_stmt (stmt); + VEC_free (gimple, heap, to_update); + return todo; } |