JIT: Add missing containment check for indirect calls (#119812)

github-actions[bot] · jakobbotsch · web-flow · commit 734fa7beb89e · 2025-09-22T16:00:57.000-07:00
Co-authored-by: Jakob Botsch Nielsen &lt;jakob.botsch.nielsen@gmail.com&gt;
diff --git a/src/coreclr/jit/lowerxarch.cpp b/src/coreclr/jit/lowerxarch.cpp
@@ -7696,7 +7696,7 @@ void Lowering::ContainCheckCallOperands(GenTreeCall* call)
         }
         else
 #endif // TARGET_X86
-            if (ctrlExpr->isIndir())
+            if (ctrlExpr->isIndir() && IsSafeToContainMem(call, ctrlExpr))
             {
                 // We may have cases where we have set a register target on the ctrlExpr, but if it
                 // contained we must clear it.

Original file line number	Diff line number	Diff line change
`@@ -7696,7 +7696,7 @@ void Lowering::ContainCheckCallOperands(GenTreeCall* call)`
`7696`	`7696`	`}`
`7697`	`7697`	`else`
`7698`	`7698`	`#endif // TARGET_X86`
`7699`		`- if (ctrlExpr->isIndir())`
	`7699`	`+ if (ctrlExpr->isIndir() && IsSafeToContainMem(call, ctrlExpr))`
`7700`	`7700`	`{`
`7701`	`7701`	`// We may have cases where we have set a register target on the ctrlExpr, but if it`
`7702`	`7702`	`// contained we must clear it.`