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

[Roberto Bagnara]

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

Author: Roberto Bagnara <roberto.bagnara at bugseng.com>
Date:   Tue Dec  9 22:49:29 2014 +0100

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

---

 src/Polyhedron_nonpublic.cc |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/src/Polyhedron_nonpublic.cc b/src/Polyhedron_nonpublic.cc
index 778e46d..e8eec52 100644
--- a/src/Polyhedron_nonpublic.cc
+++ b/src/Polyhedron_nonpublic.cc
@@ -2428,7 +2428,7 @@ PPL::Polyhedron::positive_time_elapse_assign_impl(const Polyhedron& y) {
     Generator &g = new_gs.sys.rows[i];
     if (g.is_point()) {
       x_points_gs.insert(g);
-      num_rows--;
+      --num_rows;
       swap(g, new_gs.sys.rows[num_rows]);
     }
   }