- PPL-devel - BUGSENG Mailman

Installation for MingW
by Oliveira, Italo (GE Global Research) 18 Jun '14

18 Jun '14

Hello, I'm trying to install ppl in MingW64 from the sources, but an error is happening: version.cc:76:1: error: unable to find string literal operator 'operator"" __VERSION__' "Fausto Spoto, Basile Starynkevitch, Pedro Vasconcelos, Ralf Wildenhues."; ^ make[3]: *** [version.lo] Error 1 make[3]: Leaving directory `/home/Italo/ppl-1.1/src' make[2]: *** [all] Error 2 make[2]: Leaving directory `/home/Italo/ppl-1.1/src' make[1]: *** [all-recursive] Error 1 make[1]: Leaving directory `/home/Italo/ppl-1.1' make: *** [all] Error 2 If this is not a known problem, would there be a way just to use the static libraries and includes? Thanks, Ítalo Romani de Oliveira Lead Scientist - Air & Ground Transportation Systems Brazil Technology Center GE Global Research T +55 21 3733 8297<tel:%2B55%2021%203733%204163> M +55 21 96957 2555 iroliveira(a)ge.com<mailto:iroliveira@ge.com> www.ge.com/brasilresearch<http://www.ge.com/brasilresearch> Rua Paulo Emídio Barbosa, 485 - Qd 1 A Parque Tecnológico - Ilha do Fundão 21941-615 - Rio de Janeiro - RJ - Brazil

2 3

[GIT] ppl/ppl(compliance): Removed trailing whitespace.
by Roberto Bagnara 14 Jun '14

14 Jun '14

