JIT: fix cross block assertion prop (#94608)

AndyAyersMS · web-flow · commit 7c8fff93d1ec · 2023-11-10T11:14:31.000-08:00
My last round of revisions to #94363 introduced a bug. Fix.
diff --git a/src/coreclr/jit/morph.cpp b/src/coreclr/jit/morph.cpp
@@ -13814,6 +13814,7 @@ void Compiler::fgMorphBlock(BasicBlock* block)
                     {
                         JITDUMP(FMT_BB " pred " FMT_BB " not processed; clearing assertions in\n", block->bbNum,
                                 pred->bbNum);
+                        hasPredAssertions = false;
                         break;
                     }
 

Original file line number	Diff line number	Diff line change
`@@ -13814,6 +13814,7 @@ void Compiler::fgMorphBlock(BasicBlock* block)`
`13814`	`13814`	`{`
`13815`	`13815`	`JITDUMP(FMT_BB " pred " FMT_BB " not processed; clearing assertions in\n", block->bbNum,`
`13816`	`13816`	`pred->bbNum);`
	`13817`	`+ hasPredAssertions = false;`
`13817`	`13818`	`break;`
`13818`	`13819`	`}`
`13819`	`13820`