[Dwarf-Discuss] Fission + cross-CU references (ref_addr)

[Robinson, Paul]

  What guarantees that the information referred to is the same across all "duplicate" TUs or otherwise does not affect the semantic content of the TU?
The same guarantees that exist without TU->CU references, I would think? It's up to the implementation to ensure that any two TUs are semantically equivalent.

No it's not.  DWARF specifies what makes TU's semantically equivalent, by specifying what feeds into the signature computation, and matching signatures provide the guarantee.  References use forms that are not included in the signature and therefore the referenced information is not included in the guarantee.
--paulr
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.dwarfstd.org/pipermail/dwarf-discuss-dwarfstd.org/attachments/20170505/0c356fd9/attachment.htm>