Bug 24351

[reported by Luca Martini] luca.martini@iet.unipi.it

However, even if this check is done only on protected field (as stated in
vmspec) the Standard Verifier checks it even for public fields (and it seems
reasonable). You can try the stupid enclosed example (in Jasmin syntax): in this
case I substituted the putfield object reference of type with a reference of
type B. JustIce signals no error while the native verifier reports:

Exception in thread "main" java.lang.VerifyError: (class: A, method: m
signature: (ILB;)V) Incompatible type for getting or setting field

----
I think I was wrong saying:

~~> However, even if this check is done only on protected field (as stated in
~~> vmspec) the Standard Verifier checks it even for public fields (and it seems
~~> reasonable).

The example I send to you gives an error while checking that the value stored by
the putfield is compatible with the descriptor of the reference field. Is it
this check in Justice? It seems not.