1.class public LB22331663Fail; 2.super Ljava/lang/Object; 3 4 5.method public static run(Z)V 6.registers 6 7 if-eqz v5, :Label1 8 9 # Construct a java.lang.Object completely. This makes v4 of reference type. 10 new-instance v4, Ljava/lang/Object; 11 invoke-direct {v4}, Ljava/lang/Object;-><init>()V 12 13:Label1 14 # At this point, v4 is the merge of Undefined and ReferenceType. The verifier should 15 # reject any use of this, even a copy. Previously this was a conflict. Conflicts must 16 # be movable now, so ensure that we do not get a conflict (and then allow the move). 17 move-object v0, v4 18 19 return-void 20.end method 21