Check for boxes in fgAddrCouldBeNull

dotnet#109164 (comment)
MichalPetryka · Oct 25, 2024 · 124c7a8 · 124c7a8
1 parent 85f6d2d
commit 124c7a8
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/coreclr/jit/flowgraph.cpp b/src/coreclr/jit/flowgraph.cpp
@@ -866,6 +866,9 @@ bool Compiler::fgAddrCouldBeNull(GenTree* addr)
         case GT_ARR_ADDR:
             return (addr->gtFlags & GTF_ARR_ADDR_NONNULL) == 0;
 
+        case GT_BOX:
+            return !addr->IsBoxedValue();
+
         case GT_LCL_VAR:
             return !lvaIsImplicitByRefLocal(addr->AsLclVar()->GetLclNum());