This is the mail archive of the
mailing list for the GCC project.
Re: [PATCH][java] Fix type problems in the Java frontend
Tom Tromey writes:
> >>>>> "Richard" == Richard Guenther <email@example.com> 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