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

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