1 // Invalid CIL which breaks the ECMA-335,III,1.7.5 rule "Backward branch
2 // constraints". This CIL should be rejected by a conforming CLI verifier
3 // or runtime without being run.
5 .assembly 'test_generated'
7 .hash algorithm 0x00008004
13 .method public static int32 Main() cil managed
18 branch_target: // Follows unconditional branch, stack empty.
20 br branch_target // Stack not empty, invalid.
24 #the verifier can do DCE before performing stack merging
25 newobj instance void object::.ctor()
26 callvirt instance int32 object::GetHashCode()