This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [PATCH] Fix endless recursion in make_vector_type (PR tree-opt/29637; 4.[0123] regression cause by PR c/29092 fix)


Richard Kenner wrote:
The fact that "semantic" type attributes are variants is a bug, precisely because it then causes the compiler to think that two types with different semantic attributes are the same.

I agree with that. My point, however, is that if there *is* an attribute for which we decide to allow two different states of that attribute to be variants, the TYPE_MAIN_VARIANT should be the type *without* the attribute.

Certainly. Non-semantic attributes are just typedefs, with extra-lingual properties associated with the new type name, e.g., "don't warn about uses of this type".


--
Mark Mitchell
CodeSourcery
mark@codesourcery.com
(650) 331-3385 x713


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]