diff options
| author | Richard Guenther <rguenther@suse.de> | 2010-07-26 13:29:14 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2010-07-26 13:29:14 +0000 |
| commit | bd422c4a74ab686f8902885671afb8564328b9c3 (patch) | |
| tree | d79fd31113105885baed67230b6f97b7bb452a81 | |
| parent | e093ffe3c293fb22b4d9715159b604f29bacdcb5 (diff) | |
| download | gcc-bd422c4a74ab686f8902885671afb8564328b9c3.zip gcc-bd422c4a74ab686f8902885671afb8564328b9c3.tar.gz gcc-bd422c4a74ab686f8902885671afb8564328b9c3.tar.bz2 | |
re PR tree-optimization/45056 (ICE: in refs_may_alias_p_1, at tree-ssa-alias.c:1023)
2010-07-26 Richard Guenther <rguenther@suse.de>
PR middle-end/45056
* gimple-fold.c (fold_stmt_1): Also fold references in
debug stmts.
* g++.dg/pr45056.C: New testcase.
From-SVN: r162536
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/gimple-fold.c | 17 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/pr45056.C | 54 |
4 files changed, 82 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index c03ebf9..1b32e50 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,11 @@ 2010-07-26 Richard Guenther <rguenther@suse.de> + PR middle-end/45056 + * gimple-fold.c (fold_stmt_1): Also fold references in + debug stmts. + +2010-07-26 Richard Guenther <rguenther@suse.de> + PR tree-optimization/45071 * tree-ssa-sccvn.c (vn_reference_maybe_forwprop_address): Always adjust op->opcode. diff --git a/gcc/gimple-fold.c b/gcc/gimple-fold.c index 5bf8282..5953d6a 100644 --- a/gcc/gimple-fold.c +++ b/gcc/gimple-fold.c @@ -1530,6 +1530,23 @@ fold_stmt_1 (gimple_stmt_iterator *gsi, bool inplace) } break; + case GIMPLE_DEBUG: + if (gimple_debug_bind_p (stmt)) + { + tree val = gimple_debug_bind_get_value (stmt); + if (val + && REFERENCE_CLASS_P (val)) + { + tree tem = maybe_fold_reference (val, false); + if (tem) + { + gimple_debug_bind_set_value (stmt, tem); + changed = true; + } + } + } + break; + default:; } diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index f1fde68..52d94d2 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,10 @@ 2010-07-26 Richard Guenther <rguenther@suse.de> + PR middle-end/45056 + * g++.dg/pr45056.C: New testcase. + +2010-07-26 Richard Guenther <rguenther@suse.de> + PR tree-optimization/45071 * gcc.dg/pr45071.c: New testcase. diff --git a/gcc/testsuite/g++.dg/pr45056.C b/gcc/testsuite/g++.dg/pr45056.C new file mode 100644 index 0000000..a69107e --- /dev/null +++ b/gcc/testsuite/g++.dg/pr45056.C @@ -0,0 +1,54 @@ +/* { dg-do compile } */ +/* { dg-options "-O -fschedule-insns2 -fschedule-insns -g" } */ + +template < class _T1, class _T2 > struct pair +{ + _T1 first; + _T2 second; + pair (_T1 & __a, _T2 & __b) + :first (__a), second (__b) + { } +} +; +template < typename _Tp > struct _Vector_base +{ + ~_Vector_base (); +} +; +template < typename _Tp>struct vector +: _Vector_base < _Tp> +{ + template < typename _ForwardIterator > inline void _Destroy (_ForwardIterator) { } + _Tp * _M_finish; + ~vector () + { + _Destroy ( this->_M_finish); + } +} ; +template < typename ITV > struct Box +{ + Box (const Box &); + Box (); + typedef vector < ITV > Sequence; + Sequence seq; +}; +template < typename D > struct Powerset +{ + Powerset (const Powerset &y) :reduced (y.reduced) {} + bool reduced; +} ; +template < typename PS > struct Pointset_Powerset :Powerset < int > +{ + Pointset_Powerset (); + int space_dim; +} ; +pair +< +Box<int>, +Pointset_Powerset < int > > +linear_partition () +{ + Pointset_Powerset < int > r ; + Box<int> qq; + return pair<Box<int>,Pointset_Powerset < int > > (qq, r); +} |