projects
/
mono.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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.
// 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
.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
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
ret
-}
\ No newline at end of file
+}