Assertion failed 'i < BitSetTraits::GetSize(env)'

[EgorBo]

Assert failure(PID 4212 [0x00001074], Thread: 5160 [0x1428]): Assertion failed 'i < BitSetTraits::GetSize(env)' in 'System.Transactions.DtcProxyShim.OletxHelper:Retry(System.Action)' during 'Clone loops' (IL size 61; hash 0x61211853; Tier1-OSR)

    File: D:\a\_work\1\s\src\coreclr\jit\bitsetasshortlong.h:299
    Image: C:\h\w\AAB00918\p\dotnet.exe

Build Information

Build: https://dev.azure.com/dnceng-public/public/_build/results?buildId=914793&view=ms.vss-test-web.build-test-results-tab&runId=24152400&resultId=215618&paneView=dotnet-dnceng.dnceng-build-release-tasks.helix-test-information-tab
Build error leg or test failing:

Error Message

Fill the error message using step by step known issues guidance.

{
  "ErrorMessage": "Assertion failed 'i < BitSetTraits::GetSize(env)'",
  "BuildRetry": false,
  "ExcludeConsoleLog": false
}

Known issue validation

Build: 🔎 https://dev.azure.com/dnceng-public/public/_build/results?buildId=914793
Error message validated: [Assertion failed 'i < BitSetTraits::GetSize(env)']
Result validation: ✅ Known issue matched with the provided build.
Validation performed at: 1/13/2025 9:38:44 AM UTC

Report

Build	Definition	Test	Pull Request
914793	dotnet/runtime	System.Transactions.Local.Tests.WorkItemExecution

Summary

24-Hour Hit Count	7-Day Hit Count	1-Month Count
0	1	1

[AndyAyersMS]

Probably one of my changes

[AndyAyersMS]

Here the loop backedge is a catch return

Trees after Find loops

---------------------------------------------------------------------------------------------------------------------------------------------------------------------
BBnum BBid ref try hnd preds           weight   IBC [IL range]   [jump]                            [EH region]        [flags]
---------------------------------------------------------------------------------------------------------------------------------------------------------------------
BB01 [0011]  1                             1      0 [???..???)-> BB03(1)                 (always)                     i IBC internal
BB03 [0001]  2       BB14,BB01           100      2 [003..004)-> BB04(1)                 (always)                     i IBC bwd bwd-target osr-entry
BB04 [0002]  1  0    BB03                100      2 [004..???)-> BB06(0),BB05(1)         ( cond ) T0      try {       i IBC keep bwd
BB05 [0013]  1  0    BB04                100      2 [???..???)-> BB15(1)                 (always) T0                  i IBC keep internal hascall gcsafe nullcheck bwd
BB06 [0014]  1  0    BB04                  0      0 [???..???)-> BB07(1)                 (always) T0                  i IBC rare keep internal hascall gcsafe bwd
BB07 [0012]  1  0    BB06                  0      0 [00C..00C)-> BB15(1)                 (always) T0      }           i IBC rare keep internal bwd
BB08 [0003]  1     0                       0.00   0 [00C..014)-> BB10(0.48),BB09(0.52)   ( cond )    H0   filter {    i IBC keep hascall bwd
BB09 [0004]  1     0 BB08                  0.00   0 [014..018)-> BB11(1)                 (always)    H0               i IBC bwd
BB10 [0005]  1     0 BB08                  0.00   0 [018..027)-> BB11(1)                 (always)    H0               i IBC hascall gcsafe bwd
BB11 [0006]  2     0 BB09,BB10             0.00   0 [027..029)-> BB12(1)                 (fltret)    H0   }           i IBC keep bwd
BB12 [0007]  2     0 BB11                  0.00   0 [029..031)-> BB14(1),BB13(0)         ( cond )    H0   filtHnd {   i IBC keep bwd
BB14 [0009]  1     0 BB12                  0.00   0 [033..03C)-> BB03(1)                 ( cret )    H0               i IBC hascall gcsafe bwd bwd-src
BB13 [0008]  1     0 BB12                  0      0 [031..033)                           (throw )    H0   }           i IBC rare hascall bwd
BB15 [0010]  2       BB07,BB05           100      2 [03C..03D)                           (return)                     i IBC
---------------------------------------------------------------------------------------------------------------------------------------------------------------------

L00 header: BB03
  Members (11): [BB03..BB12];BB14
  Entry: BB01 -> BB03
  Exit: BB07 -> BB15; BB05 -> BB15; BB12 -> BB13
  Back: BB14 -> BB03

The lexical last block is BB14 and that's where we put the slow path preheader, but it's in the middle of a handler region that we need to clone, and this confuses the cloning code.