Module: ppl/ppl Branch: compliance Commit: 8d637a0f6e96e49524dd665b2cde2ad1dddce12d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d637a0f6e96… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jun 14 06:02:43 2014 +0200 Removed trailing whitespace. --- src/BD_Shape.cc | 2 +- src/Bit_Row.cc | 2 +- src/Congruence.cc | 10 +++++----- src/Constraint.cc | 2 +- src/Generator_System.cc | 3 +-- src/Grid_Generator.cc | 2 +- src/Init.cc | 2 +- src/Octagonal_Shape.cc | 5 ++--- src/Polyhedron_nonpublic.cc | 6 +++--- src/Polyhedron_public.cc | 12 ++++++------ tests/Concrete_Expression/digitalfilters1.cc | 6 +++--- tests/Polyhedron/linearsystem1.cc | 2 +- 12 files changed, 26 insertions(+), 28 deletions(-) diff --git a/src/BD_Shape.cc b/src/BD_Shape.cc index 8b591db..13cf2e6 100644 --- a/src/BD_Shape.cc +++ b/src/BD_Shape.cc @@ -71,7 +71,7 @@ PPL::BD_Shape_Helpers::extract_bounded_difference(const Constraint& c, return false; c_coeff = c1; - + return true; } diff --git a/src/Bit_Row.cc b/src/Bit_Row.cc index 6954599..821c5cb 100644 --- a/src/Bit_Row.cc +++ b/src/Bit_Row.cc @@ -127,7 +127,7 @@ PPL::Bit_Row::prev(unsigned long position) const { while (true) { if (limb != 0) - return static_cast<unsigned long>(li) * PPL_BITS_PER_GMP_LIMB + return static_cast<unsigned long>(li) * PPL_BITS_PER_GMP_LIMB + Implementation::last_one(limb); if (li == 0) break; diff --git a/src/Congruence.cc b/src/Congruence.cc index 2d55993..40fef8a 100644 --- a/src/Congruence.cc +++ b/src/Congruence.cc @@ -79,13 +79,13 @@ PPL::Congruence::normalize() { void PPL::Congruence::strong_normalize() { normalize(); - + Coefficient gcd = expr.gcd(0, expr.space_dimension() + 1); if (gcd == 0) gcd = modulus_; else gcd_assign(gcd, modulus_, gcd); - + if (gcd != 0 && gcd != 1) { expr /= gcd; modulus_ /= gcd; @@ -98,7 +98,7 @@ PPL::Congruence::scale(Coefficient_traits::const_reference factor) { if (factor == 1) // Nothing to do. return; - + expr *= factor; modulus_ *= factor; } @@ -195,7 +195,7 @@ bool PPL::Congruence::is_tautological() const { if (is_equality()) return (inhomogeneous_term() == 0) && expr.all_homogeneous_terms_are_zero(); - + return (inhomogeneous_term() % modulus() == 0) && expr.all_homogeneous_terms_are_zero(); } @@ -203,7 +203,7 @@ bool PPL::Congruence::is_inconsistent() const { if (is_equality()) return (inhomogeneous_term() != 0) && expr.all_homogeneous_terms_are_zero(); - + return (inhomogeneous_term() % modulus() != 0) && expr.all_homogeneous_terms_are_zero(); } diff --git a/src/Constraint.cc b/src/Constraint.cc index 7d72c5f..dfcf303 100644 --- a/src/Constraint.cc +++ b/src/Constraint.cc @@ -288,7 +288,7 @@ PPL::Constraint::ascii_dump(std::ostream& s) const { expr.ascii_dump(s); s << " "; - + switch (type()) { case Constraint::EQUALITY: s << "="; diff --git a/src/Generator_System.cc b/src/Generator_System.cc index 926396d..f14afff 100644 --- a/src/Generator_System.cc +++ b/src/Generator_System.cc @@ -761,7 +761,7 @@ PPL::Generator_System::remove_invalid_lines_and_rays() { // NOTE: the following swaps will mix generators without even trying // to preserve sortedness: as a matter of fact, it will almost always // be the case that the input generator system is NOT sorted. - + // Note that num_rows() is *not* constant, because it is decreased by // remove_row(). for (dimension_type i = 0; i < num_rows(); ) { @@ -811,4 +811,3 @@ PPL::IO_Operators::operator<<(std::ostream& s, const Generator_System& gs) { s << ", "; } } - diff --git a/src/Grid_Generator.cc b/src/Grid_Generator.cc index d66dedd..102ea57 100644 --- a/src/Grid_Generator.cc +++ b/src/Grid_Generator.cc @@ -149,7 +149,7 @@ PPL::Grid_Generator::swap_space_dimensions(Variable v1, Variable v2) { bool PPL::Grid_Generator::remove_space_dimensions(const Variables_Set& vars) { PPL_ASSERT(vars.space_dimension() <= space_dimension()); - + expr.remove_space_dimensions(vars); PPL_ASSERT(OK()); diff --git a/src/Init.cc b/src/Init.cc index 470b3e3..d22b778 100644 --- a/src/Init.cc +++ b/src/Init.cc @@ -131,7 +131,7 @@ ppl_test_rounding() { } // namespace -#endif // PPL_CAN_CONTROL_FPU +#endif // PPL_CAN_CONTROL_FPU // && defined(PPL_ARM_CAN_CONTROL_FPU) && PPL_ARM_CAN_CONTROL_FPU PPL::Init::Init() { diff --git a/src/Octagonal_Shape.cc b/src/Octagonal_Shape.cc index 4ebabbf..c84c04e 100644 --- a/src/Octagonal_Shape.cc +++ b/src/Octagonal_Shape.cc @@ -90,7 +90,7 @@ PPL::Octagonal_Shape_Helper if (c0 != c1 && c0 != -c1) // Constraint `c' is not an octagonal difference. return false; - + c_first_var *= 2; c_second_var *= 2; if (sgn(c0) < 0) @@ -98,7 +98,6 @@ PPL::Octagonal_Shape_Helper if (sgn(c1) > 0) ++c_second_var; c_coeff = c0; - + return true; } - diff --git a/src/Polyhedron_nonpublic.cc b/src/Polyhedron_nonpublic.cc index 7d18799..ad1b652 100644 --- a/src/Polyhedron_nonpublic.cc +++ b/src/Polyhedron_nonpublic.cc @@ -1211,7 +1211,7 @@ PPL::Polyhedron::strongly_minimize_constraints() const { // `cs[i]' is not a strict inequality: consider next constraint. ++i; } - + PPL_ASSERT(cs.num_pending_rows() == 0); if (changed) { @@ -1288,7 +1288,7 @@ PPL::Polyhedron::strongly_minimize_generators() const { if (con_sys[i].is_strict_inequality()) sat_all_but_strict_ineq.set(i); } - + // Will record whether or not we changed the generator system. bool changed = false; @@ -1968,7 +1968,7 @@ PPL::Polyhedron::BFT00_poly_hull_assign_if_exact(const Polyhedron& y) { ++num_y_gs_red_in_x; } } - + // Step 2: if no redundant generator has been identified, // then the union is not convex. CHECKME: why? if (num_x_gs_red_in_y == 0 && num_y_gs_red_in_x == 0) diff --git a/src/Polyhedron_public.cc b/src/Polyhedron_public.cc index c60c281..f844f81 100644 --- a/src/Polyhedron_public.cc +++ b/src/Polyhedron_public.cc @@ -392,7 +392,7 @@ PPL::Polyhedron::is_universe() const { break; } } - + if (has_pending_generators()) { // The non-pending part of `gen_sys' was minimized: // a success-first test is possible in this case. @@ -574,7 +574,7 @@ PPL::Polyhedron::contains_integer_point() const { if (gen_sys[i].is_point() && gen_sys[i].divisor() == 1) return true; } - + const Constraint_System& cs = constraints(); #if 0 // TEMPORARILY DISABLED. MIP_Problem mip(space_dim, @@ -721,7 +721,7 @@ PPL::Polyhedron::constrains(const Variable var) const { if (sign != 0) { if (gen_sys_i.expression().all_zeroes(1, var_id) && gen_sys_i.expression().all_zeroes(var_id + 1, space_dim + 1)) { - + if (gen_sys_i.is_line()) return true; if (sign > 0) @@ -2076,7 +2076,7 @@ PPL::Polyhedron::simplify_using_context_assign(const Polyhedron& y) { ++num_redundant_by_y; } } - + Constraint_System result_cs; if (num_redundant_by_y < x_cs_num_rows) { @@ -3095,7 +3095,7 @@ PPL::Polyhedron::generalized_affine_image(const Linear_Expression& lhs, i = lhs.begin(), i_end = lhs.end(); i != i_end; ++i) { new_lines.insert(line(i.variable())); } - + const dimension_type num_common_dims = std::min(lhs.space_dimension(), rhs.space_dimension()); if (lhs.have_a_common_variable(rhs, Variable(0), Variable(num_common_dims))) { @@ -3230,7 +3230,7 @@ PPL::Polyhedron::generalized_affine_preimage(const Linear_Expression& lhs, i = lhs.begin(), i_end = lhs.end(); i != i_end; ++i) { new_lines.insert(line(i.variable())); } - + const dimension_type num_common_dims = std::min(lhs.space_dimension(), rhs.space_dimension()); if (lhs.have_a_common_variable(rhs, Variable(0), Variable(num_common_dims))) { diff --git a/tests/Concrete_Expression/digitalfilters1.cc b/tests/Concrete_Expression/digitalfilters1.cc index 1b6de3c..3a6a82e 100644 --- a/tests/Concrete_Expression/digitalfilters1.cc +++ b/tests/Concrete_Expression/digitalfilters1.cc @@ -545,7 +545,7 @@ test05() { tmp.lower() = 0; tmp.upper() = 16; oracle.int_store.affine_form_image(D, FP_Linear_Form(tmp)); - bd.affine_form_image(D, FP_Linear_Form(tmp)); + bd.affine_form_image(D, FP_Linear_Form(tmp)); oracle.int_store.intersection_assign(FP_Interval_Abstract_Store(bd)); // S = Y; @@ -754,7 +754,7 @@ test06() { tmp.lower() = 0; tmp.upper() = 16; oracle.int_store.affine_form_image(D, FP_Linear_Form(tmp)); - oc.affine_form_image(D, FP_Linear_Form(tmp)); + oc.affine_form_image(D, FP_Linear_Form(tmp)); oracle.int_store.intersection_assign(FP_Interval_Abstract_Store(oc)); // S = Y; @@ -963,7 +963,7 @@ test07() { tmp.lower() = 0; tmp.upper() = 16; oracle.int_store.affine_form_image(D, FP_Linear_Form(tmp)); - ph.affine_form_image(D, FP_Linear_Form(tmp)); + ph.affine_form_image(D, FP_Linear_Form(tmp)); oracle.int_store.intersection_assign(FP_Interval_Abstract_Store(ph)); // S = Y; diff --git a/tests/Polyhedron/linearsystem1.cc b/tests/Polyhedron/linearsystem1.cc index 5177756..3bf9b65 100644 --- a/tests/Polyhedron/linearsystem1.cc +++ b/tests/Polyhedron/linearsystem1.cc @@ -67,7 +67,7 @@ test01() { // such a coefficient. // To avoid the problem, we simply increment the coefficient. ++c; - + if (col == 0) e += c; else

1 0

[GIT] ppl/ppl(compliance): Added missing braces. Fixes violations of rule MP1.6-3-1 detected by ECLAIR.
by Patrik Pomelli 14 Jun '14

14 Jun '14

Module: ppl/ppl Branch: compliance Commit: 5d0fb617340797024b1412e4895715af39b427a3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5d0fb6173407… Author: Patrik Pomelli <patrik.pomelli(a)bugseng.com> Date: Sat Jun 14 02:24:01 2014 +0200 Added missing braces. Fixes violations of rule MP1.6-3-1 detected by ECLAIR. Signed-off-by: Roberto Bagnara <bagnara(a)cs.unipr.it> --- src/Box_templates.hh | 102 ++++++++++++++++++---------- src/Congruence_System_inlines.hh | 6 +- src/DB_Matrix_templates.hh | 3 +- src/Grid_public.cc | 3 +- src/Linear_Expression_Impl_templates.hh | 9 ++- src/Linear_System_inlines.hh | 5 +- src/MIP_Problem.cc | 13 ++-- src/Partially_Reduced_Product_templates.hh | 3 +- src/Pointset_Powerset_templates.hh | 6 +- src/Polyhedron_conversion_templates.hh | 6 +- src/Polyhedron_nonpublic.cc | 59 ++++++++++------ src/Polyhedron_public.cc | 69 ++++++++++++------- 12 files changed, 181 insertions(+), 103 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=5d0fb617…

1 0

[GIT] ppl/ppl(compliance): Merge branch 'master' into compliance.
by Roberto Bagnara 14 Jun '14

14 Jun '14

Module: ppl/ppl Branch: compliance Commit: 1e46c22014f25eb412cd3a172e3e36d3328edd3b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1e46c22014f2… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sat Jun 14 05:57:00 2014 +0200 Merge branch 'master' into compliance. ---

1 0

[GIT] ppl/ppl(compliance): Trailing whitespace removed.
by Roberto Bagnara 14 Jun '14

14 Jun '14

Module: ppl/ppl Branch: compliance Commit: fe759bb940ffa3083ec6eca0c8221d388bd2bb64 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fe759bb940ff… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Thu Jun 12 21:43:12 2014 +0200 Trailing whitespace removed. --- src/Polyhedron_chdims.cc | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/Polyhedron_chdims.cc b/src/Polyhedron_chdims.cc index 10a9e45..a52d04c 100644 --- a/src/Polyhedron_chdims.cc +++ b/src/Polyhedron_chdims.cc @@ -420,7 +420,7 @@ PPL::Polyhedron::expand_space_dimension(Variable var, dimension_type m) { Constraint c_template = c; c_template.expr.set_coefficient(var, Coefficient_zero()); - + // Each relevant constraint results in `m' new constraints. for (dimension_type dst_d = old_dim; dst_d < old_dim+m; ++dst_d) { Constraint new_c = c_template;

1 0

PPL Constraints usage
by Stefan Schupp 12 Jun '14

12 Jun '14

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Hi, I am currently trying to create a Polytope from a matrix and a vector. Therefore I create linear expressions from the coefficients of the matrix in combination with the associated PPL-Variables. Afterwards I can add an inhomogenous term from the given vector. As far as I read the documentation I can construct a Polytope naturally by adding constraints. These constraints are supposed to be constructed from a relation of either a linear expression and a constant (my inhomogenuous term, if you want to put it that way) or a relation from two linear expressions. I tried both ways, but the constraint created seems to be empty. How am I supposed to create and use the needed Constraints? Short example: Linear expression: A + 3*B - 5 (when printed) resulting constraint: 0 >= -5 (created by: Parma_Polyhedra_Library::Constraint constraint = expr <= 0 , where expr is the linear expression) Best regards, Stefan - -- Stefan Schupp M.Sc. RWTH Aachen University Computer Science Department, Informatik 2 D-52056 Aachen, Germany http://www-i2.informatik.rwth-aachen.de/i2/schupp/ Tel.: +49 241 80 21243 -----BEGIN PGP SIGNATURE----- Version: GnuPG/MacGPG2 v2.0.22 (Darwin) Comment: GPGTools - https://gpgtools.org Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/ iQEcBAEBCgAGBQJTmGfQAAoJEFPSi5GyofDj2pMH/ikbRTgyELaev9vXansEqziP kKToH735PWdoynYKEEo+ANHPPUTjpe3J1fVGFQJAuO8PSElOUwN02xxkD0Yl9yV0 cM/8WVdVKZhADg0KsPjXgD5khlZMfR6DQS2L4ultddI82U6x2VaGkZSX8TZJDKHQ AJbyqd/1wcijEWHxILc2l2ip3YGAJAKfb64xlDD6RjDedorKuQtLiN7YFo82jteR YBmCSVgbXyI9cY2EcLfwcvltj3psxYRylqy/QpaEzPtyLGmEohCB+5n+8hPIYjms eEEGqWdJlVfvnnfeHnnCaCzIKYGArcGidc1n63hSWvb+p/+61bzG8Hq+JONyaa0= =g21U -----END PGP SIGNATURE-----

3 4

[GIT] ppl/ppl(compliance): Missing brace added.
by Roberto Bagnara 12 Jun '14

12 Jun '14

Module: ppl/ppl Branch: compliance Commit: a483b63739b1dd78bda63892043873e0205c2ab3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a483b63739b1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jun 12 13:49:18 2014 +0200 Missing brace added. --- src/Bit_Matrix.cc | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/Bit_Matrix.cc b/src/Bit_Matrix.cc index 6da3540..c1107ef 100755 --- a/src/Bit_Matrix.cc +++ b/src/Bit_Matrix.cc @@ -263,7 +263,7 @@ bool PPL::Bit_Matrix::check_sorted() const { const Bit_Matrix& x = *this; for (dimension_type i = num_rows(); i-- > 1; ) { - if (compare(x[i-1], x[i]) > 0) + if (compare(x[i-1], x[i]) > 0) { return false; } }

1 0

[GIT] ppl/ppl(compliance): Added missing braces. Fixes violations of rules MP1.6-3-1 and MP1.6-4-1 detected by ECLAIR.
by Patrik Pomelli 12 Jun '14

12 Jun '14

Module: ppl/ppl Branch: compliance Commit: 2ea46ae16ed04657ba0577bd3b8e824099e5c08e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2ea46ae16ed0… Author: Patrik Pomelli <patrik.pomelli(a)bugseng.com> Date: Thu Jun 12 12:57:37 2014 +0200 Added missing braces. Fixes violations of rules MP1.6-3-1 and MP1.6-4-1 detected by ECLAIR. Signed-off-by: Roberto Bagnara <bagnara(a)cs.unipr.it> --- demos/ppl_pips/ppl_pips.cc | 24 ++++-- src/BD_Shape.cc | 3 +- src/BD_Shape_inlines.hh | 12 ++- src/BD_Shape_templates.hh | 22 ++++-- src/BHRZ03_Certificate.cc | 3 +- src/Box_templates.hh | 31 ++++++--- src/CO_Tree.cc | 77 ++++++++++++++------ src/CO_Tree_inlines.hh | 6 +- src/Congruence_System.cc | 36 ++++++--- src/Constraint_System.cc | 25 +++++-- src/DB_Matrix_templates.hh | 45 ++++++++---- src/DB_Row_templates.hh | 9 ++- src/Dense_Row.cc | 33 ++++++--- src/Dense_Row_inlines.hh | 3 +- src/Dense_Row_templates.hh | 9 ++- src/EList_inlines.hh | 3 +- src/Generator_System.cc | 29 +++++--- src/Grid_Generator_System.cc | 17 +++-- src/Grid_conversion.cc | 14 +++-- src/Grid_nonpublic.cc | 12 ++- src/Grid_public.cc | 51 +++++++++----- src/Grid_simplify.cc | 6 +- src/Grid_templates.hh | 9 ++- src/Linear_Expression_Impl.cc | 54 +++++++++----- src/Linear_Expression_Impl_templates.hh | 40 +++++++---- src/Linear_Expression_inlines.hh | 12 ++- src/Linear_System_inlines.hh | 27 +++++--- src/Linear_System_templates.hh | 51 +++++++++----- src/MIP_Problem.cc | 75 +++++++++++++------ src/MIP_Problem_inlines.hh | 9 ++- src/MIP_Problem_templates.hh | 8 ++- src/Matrix_templates.hh | 46 ++++++++---- src/OR_Matrix_inlines.hh | 3 +- src/OR_Matrix_templates.hh | 3 +- src/Octagonal_Shape_inlines.hh | 12 ++- src/Octagonal_Shape_templates.hh | 70 ++++++++++++------ src/PIP_Problem.cc | 18 +++-- src/PIP_Problem_inlines.hh | 3 +- src/PIP_Tree.cc | 78 ++++++++++++++------- src/Partial_Function.cc | 3 +- src/Partially_Reduced_Product_templates.hh | 9 ++- src/Pending_List_templates.hh | 4 +- src/Pointset_Powerset.cc | 24 +++++-- src/Pointset_Powerset_templates.hh | 109 +++++++++++++++++++--------- src/Polyhedron_chdims.cc | 6 +- src/Polyhedron_chdims_templates.hh | 3 +- src/Polyhedron_conversion_templates.hh | 8 ++- src/Polyhedron_minimize_templates.hh | 15 +++-- src/Polyhedron_nonpublic.cc | 25 +++---- src/Polyhedron_simplify_templates.hh | 3 +- src/Polyhedron_widenings.cc | 15 +++-- src/Powerset_templates.hh | 21 ++++-- src/Sparse_Row.cc | 58 ++++++++++----- src/Sparse_Row_templates.hh | 9 ++- src/Swapping_Vector_inlines.hh | 12 ++- src/Variables_Set.cc | 10 ++- src/algorithms.hh | 3 +- src/swapping_sort_templates.hh | 9 ++- src/termination.cc | 12 ++- src/termination_templates.hh | 3 +- src/wrap_assign.hh | 3 +- src/wrap_string.cc | 3 +- 62 files changed, 906 insertions(+), 449 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=2ea46ae1…

1 0

[GIT] ppl/ppl(compliance): Do not declare more than one variable per declaration. Fixes violations of rule CP1.DCL04 detected by ECLAIR.
by Patrik Pomelli 11 Jun '14

11 Jun '14

Module: ppl/ppl Branch: compliance Commit: 5992421fdd82d7172b88a5c0a98310a2124dee3d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5992421fdd82… Author: Patrik Pomelli <patrik.pomelli(a)bugseng.com> Date: Mon Jun 9 15:44:24 2014 +0200 Do not declare more than one variable per declaration. Fixes violations of rule CP1.DCL04 detected by ECLAIR. Signed-off-by: Roberto Bagnara <bagnara(a)cs.unipr.it> --- demos/ppl_lcdd/ppl_lcdd.cc | 3 ++- 1 files changed, 2 insertions(+), 1 deletions(-) diff --git a/demos/ppl_lcdd/ppl_lcdd.cc b/demos/ppl_lcdd/ppl_lcdd.cc index 14dabc9..260b8a0 100755 --- a/demos/ppl_lcdd/ppl_lcdd.cc +++ b/demos/ppl_lcdd/ppl_lcdd.cc @@ -1068,7 +1068,8 @@ write_polyhedron(std::ostream& out, if (g.coefficient(PPL::Variable(j)) == 0) guarded_write(out, '0'); else { - mpz_class numer, denom; + mpz_class numer; + mpz_class denom; PPL::assign_r(numer, g.coefficient(PPL::Variable(j)), PPL::ROUND_NOT_NEEDED);

1 0

[GIT] ppl/ppl(compliance): Previous commit fixed.
by Patrik Pomelli 09 Jun '14

09 Jun '14

Module: ppl/ppl Branch: compliance Commit: 333a57b84a1806f10706f994cf6f7caa130bcceb URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=333a57b84a18… Author: Patrik Pomelli <patrik.pomelli(a)bugseng.com> Date: Mon Jun 9 12:00:23 2014 +0200 Previous commit fixed. Signed-off-by: Roberto Bagnara <roberto.bagnara(a)bugseng.com> --- src/Bit_Matrix.cc | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/Bit_Matrix.cc b/src/Bit_Matrix.cc index c57c54c..6da3540 100755 --- a/src/Bit_Matrix.cc +++ b/src/Bit_Matrix.cc @@ -226,8 +226,8 @@ PPL::Bit_Matrix::external_memory_in_bytes() const { memory_size_type n = rows.capacity() * sizeof(Dense_Row); for (dimension_type i = num_rows(); i-- > 0; ) { n += rows[i].external_memory_in_bytes(); - return n; } + return n; } bool

1 0