1.class public LNullLocks;
2
3.super Ljava/lang/Object;
4
5.method public static run(Z)V
6   .registers 3
7
8   invoke-static {}, LMain;->assertIsManaged()V
9
10   if-eqz v2, :Lfalse
11
12   const v0, 0           # Null.
13   monitor-enter v0
14   const v1, 0           # Another null. This should be detected as an alias, such that the exit
15                         # will not fail verification.
16   monitor-exit v1
17
18   monitor-enter v0
19   monitor-exit v1
20
21   monitor-enter v1
22   monitor-exit v0
23
24:Lfalse
25
26   return-void
27
28.end method
29