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

Reply via email to