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: