[PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Polyhedron: fix an invalid reference bug in generalized_affine_image().
Marco Poletti
poletti.marco at gmail.com
Fri Feb 11 10:16:31 CET 2011
Module: ppl/ppl
Branch: ppl-0_11-branch
Commit: ec1bbda7096c881d72d7f26eabc9a992f09dcac0
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ec1bbda7096c881d72d7f26eabc9a992f09dcac0
Author: Marco Poletti <poletti.marco at gmail.com>
Date: Sat Feb 5 16:09:47 2011 +0100
Polyhedron: fix an invalid reference bug in generalized_affine_image().
---
src/Polyhedron_public.cc | 9 ++++-----
1 files changed, 4 insertions(+), 5 deletions(-)
diff --git a/src/Polyhedron_public.cc b/src/Polyhedron_public.cc
index 9c66a31..80c293b 100644
--- a/src/Polyhedron_public.cc
+++ b/src/Polyhedron_public.cc
@@ -2925,15 +2925,14 @@ generalized_affine_image(const Variable var,
const dimension_type eps_index = space_dim + 1;
for (dimension_type i = gen_sys.num_rows(); i-- > 0; )
if (gen_sys[i].is_point()) {
- Generator& g = gen_sys[i];
- // Add a `var'-displaced copy of `g' to the generator system.
- gen_sys.add_row(g);
+ // Add a `var'-displaced copy of `gen_sys[i]' to the generator system.
+ gen_sys.add_row(gen_sys[i]);
if (relsym == GREATER_THAN)
++gen_sys[gen_sys.num_rows()-1][var_space_dim];
else
--gen_sys[gen_sys.num_rows()-1][var_space_dim];
- // Transform `g' into a closure point.
- g[eps_index] = 0;
+ // Transform `gen_sys[i]' into a closure point.
+ gen_sys[i][eps_index] = 0;
}
clear_constraints_up_to_date();
clear_generators_minimized();
More information about the PPL-devel
mailing list