Type preinitialization skips dataflow analysis

[MichalStrehovsky]

There's an assignment to a DAM member but since we interpret the cctor instead of executing it, it bypasses the DAM annotations: this program will nullref at runtime.

This is a regression in 9.0.

using System;
using System.Diagnostics.CodeAnalysis;

Preinit.TheType.GetMethod("TheMethod").Invoke(null, []);

class Preinit
{
    [DynamicallyAccessedMembers(DynamicallyAccessedMemberTypes.PublicMethods)]
    public static Type TheType = typeof(Preinit);

    public static void TheMethod() => Console.WriteLine("Hello");
}

[ghost]

Tagging subscribers to this area: @agocke, @MichalStrehovsky, @jkotas
See info in area-owners.md if you want to be subscribed.

Issue Details

---

There's an assignment to a DAM member but since we interpret the cctor instead of executing it, it bypasses the DAM annotations: this program will nullref at runtime.

This is a regression in 9.0.

using System;
using System.Diagnostics.CodeAnalysis;

Preinit.TheType.GetMethod("TheMethod").Invoke(null, []);

class Preinit
{
    [DynamicallyAccessedMembers(DynamicallyAccessedMemberTypes.PublicMethods)]
    public static Type TheType = typeof(Preinit);

    public static void TheMethod() => Console.WriteLine("Hello");
}

Author:	MichalStrehovsky
Assignees:	-
Labels:	area-NativeAOT-coreclr
Milestone:	9.0.0