java method calls and GIMPLE

[Tom Tromey]

Andrew> Anyway, a front end callback is surely good enought for a proof of
Andrew> concept.

OBJ_TYPE_REF exists, is GIMPLE, and we already have a patch to add it
to gcj.

Tom