Method/field access checks

[Matt Welsh]

It appears that GCJ does not check whether poorly-formed bytecode attempts
to access fields or call methods which are disallowed by Java's protection
mechanisms. For example, gcj gladly accepts bytecode where a method references
a private field in another class. 

Happily, I am currently using this feature to my advantage, but I am wondering
if there are plans to correct it. If so, where would that code go? In verify.c?

Regards,
Matt Welsh, UC Berkeley