check for null before debug assertions

Z3Prover · Dec 30, 2024 · 4773bec · 4773bec
1 parent d8741b4
commit 4773bec
Showing 1 changed file with 3 additions and 2 deletions.
diff --git 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;