Re: [PATCH][java] Fix type problems in the Java frontend

[Andrew Haley <aph-gcc at littlepinkcloud dot COM>]

Tom Tromey writes:
 > >>>>> "Richard" == Richard Guenther <rguenther@suse.de> writes:
 > 
 > Richard> (It looks like there is funny stuff going on in the FE - it does
 > Richard> the equivalent of *(T **)p with p of type (T *).  This may ask for
 > Richard> trouble with aliasing.)
 > 
 > Yeah, there are some oddities with types.  I don't recall this one
 > offhand.  Could you file it?  Or update the existing gcj "types are
 > weird" PR with more info?

My understanding is we are perfectly entitled to do this in the front
end.  If C's aliasing rules (which, of course, only apply to C and
C++) are to be enforced with GIMPLE then I need a clear statement of
the fact, along with rules about exactly what I am allowed to do in
the front-end.

Andrew.