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

Question

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

kunalspathak opened this issue 4 years ago · 6 comments

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

Answer 1 · 2021-08-06T04:28:37.000Z

@dotnet/jit-contrib

Answer 2 · 2021-08-06T18:26:18.000Z

@echesakov PTAL.

Answer 3 · 2021-08-06T18:58:10.000Z

I will take a look.

Answer 4 · 2021-08-13T00:35:19.000Z

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?

Answer 5 · 2021-08-13T00:42:53.000Z

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

Answer 6 · 2022-03-15T22:01:08.000Z

Un-assigning myself
cc @BruceForstall