1 .class public test_verify_ok_untyped_local
2 .super java/lang/Object
4 ; ======================================================================
6 .method public <init>()V
8 invokenonvirtual java/lang/Object/<init>()V
12 ; ======================================================================
14 .method public static check(I)V
17 getstatic java/lang/System/out Ljava/io/PrintStream;
19 invokevirtual java/io/PrintStream/println(I)V
23 .method public static check(Ljava/lang/String;)V
26 getstatic java/lang/System/out Ljava/io/PrintStream;
28 invokevirtual java/io/PrintStream/println(Ljava/lang/String;)V
32 ; ======================================================================
34 .method public static main([Ljava/lang/String;)V
42 ifnull force_basic_block_boundary
44 ; --------------------------------------------------
50 invokestatic test_verify_ok_untyped_local/check(I)V
56 ; --------------------------------------------------
58 force_basic_block_boundary:
61 invokestatic test_verify_ok_untyped_local/check(Ljava/lang/String;)V
62 ; OUTPUT: wow, it works!