Module: ppl/ppl Branch: floating_point Commit: f25bf13fcea8eccc9b0158564a558f31eadd9431 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f25bf13fcea8e...
Author: Fabio Bossi bossi@cs.unipr.it Date: Tue Jul 27 12:15:00 2010 +0200
Fixed a few mistakes.
---
src/linearize.hh | 12 ++++++++++-- 1 files changed, 10 insertions(+), 2 deletions(-)
diff --git a/src/linearize.hh b/src/linearize.hh index be23aa4..37143c0 100644 --- a/src/linearize.hh +++ b/src/linearize.hh @@ -552,9 +552,9 @@ div_linearize(const Binary_Operator<Target>& bop_expr, linearized_second_operand.intervalize(int_store, intervalized_second_operand);
// Check if we may divide by zero. - if ((intervalized_second_operand.is_lower_boundary_infinity() || + if ((intervalized_second_operand.lower_is_boundary_infinity() || intervalized_second_operand.lower() <= 0) && - (intervalized_second_operand.is_upper_boundary_infinity() || + (intervalized_second_operand.upper_is_boundary_infinity() || intervalized_second_operand.upper() >= 0)) return false;
@@ -628,12 +628,15 @@ linearize(const Concrete_Expression<Target>& expr, throw std::runtime_error("PPL internal error: unimplemented"); break; case Floating_Point_Constant<Target>::KIND: + { Floating_Point_Constant<Target> fpc_expr = static_cast<Floating_Point_Constant<Target> >(expr); result = FP_Linear_Form(FP_Interval(fpc_expr.get_value_as_string())); return true; break; + } case Unary_Operator<Target>::KIND: + { Unary_Operator<Target> uop_expr = static_cast<Unary_Operator<Target> >(expr); switch (uop_expr.unary_operator()) { @@ -654,7 +657,9 @@ linearize(const Concrete_Expression<Target>& expr, throw std::runtime_error("PPL internal error"); } break; + } case Binary_Operator<Target>::KIND: + { Binary_Operator<Target> bop_expr = static_cast<Binary_Operator<Target> >(expr); switch (bop_expr.binary_operator()) { @@ -683,7 +688,9 @@ linearize(const Concrete_Expression<Target>& expr, throw std::runtime_error("PPL internal error"); } break; + } case Approximable_Reference<Target>::KIND: + { Approximable_Reference<Target> ref_expr = static_cast<Approximable_Reference<Target> >(expr); /* Variable references are the only that we are currently @@ -708,6 +715,7 @@ linearize(const Concrete_Expression<Target>& expr, return !result.overflows(); } break; + } case Cast_Operator<Target>::KIND: // TODO. break;