Incorrect bitfield aliasing with Tree SSA

[Daniel Berlin]

On 6/18/07, Richard Kenner <kenner@vlsi1.ultra.nyu.edu> wrote:
> > 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.

With the current scheme you have fields a and b conflict
and c and d conflicting

Both of which are wrong

HTH,
Dan