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)

On 10/30/06, Richard Kenner <kenner@vlsi1.ultra.nyu.edu> 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".

Richard.

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