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