Problem with operand handling

[Richard Kenner]

Sorry for the delay in responding.

    >   system__traceback_entries__traceback_entry___XDLU_0__18446744073709551615[1 .. T.2] & decorator_traceback;

    What does this declaration mean?

I think this is how it prints a REFERENCE_TYPE.

    This may help.  Put this test in add_may_alias:

    if (is_gimple_reg (var) || is_gimple_reg (alias))
      abort ();

It aborts, as I think you expected.