From ca1f4697724fbb3dc3afed465e2e027ef4d4522d Mon Sep 17 00:00:00 2001
From: jzmaddock <john@johnmaddock.co.uk>
Date: Fri, 6 Feb 2015 19:02:37 +0000
Subject: [PATCH] Assert preconditions that are broken in
 https://svn.boost.org/trac/boost/ticket/10924

---
 include/boost/multiprecision/cpp_dec_float.hpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/include/boost/multiprecision/cpp_dec_float.hpp b/include/boost/multiprecision/cpp_dec_float.hpp
index 6a2d131b..5d0b6641 100644
--- a/include/boost/multiprecision/cpp_dec_float.hpp
+++ b/include/boost/multiprecision/cpp_dec_float.hpp
@@ -2232,6 +2232,8 @@ cpp_dec_float<Digits10, ExponentType, Allocator>& cpp_dec_float<Digits10, Expone
    *this = zero();
 
    f = frexp(a, &e);
+   // See https://svn.boost.org/trac/boost/ticket/10924 for an example of why this may go wrong:
+   BOOST_ASSERT((boost::math::isfinite)(f));
 
    static const int shift = std::numeric_limits<int>::digits - 1;
 
@@ -2239,6 +2241,7 @@ cpp_dec_float<Digits10, ExponentType, Allocator>& cpp_dec_float<Digits10, Expone
    {
       // extract int sized bits from f:
       f = ldexp(f, shift);
+      BOOST_ASSERT((boost::math::isfinite)(f));
       term = floor(f);
       e -= shift;
       *this *= pow2(shift);