This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: [RFC] ignoring type alias conflicts between structures and scalars
- From: kenner at vlsi1 dot ultra dot nyu dot edu (Richard Kenner)
- To: nathan at codesourcery dot com
- Cc: gcc at gcc dot gnu dot org
- Date: Thu, 25 Nov 04 12:52:50 EST
- Subject: Re: [RFC] ignoring type alias conflicts between structures and scalars
your example is different, in that the int lvalue is not some arbitrary
pointer dereference, but a known variable.
Yes, I think that's the key. The alias_sets_conflict_p routine was meant
originally for an RTL environment where every MEM was potentially a pointer
dereference (yes, we knew some of those that weren't, but didn't do much with
that knowlege). If you want to distinguish between pointers to a type and
variables of that type, you don't have to do the symmetric test.