From c03c395267dee98032f8d68124eecd72ceec50ca Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Fri, 30 Oct 2020 14:09:51 +0000 Subject: [PATCH] Add missing assertion. Fixes #4642. --- src/util/mpf.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/util/mpf.cpp b/src/util/mpf.cpp index 8983da3ce..7983ce9be 100644 --- a/src/util/mpf.cpp +++ b/src/util/mpf.cpp @@ -745,7 +745,8 @@ void mpf_manager::div(mpf_rounding_mode rm, mpf const & x, mpf const & y, mpf & } void mpf_manager::fma(mpf_rounding_mode rm, mpf const & x, mpf const & y, mpf const &z, mpf & o) { - SASSERT(x.sbits == y.sbits && x.ebits == y.ebits); + SASSERT(x.sbits == y.sbits && x.ebits == y.ebits && + x.sbits == z.sbits && x.ebits == z.ebits); TRACE("mpf_dbg", tout << "X = " << to_string(x) << std::endl;); TRACE("mpf_dbg", tout << "Y = " << to_string(y) << std::endl;);