On Mon, 8 Jun 2015, Jan Hubicka wrote: > Joseph, I may be wrong, but I believe that the cross-compilation-unit > representation compatibility (in C standard sense) is however not an > equivalence class, so it can't be fully represented by TYPE_CANOINICAL
Indeed, type compatibility is not transitive, but the expressed intention of WG14 in response to DR#314 is that in a valid program it should be possible to merge the translation units, unifying structure and union types across translation units (with renaming as needed). -- Joseph S. Myers jos...@codesourcery.com