From 4773bec975260b79ed013f3cbebcaa7774425504 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 30 Dec 2024 09:44:23 -0800
Subject: [PATCH] check for null before debug assertions

---
 src/ast/sls/sls_bv_lookahead.cpp | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/ast/sls/sls_bv_lookahead.cpp b/src/ast/sls/sls_bv_lookahead.cpp
index 33ab987a6..8db2c9ffa 100644
--- a/src/ast/sls/sls_bv_lookahead.cpp
+++ b/src/ast/sls/sls_bv_lookahead.cpp
@@ -465,11 +465,12 @@ namespace sls {
     */
 
     bool bv_lookahead::apply_update(expr* e, bvect const& new_value, char const* reason) {
+        if (!e || !wval(e).can_set(new_value))
+            return false;
         SASSERT(bv.is_bv(e));
         SASSERT(is_uninterp(e));
         SASSERT(m_restore.empty());
-        if (!e || !wval(e).can_set(new_value))
-            return false;
+
         wval(e).eval = new_value;
         double old_top_score = m_top_score;