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
_______________________________________________
Dwarf-Discuss mailing list
Dwarf-Discuss@lists.dwarfstd.org
http://lists.dwarfstd.org/listinfo.cgi/dwarf-discuss-dwarfstd.org

Reply via email to