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

_______________________________________________
mlvm-dev mailing list
mlvm-dev@openjdk.java.net
http://mail.openjdk.java.net/mailman/listinfo/mlvm-dev

Reply via email to