Skip to content

JIT: Assertion failed IsVNConstantBound(vn) || IsVNConstantBoundUnsigned(vn) during 'Assertion prop' #114212

@jakobbotsch

Description

@jakobbotsch

Failing in libraries-jitstress.

Example pipeline run: https://dev.azure.com/dnceng-public/public/_build/results?buildId=1003690&view=results
Example work item: https://dev.azure.com/dnceng-public/public/_build/results?buildId=1003690&view=ms.vss-test-web.build-test-results-tab&runId=26787028&resultId=208858&paneView=debug
Console log: https://helixr1107v0xdcypoyl9e7f.blob.core.windows.net/dotnet-runtime-refs-heads-main-0c378c0ef72a4423a4/System.Runtime.Tests/1/console.da2328c9.log?skoid=8eda00af-b5ec-4be9-b69b-0919a2338892&sktid=72f988bf-86f1-41af-91ab-2d7cd011db47&skt=2025-04-03T14%3A51%3A51Z&ske=2025-04-03T15%3A51%3A51Z&sks=b&skv=2024-11-04&sv=2024-11-04&st=2025-04-03T14%3A51%3A51Z&se=2025-04-03T15%3A51%3A51Z&sr=c&sp=r&sig=dE63TUrxRtL0yKA6Ghkit5WB9tEjSAi5zrJibrvRaDc%3D

C:\h\w\A7650909\w\A45D093E\e>type C:\h\w\A7650909\p\SetStressModes_jitstress2_tiered.cmd 
set DOTNET_TieredCompilation=1
set DOTNET_JitStress=2
...
C:\h\w\A7650909\w\A45D093E\e>"C:\h\w\A7650909\p\dotnet.exe" exec --runtimeconfig System.Runtime.Tests.runtimeconfig.json --depsfile System.Runtime.Tests.deps.json xunit.console.dll System.Runtime.Tests.dll -xml testResults.xml -nologo -nocolor -notrait category=AdditionalTimezoneChecks -notrait category=IgnoreForCI -notrait category=OuterLoop -notrait category=failing  
  Discovering: System.Runtime.Tests (method display = ClassAndMethod, method display options = None)
  Discovered:  System.Runtime.Tests (found 9396 of 9442 test cases)
  Starting:    System.Runtime.Tests (parallel test collections = on [4 threads], stop on fail = off)
    System.Tests.UIntPtrTests.GetHashCodeRespectAllBits [SKIP]
      Condition(s) not met: "Is64Bit"
    System.Tests.UIntPtrTests.Subtract [SKIP]
      Condition(s) not met: "Is64Bit"
    System.Tests.UIntPtrTests.TestExplicitCast [SKIP]
      Condition(s) not met: "Is64Bit"
    System.Tests.UIntPtrTests.TestCtor_VoidPointer_ToPointer [SKIP]
      Condition(s) not met: "Is64Bit"
    System.Tests.UIntPtrTests.Add [SKIP]
      Condition(s) not met: "Is64Bit"
    System.Tests.UIntPtrTests.TestSize [SKIP]
      Condition(s) not met: "Is64Bit"
    System.Tests.UIntPtrTests.Ctor_ULong [SKIP]
      Condition(s) not met: "Is64Bit"
    System.Tests.StringTests.LastIndexOf_Ordinal_Misc [SKIP]
      Condition(s) not met: "IsIcuGlobalization"
    System.Tests.StringTests.IndexOf_Ordinal_Misc [SKIP]
      Condition(s) not met: "IsIcuGlobalization"
    System.Tests.StringTests.EndsWith_Ordinal_Misc [SKIP]
      Condition(s) not met: "IsIcuGlobalization"
    System.Tests.StringTests.StartsWith_Ordinal_Misc [SKIP]
      Condition(s) not met: "IsIcuGlobalization"
    System.Tests.StringTests.Compare_Ordinal_Misc [SKIP]
      Condition(s) not met: "IsIcuGlobalization"
    System.Runtime.Tests.JitInfoTests.JitInfoIsNotPopulated [SKIP]
      Condition(s) not met: "IsMonoAOT"
    System.Text.Tests.RuneTests.ICU_Casing_Invariant [SKIP]
      Condition(s) not met: "IsIcuGlobalization"
    System.Tests.ArgIteratorTests.ArgIterator_Throws_PlatformNotSupportedException [SKIP]
      Condition(s) not met: "IsArgIteratorNotSupported"
    System.Tests.IntPtrTests.TestExplicitCast [SKIP]
      Condition(s) not met: "Is64Bit"
    System.Tests.IntPtrTests.Size [SKIP]
      Condition(s) not met: "Is64Bit"
    System.Tests.IntPtrTests.Add [SKIP]
      Condition(s) not met: "Is64Bit"
    System.Tests.IntPtrTests.Subtract [SKIP]
      Condition(s) not met: "Is64Bit"
    System.Tests.DateTimeOffsetTests.ToLocalTime_MaxValue [SKIP]
      Condition(s) not met: "IsMaxValuePositiveLocalOffset"
    System.Tests.IntPtrTests.GetHashCodeRespectAllBits [SKIP]
      Condition(s) not met: "Is64Bit"
    System.Tests.DateTimeOffsetTests.ToLocalTime_MinValue [SKIP]
      Condition(s) not met: "IsMinValueNegativeLocalOffset"
    System.Tests.IntPtrTests.Ctor_VoidPointer_ToPointer [SKIP]
      Condition(s) not met: "Is64Bit"
    System.Tests.IntPtrTests.Ctor_Long [SKIP]
      Condition(s) not met: "Is64Bit"
    System.Tests.DateTimeOffsetTests.ToLocalTime_Ambiguous [SKIP]
      Condition(s) not met: "IsPacificTime"

Assert failure(PID 7140 [0x00001be4], Thread: 6544 [0x1990]): Assertion failed 'IsVNConstantBound(vn) || IsVNConstantBoundUnsigned(vn)' in 'System.Runtime.MemoryFailPoint:.ctor(int):this' during 'Assertion prop' (IL size 507; hash 0x205dea63; Instrumented Tier1)

    File: D:\a\_work\1\s\src\coreclr\jit\valuenum.cpp:6953
    Image: C:\h\w\A7650909\p\dotnet.exe

cc @dotnet/jit-contrib

Metadata

Metadata

Assignees

Labels

Priority:1Work that is critical for the release, but we could probably ship withoutarea-CodeGen-coreclrCLR JIT compiler in src/coreclr/src/jit and related components such as SuperPMIblocking-clean-ci-optionalBlocking optional rolling runs

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions