From 024747d80e825de5c36f695283f3d4ae26f3cd43 Mon Sep 17 00:00:00 2001 From: 1sgtpepper Date: Sun, 9 Aug 2026 10:42:59 +0800 Subject: [PATCH] fpa: remove redundant underflow width alias --- src/ast/fpa/fpa2bv_converter.cpp | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/ast/fpa/fpa2bv_converter.cpp b/src/ast/fpa/fpa2bv_converter.cpp index 523f96c791..8b7d525d11 100644 --- a/src/ast/fpa/fpa2bv_converter.cpp +++ b/src/ast/fpa/fpa2bv_converter.cpp @@ -1145,9 +1145,8 @@ void fpa2bv_converter::mk_div(sort * s, expr_ref & rm, expr_ref & x, expr_ref & m_simp.mk_ite(shift_is_deep, all_discarded, discarded_shifted, discarded); expr_ref sticky_ext(m), underflow_sig(m); - unsigned underflow_sig_low_bit = sig_extract_low_bit; underflow_sig = m_bv_util.mk_extract( - 2 * sig_size - 1, underflow_sig_low_bit, shifted_sig); + 2 * sig_size - 1, sig_extract_low_bit, shifted_sig); sticky_ext = m_bv_util.mk_zero_extend(sbits + 1, discarded); underflow_sig = m_bv_util.mk_bv_or({underflow_sig, sticky_ext});