[backport gcc-4.9/trunk r198675, fixes PR57190 regression from PR56982, depends on PR50243 and PR57107 backports ] gcc/ 2013-05-07 Richard Biener PR middle-end/57190 * tree-eh.c (sink_clobbers): Properly propagate SSA_NAME_OCCURS_IN_ABNORMAL_PHI. gcc/testsuite/ 2013-05-07 Richard Biener PR middle-end/57190 * g++.dg/torture/pr57190.C: New testcase. --- gcc-4.8.0/gcc/testsuite/g++.dg/torture/pr57190.C.~1~ 1970-01-01 01:00:00.000000000 +0100 +++ gcc-4.8.0/gcc/testsuite/g++.dg/torture/pr57190.C 2013-05-09 16:58:48.161223740 +0200 @@ -0,0 +1,42 @@ +// { dg-do compile } + +namespace __gnu_cxx __attribute__ ((__visibility__ ("default"))) { + template class new_allocator { + }; +} +namespace std { + template class allocator; + template struct char_traits; + template, typename _Alloc = allocator<_CharT> > class basic_string; + typedef basic_string string; + template class allocator: public __gnu_cxx::new_allocator<_Tp> { + }; + template class basic_string { + public: + basic_string(const _CharT* __s, const _Alloc& __a = _Alloc()); + }; +} +class UIException { +}; +class PasswordDialog { + void run() throw (UIException); +}; +class MessageBox { +public: + MessageBox (std::string t) throw (UIException); + virtual int run() throw (UIException) ; +}; +extern "C" { + struct __jmp_buf_tag { + }; + extern int __sigsetjmp (struct __jmp_buf_tag __env[1], int __savemask) throw (); + typedef struct __jmp_buf_tag sigjmp_buf[1]; +} +sigjmp_buf password_dialog_sig_jmp_buf; +void PasswordDialog::run() throw (UIException) +{ + __sigsetjmp (password_dialog_sig_jmp_buf, 1); + MessageBox* errmsg = __null; + errmsg = new MessageBox ("E R R O R"); + errmsg->run(); +} --- gcc-4.8.0/gcc/tree-eh.c.~1~ 2013-05-09 16:56:36.361654443 +0200 +++ gcc-4.8.0/gcc/tree-eh.c 2013-05-09 16:58:48.161223740 +0200 @@ -3377,6 +3377,11 @@ sink_clobbers (basic_block bb) FOR_EACH_IMM_USE_STMT (use_stmt, iter, vuse) FOR_EACH_IMM_USE_ON_STMT (use_p, iter) SET_USE (use_p, gimple_vdef (stmt)); + if (SSA_NAME_OCCURS_IN_ABNORMAL_PHI (vuse)) + { + SSA_NAME_OCCURS_IN_ABNORMAL_PHI (gimple_vdef (stmt)) = 1; + SSA_NAME_OCCURS_IN_ABNORMAL_PHI (vuse) = 0; + } /* Adjust the incoming virtual operand. */ SET_USE (PHI_ARG_DEF_PTR_FROM_EDGE (vphi, succe), gimple_vuse (stmt)); SET_USE (gimple_vuse_op (stmt), vuse);