Module: ppl/ppl Branch: floating_point Commit: d7bfff5fe6a73fd3496b5c6af2cd1864fab1e4b9 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d7bfff5fe6a73...
Author: Fabio Bossi bossi@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;