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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Feb 25 12:37:53 2012 +0100

Reduced the scope of variable declarations. Detected by ECLAIR service minscope.

---

...lication_Floating_Point_Expression.templates.hh | 11 ++++++----- src/linearize.hh | 11 ++++++----- 2 files changed, 12 insertions(+), 10 deletions(-)

diff --git a/src/Multiplication_Floating_Point_Expression.templates.hh b/src/Multiplication_Floating_Point_Expression.templates.hh index b9c84bd..e182317 100644 --- a/src/Multiplication_Floating_Point_Expression.templates.hh +++ b/src/Multiplication_Floating_Point_Expression.templates.hh @@ -60,15 +60,16 @@ bool Multiplication_Floating_Point_Expression<FP_Interval_Type, FP_Format> FP_Interval_Type intervalized_second_operand; this->intervalize(linearized_second_operand, int_store, intervalized_second_operand); - boundary_type first_interval_size, second_interval_size;

// FIXME: we are not sure that what we do here is policy-proof. if (intervalized_first_operand.is_bounded()) { if (intervalized_second_operand.is_bounded()) { - first_interval_size = intervalized_first_operand.upper() - - intervalized_first_operand.lower(); - second_interval_size = intervalized_second_operand.upper() - - intervalized_second_operand.lower(); + boundary_type first_interval_size + = intervalized_first_operand.upper() + - intervalized_first_operand.lower(); + boundary_type second_interval_size + = intervalized_second_operand.upper() + - intervalized_second_operand.lower(); if (first_interval_size <= second_interval_size) intervalize_first = true; else diff --git a/src/linearize.hh b/src/linearize.hh index fff09d3..e5ac48a 100644 --- a/src/linearize.hh +++ b/src/linearize.hh @@ -380,15 +380,16 @@ mul_linearize(const Binary_Operator<Target>& bop_expr, if (!linearized_second_operand.intervalize(oracle, intervalized_second_operand)) return false; - analyzer_format first_interval_size, second_interval_size;

// FIXME: we are not sure that what we do here is policy-proof. if (intervalized_first_operand.is_bounded()) { if (intervalized_second_operand.is_bounded()) { - first_interval_size = intervalized_first_operand.upper() - - intervalized_first_operand.lower(); - second_interval_size = intervalized_second_operand.upper() - - intervalized_second_operand.lower(); + analyzer_format first_interval_size + = intervalized_first_operand.upper() + - intervalized_first_operand.lower(); + analyzer_format second_interval_size + = intervalized_second_operand.upper() + - intervalized_second_operand.lower(); if (first_interval_size <= second_interval_size) intervalize_first = true; else