`System.BadImageFormatException` on attempt to compare a `voidptr` and `IntPtr.Zero.ToPointer()`

[ForNeVeR]

Consider this F# program:

open System

[<Struct>]
type Image =
    val data: voidptr

let LoadTextureFromMemory(): bool =
    let image = Unchecked.defaultof<Image>
    image.data = IntPtr.Zero.ToPointer()

let foo = LoadTextureFromMemory()

Expected behavior
This program should work and put true into the foo variable.

Actual behavior

Unhandled exception. System.BadImageFormatException: An attempt was made to load a program with an incorrect format. (0x8007000B)
   at Program.LoadTextureFromMemory()
   at <StartupCode$ConsoleApp11>.$Program.main@() in T:\Temp\ConsoleApp11\ConsoleApp11\Program.fs:line 13

See the repro on sharplab as well.

Known workarounds

// open Microsoft.FSharp.NativeInterop
NativePtr.ofVoidPtr<byte> image.data = NativePtr.nullPtr

Related information

• Operating system: Windows 11
• .NET Runtime kind (.NET Core, .NET Framework, Mono): .NET SDK 7.0.302
• Editing Tools (e.g. Visual Studio Version, Visual Studio): should not matter

[KevinRansom]

Not a regression or at least not a recent one, here it fails on net5.0:

C:\Users\kevinr\source\repos\ConsoleApp24\ConsoleApp24>dotnet --version
5.0.408

C:\Users\kevinr\source\repos\ConsoleApp24\ConsoleApp24>dotnet run
Unhandled exception. System.BadImageFormatException: An attempt was made to load a program with an incorrect format. (0x8007000B)
   at Program.LoadTextureFromMemory()
   at <StartupCode$ConsoleApp24>.$Program.main@() in C:\Users\kevinr\source\repos\ConsoleApp24\ConsoleApp24\Program.fs:line 11

C:\Users\kevinr\source\repos\ConsoleApp24\ConsoleApp24>

[KevinRansom]

Oh I get it, image is supposed to be a local or stack variable, with .data set to 0.

[vzarytovskii]

Fixed by #15257