Promote the comparison type instead of using the decimal sig type

mborland · mborland · commit 11160186d1f8 · 2025-01-21T11:38:49.000-05:00
diff --git a/include/boost/decimal/detail/comparison.hpp b/include/boost/decimal/detail/comparison.hpp
@@ -96,7 +96,7 @@ template <BOOST_DECIMAL_DECIMAL_FLOATING_TYPE DecimalType = decimal32, BOOST_DEC
 constexpr auto equal_parts_impl(T1 lhs_sig, U1 lhs_exp, bool lhs_sign,
                                 T2 rhs_sig, U2 rhs_exp, bool rhs_sign) noexcept -> std::enable_if_t<std::is_same<DecimalType, decimal32>::value || std::is_same<DecimalType, decimal64>::value || std::is_same<DecimalType, decimal128>::value, bool>
 {
-    using comp_type = typename DecimalType::significand_type;
+    using comp_type = std::conditional_t<(std::numeric_limits<T1>::digits10 > std::numeric_limits<T2>::digits10), T1, T2>;
 
     BOOST_DECIMAL_ASSERT(lhs_sig >= 0);
     BOOST_DECIMAL_ASSERT(rhs_sig >= 0);

Original file line number	Diff line number	Diff line change
`@@ -96,7 +96,7 @@ template <BOOST_DECIMAL_DECIMAL_FLOATING_TYPE DecimalType = decimal32, BOOST_DEC`
`96`	`96`	`constexpr auto equal_parts_impl(T1 lhs_sig, U1 lhs_exp, bool lhs_sign,`
`97`	`97`	`T2 rhs_sig, U2 rhs_exp, bool rhs_sign) noexcept -> std::enable_if_t<std::is_same<DecimalType, decimal32>::value \|\| std::is_same<DecimalType, decimal64>::value \|\| std::is_same<DecimalType, decimal128>::value, bool>`
`98`	`98`	`{`
`99`		`- using comp_type = typename DecimalType::significand_type;`
	`99`	`+ using comp_type = std::conditional_t<(std::numeric_limits<T1>::digits10 > std::numeric_limits<T2>::digits10), T1, T2>;`
`100`	`100`
`101`	`101`	`BOOST_DECIMAL_ASSERT(lhs_sig >= 0);`
`102`	`102`	`BOOST_DECIMAL_ASSERT(rhs_sig >= 0);`