What can we improve in JSR292 for Java 9?

Remi Forax forax at univ-mlv.fr
Sat Mar 7 13:53:45 UTC 2015


On 03/07/2015 06:31 AM, John Rose wrote:
[...]

>
> (I wish we had a similar candidate for invokespecial/super.  That is badly twisted around the verifier.)

One way to solve the problem is to consider that invokedynamic <init> is 
a special 'bytecode'
for the verifier and that the verifier will allow to call it on an 
non-initialized reference and
consider the reference as been initialized after that.

Rémi



More information about the mlvm-dev mailing list