[verifier] Fail to merge stacks with different safe byref'ness.
authorRodrigo Kumpera <kumpera@gmail.com>
Mon, 11 Sep 2017 23:33:52 +0000 (16:33 -0700)
committerRodrigo Kumpera <kumpera@gmail.com>
Mon, 11 Sep 2017 23:35:54 +0000 (16:35 -0700)
commitb46e9cf985af8b6eac0ef40ab097653937d11e88
tree589f87065b88f7c1093479538f60a50fca90b63c
parent8493513ad3876e73163f64ecab0299bd5e6e0346
[verifier] Fail to merge stacks with different safe byref'ness.
mono/metadata/verify.c
mono/tests/verifier/unverifiable_ref_return_stack_merge.il [new file with mode: 0644]
mono/tests/verifier/valid_ref_return_stack_merge.il [new file with mode: 0644]