https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65892
--- Comment #6 from Martin Sebor <msebor at gcc dot gnu.org> --- I agree it's subtle and could be clearer but I believe the key phrase is "a union contains several structures." Here, the term "union" refers to the type, not the object. This is supported by the use of the term "union object" in the second part of the sentence. This interpretation is in line with Derek Jones' excellent The New C Standard -- An Economic and Cultural Commentary: http://www.coding-guidelines.com/cbook But if there's doubt that this interpretation is intended I'd be happy to raise an interpretation request on the WG14 mailing list.
