This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [tree-ssa] Fix problems with void * and GIMPLE typecasts[patch]
- From: Diego Novillo <dnovillo at redhat dot com>
- To: Jeff Sturm <jsturm at one-point dot com>
- Cc: "gcc-patches at gcc dot gnu dot org" <gcc-patches at gcc dot gnu dot org>, Jason Merrill <jason at redhat dot com>
- Date: Fri, 19 Sep 2003 18:36:52 -0400
- Subject: Re: [tree-ssa] Fix problems with void * and GIMPLE typecasts[patch]
- Organization: Red Hat Canada
- References: <Pine.LNX.4.44.0309172334240.27879-100000@ops2.one-point.com>
On Fri, 2003-09-19 at 18:33, Jeff Sturm wrote:
> > + struct java.io.BufferedInputStream *T.660;
> > + struct java.io.BufferedInputStream *T.647;
> > + struct java.io.InputStream *is;
> > + struct java.io.InputStream *is.662;
> > + [ ... ]
> > + T.660 = T.647;
> > + is = T.660; <-- This ought to be type-casted
> > + is.662 = is;
>
> Since BufferedInputStream is a subtype of InputStream, they should be in
> the same alias set. No typecast is required for this assignment in the
> java source, or else it would be carried down to GIMPLE.
>
OK, so the solution in this case would be for the Java FE to consider
the two types as having conflicting alias sets?
Thanks. Diego.