- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Revert "Do not use the <TAB> character for code layout."
by Roberto Bagnara 24 Dec '11

24 Dec '11

1 0

[GIT] ppl/ppl(master): Do not use the <TAB> character for code layout.
by Roberto Bagnara 24 Dec '11

24 Dec '11

1 0

[GIT] ppl/ppl(sparse_matrices): Merge branch 'master' into sparse_matrices
by Roberto Bagnara 24 Dec '11

24 Dec '11

Module: ppl/ppl Branch: sparse_matrices Commit: 3c4a948cbd02691171c341240a26281bb9d18ce3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3c4a948cbd02… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Dec 24 12:18:55 2011 +0100 Merge branch 'master' into sparse_matrices ---

1 0

[GIT] ppl/ppl(sparse_matrices): The automake option `dist-lzma' is obsoleted by `dist-xz'.
by Roberto Bagnara 24 Dec '11

24 Dec '11

Module: ppl/ppl Branch: sparse_matrices Commit: 5fce23a78c350093c9b6c96a5155b2d520438ce9 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5fce23a78c35… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Dec 23 09:00:27 2011 +0100 The automake option `dist-lzma' is obsoleted by `dist-xz'. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index 131e335..60a9698 100644 --- a/configure.ac +++ b/configure.ac @@ -40,7 +40,7 @@ AC_CONFIG_MACRO_DIR([m4]) AC_CANONICAL_HOST # Use Automake. -AM_INIT_AUTOMAKE([foreign no-define dist-bzip2 dist-zip dist-lzma tar-ustar silent-rules 1.11]) +AM_INIT_AUTOMAKE([foreign no-define dist-bzip2 dist-zip dist-xz tar-ustar silent-rules 1.11]) AC_SUBST(VERSION)

1 0

[GIT] ppl/ppl(master): The automake option `dist-lzma' is obsoleted by `dist-xz'.
by Roberto Bagnara 23 Dec '11

23 Dec '11

Module: ppl/ppl Branch: master Commit: 5fce23a78c350093c9b6c96a5155b2d520438ce9 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5fce23a78c35… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Dec 23 09:00:27 2011 +0100 The automake option `dist-lzma' is obsoleted by `dist-xz'. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index 131e335..60a9698 100644 --- a/configure.ac +++ b/configure.ac @@ -40,7 +40,7 @@ AC_CONFIG_MACRO_DIR([m4]) AC_CANONICAL_HOST # Use Automake. -AM_INIT_AUTOMAKE([foreign no-define dist-bzip2 dist-zip dist-lzma tar-ustar silent-rules 1.11]) +AM_INIT_AUTOMAKE([foreign no-define dist-bzip2 dist-zip dist-xz tar-ustar silent-rules 1.11]) AC_SUBST(VERSION)

1 0

Compiling PPL with OS X Lion
by Fred Mesnard 19 Dec '11

19 Dec '11

Hi all! I am considering upgrading to OS X 10.7 (Lion). Will I be able to compile the PPL? Thanks in advance, Fred

4 6

[GIT] ppl/ppl(sparse_matrices): Restored public accessibility of several OK () methods.
by Enea Zaffanella 11 Dec '11

11 Dec '11

