diff options
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/tree-ssa/pr37284.C | 17 | ||||
| -rw-r--r-- | gcc/tree-cfg.c | 12 |
4 files changed, 40 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 093f982..f680fd6 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2008-09-18 Richard Guenther <rguenther@suse.de> + + PR middle-end/37284 + * tree-cfg.c (remove_useless_stmts_1): Remove + GIMPLE_CHANGE_DYNAMIC_TYPE if not optimizing. + 2008-09-18 Nick Clifton <nickc@redhat.com> * config/frv/frv.h (IRA_COVER_CLASSES): Define. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index e905405..477455e 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2008-09-18 Richard Guenther <rguenther@suse.de> + + PR middle-end/37284 + * g++.dg/tree-ssa/pr37284.C: New testcase. + 2008-09-18 Daniel Kraft <d@domob.eu> PR fortran/37507 diff --git a/gcc/testsuite/g++.dg/tree-ssa/pr37284.C b/gcc/testsuite/g++.dg/tree-ssa/pr37284.C new file mode 100644 index 0000000..26ddc1a --- /dev/null +++ b/gcc/testsuite/g++.dg/tree-ssa/pr37284.C @@ -0,0 +1,17 @@ +/* { dg-do compile } */ +/* { dg-options "-fstrict-aliasing" } */ + +void* operator new(__SIZE_TYPE__, void* __p) throw() +{ + return __p; +} + +class PatternDriverTop; + +typedef const PatternDriverTop* _Tp; + +void construct(_Tp* __p, const _Tp& __val) +{ + ::new((void *)__p) _Tp(__val); +} + diff --git a/gcc/tree-cfg.c b/gcc/tree-cfg.c index ef891e5..e9f315c 100644 --- a/gcc/tree-cfg.c +++ b/gcc/tree-cfg.c @@ -1997,6 +1997,18 @@ remove_useless_stmts_1 (gimple_stmt_iterator *gsi, struct rus_data *data) } break; + case GIMPLE_CHANGE_DYNAMIC_TYPE: + /* If we do not optimize remove GIMPLE_CHANGE_DYNAMIC_TYPE as + expansion is confused about them and we only remove them + during alias computation otherwise. */ + if (!optimize) + { + data->last_was_goto = false; + gsi_remove (gsi, false); + break; + } + /* Fallthru. */ + default: data->last_was_goto = false; gsi_next (gsi); |