Assertion failed '((tree->gtDebugFlags & GTF_DEBUG_NODE_MORPHED) == 0) && "ERROR: Already morphed this node!"'

[kunalspathak]

COMPlus_JitSkipArrayBoundCheck=1

Gets following error during startup:

Assert failure(PID 26952 [0x00006948], Thread: 30492 [0x771c]): Assertion failed '((tree->gtDebugFlags & GTF_DEBUG_NODE_MORPHED) == 0) && "ERROR: Already morphed this node!"' in 'System.Runtime.CompilerServices.CastHelpers:StelemRef(System.Array,int,System.Object)' during 'Morph - Global' (IL size 86)

    File: D:\git\runtime\src\coreclr\jit\morph.cpp Line: 15216
    Image: D:\git\runtime\artifacts\tests\coreclr\windows.x64.Checked\tests\Core_Root\CoreRun.exe

category:correctness
theme:bounds-checks
skill-level:beginner
cost:small
impact:small

[kunalspathak]

@dotnet/jit-contrib

[JulieLeeMSFT]

@echesakov PTAL.

[echesakov]

I will take a look.

[echesakov]

I have been looking into this issue for a while and I don't think we can end up at this assert other than by setting COMPlus_JitSkipArrayBoundCheck=1.

I still think we should fix the broken invariant (it's not clear how though), so I propose to move the issue to 7.0.0.
@dotnet/jit-contrib Any objections?

[kunalspathak]

Sounds good to me and that is the reason I marked it as Pri3.

[echesakov]

Un-assigning myself
cc @BruceForstall