[verifier] Fail to merge stacks with different safe byref'ness.
[mono.git] / mono / tests / verifier / valid_ref_return_stack_merge.il
1 .assembly extern mscorlib
2 {
3   .ver 4:0:0:0
4   .publickeytoken = (B7 7A 5C 56 19 34 E0 89 ) // .z\V.4..
5 }
6 .assembly 'ref-return'
7 {
8   .hash algorithm 0x00008004
9   .ver  0:0:0:0
10 }
11 .module 'ref-return.dll' // GUID = {09E5E448-CA90-49A5-AFBA-0AA241F72FBF}
12
13
14 .class private auto ansi beforefieldinit Test extends [mscorlib]System.Object
15 {
16         .field  private static  int32 X
17         .field  private static  int32 Y
18
19         .method private static hidebysig  default int32& valid_branch (bool b)  cil managed 
20         {
21                 .maxstack 1
22                 .locals init (int32&    V_0)
23                 ldarg.0 
24                 brtrue.s LABEL_1
25
26                 ldsflda int32 Test::Y
27                 br.s LABEL_2
28
29 LABEL_1:
30                 ldsflda int32 Test::X
31
32 LABEL_2:
33                 stloc.0 
34
35                 ldloc.0 
36                 ret 
37         }
38 }
39