[PPL-devel] [GIT] ppl/ppl(master): Reduce scope of loop index variable.

13 Feb 2012

Module: ppl/ppl
Branch: master
Commit: 230921583305ca2fe45f474fe7763ee238441691
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=230921583305c...
Author: Enea Zaffanella zaffanella@cs.unipr.it
Date:   Mon Feb 13 09:23:49 2012 +0100
Reduce scope of loop index variable.
Detected by ECLAIR service minscope.
---
src/Box.templates.hh |    3 +--
 1 files changed, 1 insertions(+), 2 deletions(-)

diff --git a/src/Box.templates.hh b/src/Box.templates.hh
index e62d8df..341c111 100644
--- a/src/Box.templates.hh
+++ b/src/Box.templates.hh
@@ -1920,8 +1920,7 @@ Box<ITV>::simplify_using_context_assign(const Box& y) {
   }
// Loop index `i' is intentionally going upwards.
-  dimension_type i = 0;
-  for ( ; i < num_dims; ++i) {
+  for (dimension_type i = 0; i < num_dims; ++i) {
     if (!x.seq[i].simplify_using_context_assign(y.seq[i])) {
       PPL_ASSERT(!x.seq[i].is_empty());
       // The intersection of `x' and `y' is empty due to the i-th interval:

    