[PPL-devel] [GIT] ppl/ppl(master): Reduced the scope of variable declarations.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at 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