object.GetType needs to have an exception set

[SingleAccretion]

Reproduction:

using System;
using System.Runtime.CompilerServices;

Console.WriteLine(Problem(null, 0));

[MethodImpl(MethodImplOptions.NoInlining  | MethodImplOptions.AggressiveOptimization)]
static bool Problem(object a, int i)
{
    var fls = false;
    var c1 = i == 0;
    var c2 = c1;

    if (((a.GetType() == a) & fls) | (i == 0))
    {
        return true;
    }

    return c2;
}

Expected result: NullReferenceException thrown.
Actual result: true printed.

Cause: the GetType intrinsic needs to have an exception set.

Waiting on the refactoring in #63539 to get merged to submit the fix.

[dotnet-issue-labeler]

I couldn't figure out the best area label to add to this issue. If you have write-permissions please help me learn by adding exactly one area label.

[ghost]

Tagging subscribers to this area: @JulieLeeMSFT
See info in area-owners.md if you want to be subscribed.

Issue Details

---

Reproduction:

using System;
using System.Runtime.CompilerServices;

Console.WriteLine(Problem(null, 0));

[MethodImpl(MethodImplOptions.NoInlining  | MethodImplOptions.AggressiveOptimization)]
static bool Problem(object a, int i)
{
    var fls = false;
    var c1 = i == 0;
    var c2 = c1;

    if (((a.GetType() == a) & fls) | (i == 0))
    {
        return true;
    }

    return c2;
}

Expected result: NullReferenceException thrown.
Actual result: true printed.

Cause: the GetType intrinsic needs to have an exception set.

Waiting on the refactoring in #63539 to get merged for the fix.

Author:	SingleAccretion
Assignees:	-
Labels:	bug, area-CodeGen-coreclr
Milestone:	-