This is the mail archive of the
mailing list for the GCC project.
Re: [PATCH] Fix endless recursion in make_vector_type (PR tree-opt/29637; 4. regression cause by PR c/29092 fix)
On 10/30/06, Richard Kenner <firstname.lastname@example.org> 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.
If they are attributes changing the semantics there is no "main variant" the
attributed type shares with the un-attributed one. I think this is
the whole point
of this notion of "semantic attributes".