Re: [tree-ssa] Fix problems with void * and GIMPLE typecasts [patch]

[Richard Henderson <rth at redhat dot com>]

On Sat, Sep 20, 2003 at 06:21:44PM -0400, Jeff Sturm wrote:
> Andrew, does this look right to you?  I'm at a loss on how to verify the
> behavior of get_alias_set.

I don't see what's wrong with the default get_alias_set.

In particular, record_component_aliases checks the
TYPE_BINFO_BASETYPES of the class, so if that is set
properly, I wouldn't expect any problems.

> +  /* A RECORD_TYPE is normally a Java class, interface or array.
> +     (Utf8 constants are an exception; are these worth bothering with?)
> +     Since all Java classes can alias java.lang.Object, they may as
> +     well all be the zero set.

No, because while classes Foo and Bar derive from jlO, they
do not necessarily derive from one another.  In the case that
they do not, I would expect the subset tree to be

	jlO (10) --- Foo (11)
		 \-- Bar (12)

So that we know that alias set number 11 conflicts with 10,
and 12 conflicts with 10, but 11 does not conflict with 12.


r~