From bd422c4a74ab686f8902885671afb8564328b9c3 Mon Sep 17 00:00:00 2001 From: Richard Guenther Date: Mon, 26 Jul 2010 13:29:14 +0000 Subject: [PATCH] re PR tree-optimization/45056 (ICE: in refs_may_alias_p_1, at tree-ssa-alias.c:1023) 2010-07-26 Richard Guenther 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 --- gcc/ChangeLog | 6 ++++ gcc/gimple-fold.c | 17 +++++++++++ gcc/testsuite/ChangeLog | 5 ++++ gcc/testsuite/g++.dg/pr45056.C | 54 ++++++++++++++++++++++++++++++++++ 4 files changed, 82 insertions(+) create mode 100644 gcc/testsuite/g++.dg/pr45056.C diff --git a/gcc/ChangeLog b/gcc/ChangeLog index c03ebf90205..1b32e5051e0 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2010-07-26 Richard Guenther + + PR middle-end/45056 + * gimple-fold.c (fold_stmt_1): Also fold references in + debug stmts. + 2010-07-26 Richard Guenther PR tree-optimization/45071 diff --git a/gcc/gimple-fold.c b/gcc/gimple-fold.c index 5bf82822a90..5953d6a7593 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 f1fde6887e5..52d94d2166d 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2010-07-26 Richard Guenther + + PR middle-end/45056 + * g++.dg/pr45056.C: New testcase. + 2010-07-26 Richard Guenther PR tree-optimization/45071 diff --git a/gcc/testsuite/g++.dg/pr45056.C b/gcc/testsuite/g++.dg/pr45056.C new file mode 100644 index 00000000000..a69107e35a4 --- /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, +Pointset_Powerset < int > > +linear_partition () +{ + Pointset_Powerset < int > r ; + Box qq; + return pair,Pointset_Powerset < int > > (qq, r); +} -- 2.30.2