Module: ppl/ppl Branch: sparse_matrices Commit: c966621b36a3909b5da4b8d79eca90485fd752c9 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c966621b36a3… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Dec 11 21:58:55 2011 +0100 Restored public accessibility of several OK() methods. --- src/Congruence.cc | 2 +- src/Congruence.defs.hh | 6 +++--- src/Constraint.defs.hh | 6 +++--- src/Constraint_System.defs.hh | 6 +++--- src/Generator.defs.hh | 6 +++--- src/Generator_System.defs.hh | 7 +++---- src/Grid_Generator.defs.hh | 6 +++--- src/Grid_Generator_System.defs.hh | 7 +++---- src/Linear_Expression.cc | 5 +++++ src/Linear_Expression.defs.hh | 3 +++ src/Linear_Expression_Impl.defs.hh | 8 ++++---- src/Linear_Expression_Impl.templates.hh | 6 ++++++ src/Linear_Expression_Interface.cc | 3 --- src/Linear_Expression_Interface.defs.hh | 2 ++ 14 files changed, 42 insertions(+), 31 deletions(-) diff --git a/src/Congruence.cc b/src/Congruence.cc index 9282028..d17dae4 100644 --- a/src/Congruence.cc +++ b/src/Congruence.cc @@ -217,7 +217,7 @@ PPL_OUTPUT_DEFINITIONS(Congruence) bool PPL::Congruence::ascii_load(std::istream& s) { expr.ascii_load(s); - + std::string str; if (!(s >> str) || str != "m") return false; diff --git a/src/Congruence.defs.hh b/src/Congruence.defs.hh index 92b85af..f2276a0 100644 --- a/src/Congruence.defs.hh +++ b/src/Congruence.defs.hh @@ -326,6 +326,9 @@ public: //! Returns the size in bytes of the memory managed by \p *this. memory_size_type external_memory_in_bytes() const; + //! Checks if all the invariants are satisfied. + bool OK() const; + PPL_OUTPUT_DECLARATIONS /*! \brief @@ -337,9 +340,6 @@ public: //! Swaps \p *this with \p y. void m_swap(Congruence& y); - //! Checks if all the invariants are satisfied. - bool OK() const; - //! Copy-constructs with the specified space dimension. /*! \note The new Congruence will have the same representation as `cg', diff --git a/src/Constraint.defs.hh b/src/Constraint.defs.hh index 38cf961..fd82d23 100644 --- a/src/Constraint.defs.hh +++ b/src/Constraint.defs.hh @@ -493,6 +493,9 @@ public: */ bool is_equal_to(const Constraint& y) const; + //! Checks if all the invariants are satisfied. + bool OK() const; + PPL_OUTPUT_DECLARATIONS /*! \brief @@ -724,9 +727,6 @@ private: */ bool check_strong_normalized() const; - //! Checks if all the invariants are satisfied. - bool OK() const; - /*! \brief Builds a new copy of the zero-dimension space constraint \f$\epsilon \geq 0\f$ (used to implement NNC polyhedra). diff --git a/src/Constraint_System.defs.hh b/src/Constraint_System.defs.hh index f1157c7..71f58e9 100644 --- a/src/Constraint_System.defs.hh +++ b/src/Constraint_System.defs.hh @@ -231,6 +231,9 @@ public: //! Returns the past-the-end const_iterator. const_iterator end() const; + //! Checks if all the invariants are satisfied. + bool OK() const; + PPL_OUTPUT_DECLARATIONS /*! \brief @@ -582,9 +585,6 @@ private: */ void add_universe_rows_and_space_dimensions(dimension_type n); - //! Checks if all the invariants are satisfied. - bool OK() const; - friend class Polyhedron; friend class Termination_Helpers; }; diff --git a/src/Generator.defs.hh b/src/Generator.defs.hh index f1c0307..b43143d 100644 --- a/src/Generator.defs.hh +++ b/src/Generator.defs.hh @@ -511,6 +511,9 @@ public: */ bool is_equal_to(const Generator& y) const; + //! Checks if all the invariants are satisfied. + bool OK() const; + PPL_OUTPUT_DECLARATIONS /*! \brief @@ -724,9 +727,6 @@ private: //! This is used by operator<<(); void fancy_print(std::ostream& s) const; - //! Checks if all the invariants are satisfied. - bool OK() const; - friend class Linear_System<Generator>; friend class Parma_Polyhedra_Library::Scalar_Products; friend class Parma_Polyhedra_Library::Topology_Adjusted_Scalar_Product_Sign; diff --git a/src/Generator_System.defs.hh b/src/Generator_System.defs.hh index 9217eb7..da1bb12 100644 --- a/src/Generator_System.defs.hh +++ b/src/Generator_System.defs.hh @@ -269,6 +269,9 @@ public: //! Returns the past-the-end const_iterator. const_iterator end() const; + //! Checks if all the invariants are satisfied. + bool OK() const; + PPL_OUTPUT_DECLARATIONS /*! \brief @@ -650,10 +653,6 @@ private: friend bool operator==(const Generator_System& x, const Generator_System& y); - // FIXME: This is useless: it always returns true. - //! Checks if all the invariants are satisfied. - bool OK() const; - friend class Polyhedron; }; diff --git a/src/Grid_Generator.defs.hh b/src/Grid_Generator.defs.hh index 67b56c8..445a2b2 100644 --- a/src/Grid_Generator.defs.hh +++ b/src/Grid_Generator.defs.hh @@ -498,6 +498,9 @@ public: */ bool all_homogeneous_terms_are_zero() const; + //! Checks if all the invariants are satisfied. + bool OK() const; + PPL_OUTPUT_DECLARATIONS /*! \brief @@ -507,9 +510,6 @@ public: */ bool ascii_load(std::istream& s); - //! Checks if all the invariants are satisfied. - bool OK() const; - //! Swaps \p *this with \p y. void m_swap(Grid_Generator& y); diff --git a/src/Grid_Generator_System.defs.hh b/src/Grid_Generator_System.defs.hh index c07272e..2d4eb3b 100644 --- a/src/Grid_Generator_System.defs.hh +++ b/src/Grid_Generator_System.defs.hh @@ -357,6 +357,9 @@ public: //! Returns <CODE>true</CODE> if \p *this is identical to \p y. bool is_equal_to(const Grid_Generator_System& y) const; + //! Checks if all the invariants are satisfied. + bool OK() const; + PPL_OUTPUT_DECLARATIONS /*! \brief @@ -502,10 +505,6 @@ private: */ void remove_invalid_lines_and_parameters(); - // FIXME: This is useless: it always returns true. - //! Checks if all the invariants are satisfied. - bool OK() const; - friend class Polyhedron; friend class Grid; }; diff --git a/src/Linear_Expression.cc b/src/Linear_Expression.cc index 78b55c8..c0446de 100644 --- a/src/Linear_Expression.cc +++ b/src/Linear_Expression.cc @@ -281,3 +281,8 @@ PPL::Linear_Expression::set_representation(Representation r) { } PPL_OUTPUT_DEFINITIONS(Linear_Expression) + +bool +PPL::Linear_Expression::OK() const { + return impl->OK(); +} diff --git a/src/Linear_Expression.defs.hh b/src/Linear_Expression.defs.hh index a054f56..ce3f914 100644 --- a/src/Linear_Expression.defs.hh +++ b/src/Linear_Expression.defs.hh @@ -700,6 +700,9 @@ public: //! Returns the size in bytes of the memory managed by \p *this. memory_size_type external_memory_in_bytes() const; + //! Checks if all the invariants are satisfied. + bool OK() const; + PPL_OUTPUT_DECLARATIONS /*! \brief diff --git a/src/Linear_Expression_Impl.defs.hh b/src/Linear_Expression_Impl.defs.hh index 4b49074..aad5e64 100644 --- a/src/Linear_Expression_Impl.defs.hh +++ b/src/Linear_Expression_Impl.defs.hh @@ -107,10 +107,13 @@ public: //! Copy constructor from any implementation of Linear_Expression_Interface. Linear_Expression_Impl(const Linear_Expression_Interface& e); - + //! Destructor. virtual ~Linear_Expression_Impl(); + //! Checks if all the invariants are satisfied. + virtual bool OK() const; + /*! \brief Builds the linear expression corresponding to the inhomogeneous term \p n. @@ -562,9 +565,6 @@ public: */ Linear_Expression_Impl(const Congruence& cg, dimension_type space_dim); - //! Checks if all the invariants are satisfied. - bool OK() const; - //! Linearly combines \p *this with \p y so that the coefficient of \p v //! is 0. /*! diff --git a/src/Linear_Expression_Impl.templates.hh b/src/Linear_Expression_Impl.templates.hh index 0e0462b..8f66bde 100644 --- a/src/Linear_Expression_Impl.templates.hh +++ b/src/Linear_Expression_Impl.templates.hh @@ -1249,6 +1249,12 @@ Linear_Expression_Impl<Row>::ascii_load(std::istream& s) { return true; } +template <typename Row> +bool +Linear_Expression_Impl<Row>::OK() const { + return row.OK(); +} + } // namespace Parma_Polyhedra_Library #endif // !defined(PPL_Linear_Expression_Impl_templates_hh) diff --git a/src/Linear_Expression_Interface.cc b/src/Linear_Expression_Interface.cc index 0b62a87..f5dcee4 100644 --- a/src/Linear_Expression_Interface.cc +++ b/src/Linear_Expression_Interface.cc @@ -21,7 +21,6 @@ Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. For the most up-to-date information see the Parma Polyhedra Library site: http://bugseng.com/products/ppl/ . */ - #include "ppl-config.h" #include "Linear_Expression_Interface.defs.hh" @@ -29,10 +28,8 @@ site: http://bugseng.com/products/ppl/ . */ namespace PPL = Parma_Polyhedra_Library; PPL::Linear_Expression_Interface::~Linear_Expression_Interface() { - } PPL::Linear_Expression_Interface::const_iterator_interface ::~const_iterator_interface() { - } diff --git a/src/Linear_Expression_Interface.defs.hh b/src/Linear_Expression_Interface.defs.hh index c83ee8f..4454d01 100644 --- a/src/Linear_Expression_Interface.defs.hh +++ b/src/Linear_Expression_Interface.defs.hh @@ -49,6 +49,8 @@ class Parma_Polyhedra_Library::Linear_Expression_Interface { public: virtual ~Linear_Expression_Interface(); + virtual bool OK() const = 0; + //! Returns the current representation of this linear expression. virtual Representation representation() const = 0;

1 0

[GIT] ppl/ppl(sparse_matrices): Added missing name qualification.
by Enea Zaffanella 11 Dec '11

11 Dec '11

Module: ppl/ppl Branch: sparse_matrices Commit: ae6854c3364fa0b4de0d66061a6bc1d490204f8e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ae6854c3364f… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Dec 11 21:58:01 2011 +0100 Added missing name qualification. --- src/termination.defs.hh | 26 +++++++++++++++----------- src/termination.templates.hh | 3 ++- 2 files changed, 17 insertions(+), 12 deletions(-) diff --git a/src/termination.defs.hh b/src/termination.defs.hh index 67160c7..906c5e7 100644 --- a/src/termination.defs.hh +++ b/src/termination.defs.hh @@ -35,23 +35,27 @@ namespace Parma_Polyhedra_Library { class Termination_Helpers { public: - static void all_affine_ranking_functions_PR(const Constraint_System& cs_before, - const Constraint_System& cs_after, - NNC_Polyhedron& mu_space); - static bool one_affine_ranking_function_PR(const Constraint_System& cs_before, - const Constraint_System& cs_after, - Generator& mu); - static bool one_affine_ranking_function_PR_original(const Constraint_System& cs, - Generator& mu); - static void all_affine_ranking_functions_PR_original(const Constraint_System& cs, - NNC_Polyhedron& mu_space); + static void + all_affine_ranking_functions_PR(const Constraint_System& cs_before, + const Constraint_System& cs_after, + NNC_Polyhedron& mu_space); + static bool + one_affine_ranking_function_PR(const Constraint_System& cs_before, + const Constraint_System& cs_after, + Generator& mu); + static bool + one_affine_ranking_function_PR_original(const Constraint_System& cs, + Generator& mu); + static void + all_affine_ranking_functions_PR_original(const Constraint_System& cs, + NNC_Polyhedron& mu_space); template <typename PSET> static void assign_all_inequalities_approximation(const PSET& pset_before, const PSET& pset_after, Constraint_System& cs); -}; +}; // class Termination_Helpers /*! \brief Termination test using an improvement of the method by Mesnard and diff --git a/src/termination.templates.hh b/src/termination.templates.hh index 1055058..1803fca 100644 --- a/src/termination.templates.hh +++ b/src/termination.templates.hh @@ -403,7 +403,8 @@ all_affine_quasi_ranking_functions_MS_2(const PSET& pset_before, using namespace Implementation::Termination; Constraint_System cs; - assign_all_inequalities_approximation(pset_before, pset_after, cs); + Termination_Helpers + ::assign_all_inequalities_approximation(pset_before, pset_after, cs); all_affine_quasi_ranking_functions_MS(cs, decreasing_mu_space, bounded_mu_space);

1 0

[GIT] ppl/ppl(sparse_matrices): Avoid warnings about unused variables.
by Enea Zaffanella 11 Dec '11

11 Dec '11

Module: ppl/ppl Branch: sparse_matrices Commit: e5107efba63583cc504c924d01fc1acbff062822 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e5107efba635… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Dec 11 17:25:58 2011 +0100 Avoid warnings about unused variables. --- src/BD_Shape.templates.hh | 3 +-- src/Box.templates.hh | 6 ++---- src/Octagonal_Shape.templates.hh | 3 +-- 3 files changed, 4 insertions(+), 8 deletions(-) diff --git a/src/BD_Shape.templates.hh b/src/BD_Shape.templates.hh index 7f440ff..bec8372 100644 --- a/src/BD_Shape.templates.hh +++ b/src/BD_Shape.templates.hh @@ -3431,8 +3431,7 @@ BD_Shape<T>::refine(const Variable var, const Linear_Expression& expr, Coefficient_traits::const_reference denominator) { PPL_ASSERT(denominator != 0); - const dimension_type expr_space_dim = expr.space_dimension(); - PPL_ASSERT(space_dimension() >= expr_space_dim); + PPL_ASSERT(space_dimension() >= expr.space_dimension()); const dimension_type v = var.id() + 1; PPL_ASSERT(v <= space_dimension()); PPL_ASSERT(expr.coefficient(var) == 0); diff --git a/src/Box.templates.hh b/src/Box.templates.hh index 8a8930e..4561d49 100644 --- a/src/Box.templates.hh +++ b/src/Box.templates.hh @@ -2144,8 +2144,7 @@ Box<ITV>::fold_space_dimensions(const Variables_Set& vars, template <typename ITV> void Box<ITV>::add_constraint_no_check(const Constraint& c) { - const dimension_type c_space_dim = c.space_dimension(); - PPL_ASSERT(c_space_dim <= space_dimension()); + PPL_ASSERT(c.space_dimension() <= space_dimension()); dimension_type c_num_vars = 0; dimension_type c_only_var = 0; @@ -2194,8 +2193,7 @@ Box<ITV>::add_constraints_no_check(const Constraint_System& cs) { template <typename ITV> void Box<ITV>::add_congruence_no_check(const Congruence& cg) { - const dimension_type cg_space_dim = cg.space_dimension(); - PPL_ASSERT(cg_space_dim <= space_dimension()); + PPL_ASSERT(cg.space_dimension() <= space_dimension()); // Set aside the case of proper congruences. if (cg.is_proper_congruence()) { diff --git a/src/Octagonal_Shape.templates.hh b/src/Octagonal_Shape.templates.hh index abe755c..fc0da92 100644 --- a/src/Octagonal_Shape.templates.hh +++ b/src/Octagonal_Shape.templates.hh @@ -4243,8 +4243,7 @@ Octagonal_Shape<T>::refine(const Variable var, const Linear_Expression& expr, Coefficient_traits::const_reference denominator) { PPL_ASSERT(denominator != 0); - const dimension_type expr_space_dim = expr.space_dimension(); - PPL_ASSERT(space_dim >= expr_space_dim); + PPL_ASSERT(space_dim >= expr.space_dimension()); const dimension_type var_id = var.id(); PPL_ASSERT(var_id <= space_dim); PPL_ASSERT(expr.coefficient(var) == 0);

1 0

[GIT] ppl/ppl(sparse_matrices): New commits
by Roberto Bagnara 11 Dec '11

11 Dec '11

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=93e499e6c7f2… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Dec 11 17:07:38 2011 +0100 Added new source file Linear_Expression_Impl.cc. Move template specializations that are not inline into new source file. Move other ones into Linear_Expression_Impl.inlines.hh. Prefer virtual method print() to non-standard virtual operator<< variant. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=013b9e8490bf… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Dec 11 16:18:50 2011 +0100 Avoid a couple of warnings about unused variables. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f6b04c018186… Merge: 8ce105ecb82f5320fc972a5da320ca6726e3f1d4 5d56513b2dc23fae0bc40c822299f2cfc18dad35 Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Dec 11 14:38:54 2011 +0100 Merge branch 'master' into sparse_matrices Conflicts: src/Grid_Generator.inlines.hh src/Grid_conversion.cc src/PIP_Tree.cc src/Polyhedron_public.cc src/globals.inlines.hh URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5d56513b2dc2… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Dec 10 12:50:48 2011 +0100 Added functions ppl_unreachable() and ppl_unreachable_msg(), causing program termination using abort(). Let PPL_UNREACHABLE and PPL_ASSERT be based on these functions. Avoid a cycle in header inclusion dependencies. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=31dbca0af5ea… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Dec 10 08:10:30 2011 +0100 Corrected typo causing test failures. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=50504a023403… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Dec 10 07:42:51 2011 +0100 Prefer early return to dummy assignment in unreachable code path. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9e39d6074bab… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Dec 10 07:41:12 2011 +0100 Add assignment to silence compiler warning. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e7479b827db9… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sat Dec 10 07:37:40 2011 +0100 Fixed typo. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e4cc508f1bfe… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Dec 9 18:46:44 2011 +0100 Improved name of helper function in OCaml interface. Add default label to switch to avoid warning. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3c49e9f58f55… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Dec 9 18:31:20 2011 +0100 Added debugging macro PPL_EXPECT_HEAVY. Added debugging helper function template copy_contains(). Systematically use PPL_EXPECT_HEAVY(copy_contains(...)) when checking containment assumptions in widening/narrowing methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3440f5a82c51… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Dec 9 17:41:47 2011 +0100 Better differentiate between unreachable code and unexpected values. We call, e.g., PPL_JAVA_UNEXPECTED when we are converting an illegal Java value to a C++ value; we call PPL_UNREACHABLE when such a mismatch occurs the other way round (an illegal C++ value produced by the core library). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8c89cabcad0b… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Dec 9 15:10:42 2011 +0100 Prefer if statement to switch having a single case. Detected by ECLAIR service swchlabs. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=17c7d99b34eb… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Dec 9 14:27:14 2011 +0100 Prefer if-then-else to switch having a single case label. Detected by ECLAIR service swchlabs. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d4b12db130c3… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Dec 9 13:53:56 2011 +0100 Added macro PPL_C_UNREACHABLE_MSG. Use the new macro in a few places in the C interface code. Standardized messages for errors due to Watchdog library not enabled. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9438c7071464… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Dec 9 13:40:22 2011 +0100 Added macros PPL_OCAML_UNREACHABLE and PPL_OCAML_UNREACHABLE_MSG. Try and use them systematically in the OCaml interface. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a523cbe043f… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Dec 9 13:02:40 2011 +0100 Added new macro PPL_JAVA_UNREACHABLE. Use the new macro to mark unreachable code in the Java interface files. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d08420c8dc65… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Dec 9 12:58:29 2011 +0100 Replaced throws of runtime_error exceptions by calls to PPL_UNREACHABLE. Got rid of a few (now unused) exception throwers. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=31a0bdcb139c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Dec 9 11:26:13 2011 +0100 Avoid (unreachable) default label when all cases have been listed. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3849aea53fcb… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Dec 9 11:23:36 2011 +0100 Prefer PPL_UNREACHABLE to PPL_ASSERT(0). Avoid mixing reachable and unreachable code paths. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=14344113942d… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Dec 9 11:22:27 2011 +0100 Replaced an occurrence of PPL_ASSERT(0) by PPL_UNREACHABLE. Added an assertion and comment explaining why cases are unreachable. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d3265acda1a5… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Dec 9 11:20:54 2011 +0100 Replaced an occurrence of PPL_ASSERT(0) by PPL_UNREACHABLE. Added proper assertion for preconditions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7c636fa0e883… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Dec 9 09:42:20 2011 +0100 Prefer if-then-else construct to binary switch. Detected by ECLAIR service swchlabs. Prefer listing a couple of residual switch cases to default label. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eb0fe79c7af7… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Dec 9 09:20:35 2011 +0100 Replaced PPL_ASSERT(false) with PPL_UNREACHABLE. For readability, avoid mixing reachable and unreachable paths. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1bc6cf294d3c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Dec 9 09:16:19 2011 +0100 Prefer if-then-else construct to binary switch. Detected by ECLAIR service swchlabs. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=13865670123a… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Dec 9 08:56:38 2011 +0100 Fixed a couple of switch statements where we were mixing reachable and unreachable code paths, reducing readability. Added precondition assertions at the start of assign_special_float() so as to make clearer why the default switch case is unreachable. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5adf6d4df3cc… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Dec 9 08:25:19 2011 +0100 Added new macro PPL_UNREACHABLE, to be used instead of PPL_ASSERT(false). Started replacing calls to PPL_ASSERT(false) in the core library code.

1 0