From 52f26be4091ee44b2f6407d44c05c310917f2465 Mon Sep 17 00:00:00 2001 From: Richard Guenther Date: Tue, 6 Dec 2011 12:17:31 +0000 Subject: [PATCH] re PR middle-end/51436 (ICE(segfault) in gimplify_and_update_call_from_tree gimple-fold.c:603) 2011-12-06 Richard Guenther PR middle-end/51436 * gimple-fold.c (gimplify_and_update_call_from_tree): Guard vdef check for the fact we do not have virtual operands when not optimizing. * g++.dg/torture/pr51436.C: New testcase. From-SVN: r182045 --- gcc/ChangeLog | 7 +++ gcc/gimple-fold.c | 2 +- gcc/testsuite/ChangeLog | 5 +++ gcc/testsuite/g++.dg/torture/pr51436.C | 60 ++++++++++++++++++++++++++ 4 files changed, 73 insertions(+), 1 deletion(-) create mode 100644 gcc/testsuite/g++.dg/torture/pr51436.C diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 1268439d763..76c8b183a16 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2011-12-06 Richard Guenther + + PR middle-end/51436 + * gimple-fold.c (gimplify_and_update_call_from_tree): Guard + vdef check for the fact we do not have virtual operands when + not optimizing. + 2011-12-06 Richard Guenther PR tree-optimization/51245 diff --git a/gcc/gimple-fold.c b/gcc/gimple-fold.c index 3297f11364b..5da9be37575 100644 --- a/gcc/gimple-fold.c +++ b/gcc/gimple-fold.c @@ -600,7 +600,7 @@ gimplify_and_update_call_from_tree (gimple_stmt_iterator *si_p, tree expr) else vdef = make_ssa_name (gimple_vop (cfun), new_stmt); gimple_set_vdef (new_stmt, vdef); - if (TREE_CODE (vdef) == SSA_NAME) + if (vdef && TREE_CODE (vdef) == SSA_NAME) SSA_NAME_DEF_STMT (vdef) = new_stmt; laststore = new_stmt; } diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 248b284efa7..5668927f566 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2011-12-06 Richard Guenther + + PR middle-end/51436 + * g++.dg/torture/pr51436.C: New testcase. + 2011-12-06 Richard Guenther PR tree-optimization/51245 diff --git a/gcc/testsuite/g++.dg/torture/pr51436.C b/gcc/testsuite/g++.dg/torture/pr51436.C new file mode 100644 index 00000000000..43d6c730032 --- /dev/null +++ b/gcc/testsuite/g++.dg/torture/pr51436.C @@ -0,0 +1,60 @@ +/* { dg-do compile } */ + +typedef __SIZE_TYPE__ size_t; +extern "C" void *memcpy (void *, __const void *, size_t); +template < class Dest, class Source > struct BitCastHelper { + static Dest cast (const Source & source) __attribute__ ((always_inline)) { + Dest dest; + memcpy (0, &source, sizeof dest); + } +}; +template < class Dest, class Source > Dest BitCast (Source) +{ + BitCastHelper < Dest, Source >::cast (0); +} + +class MaybeObject +{ +}; +class Object:MaybeObject +{ +public: + static Object *cast (Object *) { + } +}; +class HeapObject:public Object +{ +}; +class String:public HeapObject +{ +}; +class ExternalString:public String +{ +}; +class ExternalTwoByteString:public ExternalString +{ +}; + +template < typename T > class Handle +{ +public: + Handle () { + } + T *operator* () const; + template < class S > static Handle < T > cast (Handle < S > that) { + T::cast (*that); + } + T **location_; +}; + +template < typename T > T * Handle < T >::operator* () const +{ + *BitCast < T ** >(location_); +} + +void +TestCharacterStream () +{ + Handle < String > uc16_string; + Handle < ExternalTwoByteString >::cast (uc16_string); +} -- 2.30.2