* tests/regression/jasmin/test_verify_fail_jsr_recursion.j: New test.

* tests/regression/jasmin/Makefile.am: Added new test.

diff --git a/tests/regression/jasmin/Makefile.am b/tests/regression/jasmin/Makefile.am
index cb0d1cd04ff76f6ff488c16e2c8fd26741a2e23e..7d0dd2ac553d347b7b55032abc286cc0b602966d 100644 (file)
--- a/tests/regression/jasmin/Makefile.am
+++ b/tests/regression/jasmin/Makefile.am
@@ -75,6 +75,7 @@ JASMIN_TESTS = \
        $(srcdir)/test_verify_fail_jsr_merge_subroutines.j \
        $(srcdir)/test_verify_fail_jsr_merge_subroutines_via_stack.j \
        $(srcdir)/test_verify_fail_jsr_polymorphic_pop.j \
+       $(srcdir)/test_verify_fail_jsr_recursion.j \
        $(srcdir)/test_verify_fail_load_wrong_type.j \
        $(srcdir)/test_verify_fail_load_wrong_type_within_block.j \
        $(srcdir)/test_verify_fail_local_index.j \

diff --git a/tests/regression/jasmin/test_verify_fail_jsr_recursion.j b/tests/regression/jasmin/test_verify_fail_jsr_recursion.j
new file mode 100644 (file)
index 0000000..454207c
--- /dev/null
+++ b/tests/regression/jasmin/test_verify_fail_jsr_recursion.j
@@ -0,0 +1,62 @@
+.class public test_verify_fail_jsr_recursion
+.super java/lang/Object
+
+; ======================================================================
+
+.method public <init>()V
+   aload_0
+   invokenonvirtual java/lang/Object/<init>()V
+   return
+.end method
+
+; ======================================================================
+
+.method public static check(I)V
+       .limit locals 1
+       .limit stack 10
+       getstatic java/lang/System/out Ljava/io/PrintStream;
+       iload_0
+       invokevirtual java/io/PrintStream/println(I)V
+       return
+.end method
+
+; ======================================================================
+
+.method public static main([Ljava/lang/String;)V
+       .limit stack 2
+       .limit locals 4
+
+       ldc 0
+       istore 1
+
+       aload 0
+       ifnull force_basic_block_boundary
+
+       ; --------------------------------------------------
+
+       jsr sbr_1
+       jsr sbr_1
+
+       ; --------------------------------------------------
+
+force_basic_block_boundary:
+
+       iload 1
+       invokestatic test_verify_fail_jsr_recursion/check(I)V
+
+       return
+
+sbr_1:
+       astore 2
+       iload 1
+       invokestatic test_verify_fail_jsr_recursion/check(I)V
+       iload 1
+       ifne  second_time
+       iinc 1 1
+       jsr sbr_1
+
+second_time:
+       ret 2
+
+.end method
+