From 7e4a1f246ecf30db1a24243ed1fac2d9424e1484 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 24 Mar 2025 12:35:57 -0700 Subject: [PATCH] fix crash in elim_constr2 --- src/ast/simplifiers/elim_unconstrained.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/simplifiers/elim_unconstrained.cpp b/src/ast/simplifiers/elim_unconstrained.cpp index f9dfb916c..95b76b0a2 100644 --- a/src/ast/simplifiers/elim_unconstrained.cpp +++ b/src/ast/simplifiers/elim_unconstrained.cpp @@ -243,7 +243,7 @@ elim_unconstrained::node& elim_unconstrained::get_node(expr* t) { node& ch = get_node(arg); SASSERT(ch.is_root()); ch.add_parent(*n); - if (is_uninterp_const(arg)) + if (is_uninterp_const(arg) && m_heap.contains(arg->get_id())) m_heap.increased(arg->get_id()); } }