2008-03-25 Rodrigo Kumpera <rkumpera@novell.com>

[mono.git] / mono / tests / verifier / invalid_backward_branch.il

diff --git a/mono/tests/verifier/invalid_backward_branch.il b/mono/tests/verifier/invalid_backward_branch.il
index 3b667c477935627e50771dccb1df005b902ec36d..f92eda6e1b129791a395e7eaafcbdbb4219d59dc 100644 (file)
--- a/mono/tests/verifier/invalid_backward_branch.il
+++ b/mono/tests/verifier/invalid_backward_branch.il
@@ -2,15 +2,29 @@
 // constraints". This CIL should be rejected by a conforming CLI verifier 
 // or runtime without being run.
 
+.assembly 'test_generated'
+{
+  .hash algorithm 0x00008004
+  .ver  0:0:0:0
+}
+
+
+
 .method public static int32 Main() cil managed
 {
        .entrypoint
-       .maxstack 1
+       .maxstack 2
        br end
        branch_target: // Follows unconditional branch, stack empty.
        ldc.i4.0
        br branch_target // Stack not empty, invalid.
        end:
        ldc.i4.0
+       pop
+       #the verifier can do DCE before performing stack merging
+       newobj instance void object::.ctor()
+       callvirt instance int32 object::GetHashCode()
+       beq.s branch_target
+       ldc.i4.0
        ret
-}
\ No newline at end of file
+}