Bug 60625

Summary: local-propagation.c:562, condition `ins->opcode > MONO_CEE_LAST' not met
Product: [Mono] Runtime Reporter: Jerome Laban <jerome.laban>
Component: JITAssignee: Bugzilla <bugzilla>
Status: VERIFIED FIXED    
Severity: normal CC: carl.debilly, grendel, mono-bugs+mono, mono-bugs+monodroid, mono-bugs+runtime, peter.collins, sebastien, v-gagano, v-sapaun, vargaz
Priority: ---    
Version: unspecified   
Target Milestone: 15.6   
Hardware: PC   
OS: Windows   
Tags: Is this bug a regression?: ---
Last known good build:
Attachments: Repro
VS version

Description Jerome Laban 2017-11-10 21:47:08 UTC
Created attachment 25647 [details]
Repro

When running the attached sample, in JIT mode the following code:

        private void Test(string key)
        {
            unsafe
            {
                unchecked
                {
                    fixed (char* src = key)
                    {
                    }
                }
            }
        }

Fails with the following error:

* Assertion at /Users/builder/jenkins/workspace/xamarin-android/xamarin-android/external/mono/mono/mini/local-propagation.c:562, condition `ins->opcode > MONO_CEE_LAST' not met

This also fails AOT generation.

See attached details for repro.

This is also an issue in Xamarin.iOS.
Comment 1 Jerome Laban 2017-11-10 21:47:29 UTC
Created attachment 25648 [details]
VS version
Comment 2 Zoltan Varga 2017-11-15 22:47:42 UTC
This will fix it:
https://github.com/mono/mono/pull/6020
Comment 3 Zoltan Varga 2017-11-16 21:54:26 UTC
Fixed in mono master/2017-10 branches.
Comment 4 Marek Habersack 2017-11-21 17:49:50 UTC
*** Bug 60780 has been marked as a duplicate of this bug. ***
Comment 5 Sebastien Pouliot 2017-12-14 02:02:53 UTC
@Zoltan, the release branch is `d15-5-2017-06`, can you back-rot the fix there ? thanks!
Comment 6 Zoltan Varga 2017-12-14 02:51:16 UTC
https://github.com/mono/mono/pull/6242