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

Author: Roberto Bagnara roberto.bagnara@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();