[PPL-devel] [GIT] ppl/ppl(floating_point): Correctly handle unexpected formats.

[Fabio Bossi]

Module: ppl/ppl
Branch: floating_point
Commit: d7bfff5fe6a73fd3496b5c6af2cd1864fab1e4b9
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d7bfff5fe6a73fd3496b5c6af2cd1864fab1e4b9

Author: Fabio Bossi <bossi at cs.unipr.it>
Date:   Wed Jul 21 15:48:54 2010 +0200

Correctly handle unexpected formats.

---

 src/Float.templates.hh       |    2 ++
 src/Linear_Form.templates.hh |    2 ++
 2 files changed, 4 insertions(+), 0 deletions(-)

diff --git a/src/Float.templates.hh b/src/Float.templates.hh
index 5cc53fc..feaa8bb 100644
--- a/src/Float.templates.hh
+++ b/src/Float.templates.hh
@@ -68,6 +68,8 @@ FP_Interval_Type compute_absolute_error(
       f_exponent_bias = float_intel_double_extended::EXPONENT_BIAS;
       f_mantissa_bits = float_intel_double_extended::MANTISSA_BITS;
       break;
+    default:
+      throw std::runtime_error("PPL internal error");
   }
 
   analyzer_format omega = std::max(
diff --git a/src/Linear_Form.templates.hh b/src/Linear_Form.templates.hh
index 666207e..f676626 100644
--- a/src/Linear_Form.templates.hh
+++ b/src/Linear_Form.templates.hh
@@ -412,6 +412,8 @@ Linear_Form<C>::relative_error(
       f_base = float_intel_double_extended::BASE;
       f_mantissa_bits = float_intel_double_extended::MANTISSA_BITS;
       break;
+    default:
+      throw std::runtime_error("PPL internal error");
   }
 
   C error_propagator;