[PPL-devel] [GIT] ppl/ppl(master): Post-decrement avoided.

[Roberto Bagnara]

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

Author: Roberto Bagnara <roberto.bagnara at bugseng.com>
Date:   Mon Dec 15 19:41:55 2014 +0100

Post-decrement avoided.
Fixes a violation of rule UCGP1.M2 detected by ECLAIR.

---

 src/Octagonal_Shape_templates.hh |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/src/Octagonal_Shape_templates.hh b/src/Octagonal_Shape_templates.hh
index e250711..c585053 100644
--- a/src/Octagonal_Shape_templates.hh
+++ b/src/Octagonal_Shape_templates.hh
@@ -7151,7 +7151,7 @@ Octagonal_Shape<T>
     if (!lhs.all_zeroes(1, j_lhs)) {
       ++t_lhs;
     }
-    j_lhs--;
+    --j_lhs;
   }
 
   const Coefficient& b_lhs = lhs.inhomogeneous_term();