COMDAT

[Mark Mitchell]

>>>>> "Jason" == Jason Merrill <jason at redhat.com> writes:

    >> When the ABI specifies that things must be placed in the same
    >> COMDAT group, does that really matter?

    Jason> I would say no.  If they are not in the proper COMDAT
    Jason> group, but are weak, the semantics should be the same other
    Jason> than a waste of space.

That was what I thought, too, but I was not 100% sure about the
semantics of COMDAT.  Jim, if the changes this entails are too
substantial, perhaps a single paragraph somewhere at the top saying
something like:

  In all cases where this document states that symbols be placed in
  COMDAT groups with particular names, an implementation is free to
  place the symbol in an alternate location, provided that the
  symbol is weak.  This document describes a space-efficient
  implementation, combining more than one entity into single COMDAT
  groups in order to avoid wasting space, but separating those
  entities into individual COMDAT groups or simply making the symbols
  weak, but not a member of any COMDAT group, is also a correct
  implementation of the ABI.

Does that sound about right?

--
Mark Mitchell                   mark at codesourcery.com
CodeSourcery, LLC               http://www.codesourcery.com