From 573e6db4a42ea36f543a8a8a5bf718c85d4c41f1 Mon Sep 17 00:00:00 2001
From: Andy Ayers <andya@microsoft.com>
Date: Fri, 10 Nov 2023 07:23:27 -0800
Subject: [PATCH] JIT: fix cross block assertion prop

My last round of revisions to #94363 introduced a bug. Fix.
---
 src/coreclr/jit/morph.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/coreclr/jit/morph.cpp b/src/coreclr/jit/morph.cpp
index 1c24bc8ef84558..6baacf5d03ec8a 100644
--- 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;
                     }