On 05/10/2015 12:33 PM, Jan Hubicka wrote:
This is properly honored by C++ FE but other FEs are bit random, which in turn confuses type_in_anonymous_namespace_p predicate that leads to flase poistives on type mismatch warnings. I used to be able to get around by checking only C++ types at LTO time, but with type checking in lto-symtab I can not, because I do want to compare type compatibility cross translation units and cross languages and we have no reliable way to say what type originated as C++ and what did not.
I think we should, as only C++ declarations are subject to the ODR. C has different (structural) compatibility rules, and I think they should apply when comparing C and C++ types.
Since C struct names have no linkage, I don't think it's right to set TREE_PUBLIC on them.
Jason