Incorrect bitfield aliasing with Tree SSA

Richard Kenner kenner@vlsi1.ultra.nyu.edu
Mon Jun 18 20:04:00 GMT 2007


> Type of the expression passed to get_alias_set.  And without the
> component_uses_parent_alias_set loop.

So you mean the type of the *field*?  That can't work.  That type can't
be used for *anything*!

Otherwise, if you have

	struct foo {int a: 32; int b: 32; };
	struct bar {int c: 32; int d: 32; };

you have the fields A and C conflicting, which is wrong.

The "T" has to be the *record type*, so that when you share alias sets,
it's the same for every type in the same record, not every occurence of
some random type in different records.



More information about the Gcc mailing list