struct A {}; struct B { virtual ~B(); }; B::~B () {} struct C { void foo (short &, B &); }; struct D { void *d1; C *d2; virtual void virt (void) {} }; struct E { D *e1; B *e2; }; struct F { void bar (void *, B &); }; F *p __attribute__((weak)); volatile int r;
void C::foo (short &x, B &) { if (r) throw A (); x = 1; } void F::bar (void *, B &) { throw A (); } void baz (E &x) { short g = 0; B b = *x.e2; x.e1->d2->foo (g, b); if (g) p->bar(x.e1->d1, b); } int main () { F g; D s; E h; p = &g; h.e1 = &s; try { baz (h); } catch (A &) { } return 0; } fails on ia64 at least with gcc trunk and 4.1.1 at -O2. The problem is a br.call not at the end of a bundle where the EH region ends right after it: .mbb ld8 r39 = [r15] br.call.sptk.many b0 = _ZN1F3barEPvR1B# [.LEHE0:] nop 0 ;; As br.call sets rp to the address of the next bundle, when the personality routine is called it doesn't think this call is inside of the .LEHB0 .. .LEHE0 EH region and calls std::terminate. -- Summary: Incorrect ia64 EH info when an EH region ends in the middle of a bundle Product: gcc Version: 4.1.2 Status: UNCONFIRMED Severity: normal Priority: P3 Component: target AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: jakub at gcc dot gnu dot org GCC target triplet: ia64-linux http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30230