February 2012 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Uniformed, improved and moved to a better place implementation of clz/ctz.
by Abramo Bagnara 22 Feb '12

22 Feb '12

Module: ppl/ppl Branch: master Commit: 754dcbd68b32c262d39d7d5dba3ed01a9f816b6c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=754dcbd68b32… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Wed Feb 22 13:17:14 2012 +0100 Uniformed, improved and moved to a better place implementation of clz/ctz. --- src/Bit_Row.inlines.hh | 118 +++---------------------------------- src/Float.inlines.hh | 34 +----------- src/assert.hh | 2 - src/compiler.hh | 149 ++++++++++++++++++++++++++++++++++++++++++++++++ src/globals.inlines.hh | 3 +- 5 files changed, 162 insertions(+), 144 deletions(-) diff --git a/src/Bit_Row.inlines.hh b/src/Bit_Row.inlines.hh index 0fb51b7..50e919c 100644 --- a/src/Bit_Row.inlines.hh +++ b/src/Bit_Row.inlines.hh @@ -24,6 +24,7 @@ site: http://bugseng.com/products/ppl/ . */ #ifndef PPL_Bit_Row_inlines_hh #define PPL_Bit_Row_inlines_hh 1 +#include "compiler.hh" #include "globals.defs.hh" #include "assert.hh" @@ -160,15 +161,12 @@ Bit_Row::difference_assign(const Bit_Row& x, const Bit_Row& y) { namespace Implementation { -#if defined(__GNUC__) - /*! \brief Assuming \p u is nonzero, returns the index of the first set bit in \p u. */ inline unsigned int first_one(unsigned int u) { - PPL_ASSERT(u != 0); - return __builtin_ctz(u); + return ctz(u); } /*! \brief @@ -177,8 +175,7 @@ first_one(unsigned int u) { */ inline unsigned int first_one(unsigned long ul) { - PPL_ASSERT(ul != 0); - return __builtin_ctzl(ul); + return ctz(ul); } /*! \brief @@ -187,65 +184,16 @@ first_one(unsigned long ul) { */ inline unsigned int first_one(unsigned long long ull) { - PPL_ASSERT(ull != 0); - return __builtin_ctzll(ull); -} - -#elif PPL_HAVE_DECL_FFS && PPL_SIZEOF_MP_LIMB_T == PPL_SIZEOF_INT - -/*! \brief - Assuming \p w is nonzero, returns the index of the first set bit in \p w. -*/ -inline unsigned int -first_one(mp_limb_t w) { - return ffs(w)-1; -} - -#else - -/*! \brief - Assuming \p w is nonzero, returns the index of the first set bit in \p w. -*/ -inline unsigned int -first_one(mp_limb_t w) { - unsigned int r = 0; - w = w & -w; -#if PPL_SIZEOF_MP_LIMB_T == 8 - if ((w & 0xffffffff) == 0) { - w >>= 32; - r += 32; - } -#elif PPL_SIZEOF_MP_LIMB_T != 4 -#error "size of mp_limb_t not supported by first_one(mp_limb_t w)." -#endif - if ((w & 0xffff) == 0) { - w >>= 16; - r += 16; - } - if ((w & 0xff) == 0) { - w >>= 8; - r += 8; - } - if (w & 0xf0) - r += 4; - if (w & 0xcc) - r += 2; - if (w & 0xaa) - r += 1; - return r; + return ctz(ull); } -#endif // !defined(__GNUC__) - // && (!PPL_HAVE_DECL_FFS || PPL_SIZEOF_MP_LIMB_T != PPL_SIZEOF_INT) - -#if defined(__GNUC__) /*! \brief Assuming \p u is nonzero, returns the index of the last set bit in \p u. */ inline unsigned int last_one(unsigned int u) { - PPL_ASSERT(u != 0); - return sizeof(unsigned int)*CHAR_BIT - 1 - __builtin_clz(u); + return static_cast<unsigned int>(sizeof_to_bits(sizeof(u))) + - 1U - clz(u); } /*! \brief @@ -254,8 +202,8 @@ last_one(unsigned int u) { */ inline unsigned int last_one(unsigned long ul) { - PPL_ASSERT(ul != 0); - return sizeof(unsigned long)*CHAR_BIT - 1 - __builtin_clzl(ul); + return static_cast<unsigned int>(sizeof_to_bits(sizeof(ul))) + - 1U - clz(ul); } /*! \brief @@ -264,56 +212,10 @@ last_one(unsigned long ul) { */ inline unsigned int last_one(unsigned long long ull) { - PPL_ASSERT(ull != 0); - return sizeof(unsigned long long)*CHAR_BIT - 1 - __builtin_clzll(ull); -} - -#else // !defined(__GNUC__) - -/*! \brief - Assuming \p w is nonzero, returns the index of the last set bit in \p w. -*/ -inline unsigned int -last_one(mp_limb_t w) { - PPL_ASSERT(w != 0); - unsigned int r = 0; -#if PPL_SIZEOF_MP_LIMB_T == 8 - if (w & -#if PPL_SIZEOF_LONG == 8 - 0xffffffff00000000 -#else - 0xffffffff00000000LL -#endif - ) { - w >>= 32; - r += 32; - } -#elif PPL_SIZEOF_MP_LIMB_T != 4 -#error "size of mp_limb_t not supported by last_one(mp_limb_t w)." -#endif - if (w & 0xffff0000) { - w >>= 16; - r += 16; - } - if (w & 0xff00) { - w >>= 8; - r += 8; - } - if (w & 0xf0) { - w >>= 4; - r += 4; - } - if (w & 0xc) { - w >>= 2; - r += 2; - } - if (w & 0x2) - r += 1; - return r; + return static_cast<unsigned int>(sizeof_to_bits(sizeof(ull))) + - 1U - clz(ull); } -#endif // !defined(__GNUC__) - } // namespace Implementation /*! \relates Bit_Row */ diff --git a/src/Float.inlines.hh b/src/Float.inlines.hh index 6d851db..ce371e0 100644 --- a/src/Float.inlines.hh +++ b/src/Float.inlines.hh @@ -466,42 +466,10 @@ is_less_precise_than(Floating_Point_Format f1, Floating_Point_Format f2) { return f1 < f2; } -#if defined(__GNUC__) inline unsigned int msb_position(unsigned long long v) { - PPL_ASSERT(v != 0); - return static_cast<unsigned>(__builtin_clzll(v)) ^ (sizeof(v)*8 - 1); + return static_cast<unsigned int>(sizeof_to_bits(sizeof(v))) - 1U - clz(v); } -#else -unsigned int -msb_position(unsigned long long v) { - PPL_ASSERT(v != 0); - unsigned r = 0; - if (v >= 0x100000000ULL) { - v >>= 32; - r += 32; - } - if (v >= 0x10000) { - v >>= 16; - r += 16; - } - if (v >= 0x100) { - v >>= 8; - r += 8; - } - if (v >= 0x10) { - v >>= 4; - r += 4; - } - if (v >= 4) { - v >>= 2; - r += 2; - } - if (v >= 2) - r++; - return r; -} -#endif template <typename FP_Interval_Type> inline void diff --git a/src/assert.hh b/src/assert.hh index 29b103b..09c84a1 100644 --- a/src/assert.hh +++ b/src/assert.hh @@ -24,8 +24,6 @@ site: http://bugseng.com/products/ppl/ . */ #ifndef PPL_assert_hh #define PPL_assert_hh 1 -#include "globals.defs.hh" - // The PPL_UNREACHABLE_MSG macro flags a program point as unreachable. // Argument `msg__' is added to output when assertions are turned on. #if defined(NDEBUG) diff --git a/src/compiler.hh b/src/compiler.hh index eb34db2..7544710 100644 --- a/src/compiler.hh +++ b/src/compiler.hh @@ -24,6 +24,11 @@ site: http://bugseng.com/products/ppl/ . */ #ifndef PPL_compiler_hh #define PPL_compiler_hh 1 +#include "assert.hh" + +#include <cstddef> +#include <climits> + namespace Parma_Polyhedra_Library { #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS @@ -73,6 +78,150 @@ struct Suppress_Uninitialized_Warnings_Type { type name #endif +inline std::size_t +sizeof_to_bits(std::size_t size) { + return size * static_cast<std::size_t>(CHAR_BIT); +} + +#if !defined(__GNUC__) + +inline unsigned int clz32(u_int32_t w) { + unsigned int r = 31; + if ((w & 0xffffffff00000000ULL) != 0) { + w = (w >> 31) >> 1; + r -= 32; + } + if ((w & 0xffff0000U) != 0) { + w >>= 16; + r -= 16; + } + if ((w & 0xff00U) != 0) { + w >>= 8; + r -= 8; + } + if ((w & 0xf0U) != 0) { + w >>= 4; + r -= 4; + } + if ((w & 0xcU) != 0) { + w >>= 2; + r -= 2; + } + if ((w & 0x2U) != 0) + r -= 1; + return r; +} + +inline unsigned int clz64(u_int64_t w) { + if ((w & 0xffffffff00000000ULL) == 0) + return clz32(static_cast<u_int32_t>(w)) + 32; + else + return clz32(static_cast<u_int32_t>(w >> 32)); +} + +inline unsigned int ctz32(u_int32_t w) { + static const unsigned int mod37_table[] = { + 32, 0, 1, 26, 2, 23, 27, 0, 3, 16, 24, 30, 28, 11, 0, 13, + 4, 7, 17, 0, 25, 22, 31, 15, 29, 10, 12, 6, 0, 21, 14, 9, + 5, 20, 8, 19, 18 + }; + return mod37_table[(w & -w) % 37]; +} + +inline unsigned int ctz64(u_int64_t w) { + if ((w & 0x00000000ffffffffULL) == 0) + return ctz32(static_cast<u_int32_t>(w >> 32)) + 32; + else + return ctz32(static_cast<u_int32_t>(w)); +} + +#endif + +inline unsigned int +clz(unsigned int u) { + PPL_ASSERT(u != 0); +#if defined(__GNUC__) + return static_cast<unsigned int>(__builtin_clz(u)); +#elif PPL_SIZEOF_INT == 4 + return clz32(u); +#elif PPL_SIZEOF_INT == 8 + return clz64(u); +#else + #error "Unsupported unsigned int size" +#endif +} + +inline unsigned int +clz(unsigned long ul) { + PPL_ASSERT(ul != 0); +#if defined(__GNUC__) + return static_cast<unsigned int>(__builtin_clzl(ul)); +#elif PPL_SIZEOF_LONG == 4 + return clz32(u); +#elif PPL_SIZEOF_LONG == 8 + return clz64(u); +#else + #error "Unsupported unsigned long size" +#endif +} + +inline unsigned int +clz(unsigned long long ull) { + PPL_ASSERT(ull != 0); +#if defined(__GNUC__) + return static_cast<unsigned int>(__builtin_clzll(ull)); +#elif PPL_SIZEOF_LONG_LONG == 4 + return clz32(u); +#elif PPL_SIZEOF_LONG_LONG == 8 + return clz64(u); +#else + #error "Unsupported unsigned long long size" +#endif +} + + +inline unsigned int +ctz(unsigned int u) { + PPL_ASSERT(u != 0); +#if defined(__GNUC__) + return static_cast<unsigned int>(__builtin_ctz(u)); +#elif PPL_SIZEOF_INT == 4 + return ctz32(u); +#elif PPL_SIZEOF_INT == 8 + return ctz64(u); +#else + #error "Unsupported unsigned int size" +#endif +} + +inline unsigned int +ctz(unsigned long ul) { + PPL_ASSERT(ul != 0); +#if defined(__GNUC__) + return static_cast<unsigned int>(__builtin_ctzl(ul)); +#elif PPL_SIZEOF_LONG == 4 + return ctz32(u); +#elif PPL_SIZEOF_LONG == 8 + return ctz64(u); +#else + #error "Unsupported unsigned long size" +#endif +} + +inline unsigned int +ctz(unsigned long long ull) { + PPL_ASSERT(ull != 0); +#if defined(__GNUC__) + return static_cast<unsigned int>(__builtin_ctzll(ull)); +#elif PPL_SIZEOF_LONG_LONG == 4 + return ctz32(u); +#elif PPL_SIZEOF_LONG_LONG == 8 + return ctz64(u); +#else + #error "Unsupported unsigned long long size" +#endif +} + } // namespace Parma_Polyhedra_Library #endif // !defined(PPL_compiler_hh) diff --git a/src/globals.inlines.hh b/src/globals.inlines.hh index 97bde3f..513ec2e 100644 --- a/src/globals.inlines.hh +++ b/src/globals.inlines.hh @@ -27,6 +27,7 @@ site: http://bugseng.com/products/ppl/ . */ #include <limits> #include <cassert> #include <cctype> +#include "compiler.hh" namespace Parma_Polyhedra_Library { @@ -48,7 +49,7 @@ Weightwatch_Traits::get() { inline bool Weightwatch_Traits::less_than(const Threshold& a, const Threshold& b) { - return b - a < (1ULL << (sizeof(Threshold)*8 - 1)); + return b - a < (1ULL << (sizeof_to_bits(sizeof(Threshold)) - 1)); } inline void

1 0

[GIT] ppl/ppl(master): Prefer using C_Integer traits rather than macros in <climits>, thereby
by Enea Zaffanella 22 Feb '12

22 Feb '12

Module: ppl/ppl Branch: master Commit: ff759c6b48d0bf2ed81e2bcdaf5aa072d1b540e5 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff759c6b48d0… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 22 10:09:23 2012 +0100 Prefer using C_Integer traits rather than macros in <climits>, thereby avoiding a few implicit conversions changing signedness. Detected by ECLAIR service utypflag. --- src/Bit_Matrix.cc | 11 +++++++---- src/Bit_Row.cc | 16 ++++++++-------- src/checked.cc | 9 +++++---- 3 files changed, 20 insertions(+), 16 deletions(-) diff --git a/src/Bit_Matrix.cc b/src/Bit_Matrix.cc index 75e1fb1..96243f7 100644 --- a/src/Bit_Matrix.cc +++ b/src/Bit_Matrix.cc @@ -25,9 +25,9 @@ site: http://bugseng.com/products/ppl/ . */ #include "Bit_Matrix.defs.hh" #include "globals.defs.hh" #include "swapping_sort.templates.hh" +#include "C_Integer.hh" #include <iostream> #include <string> -#include <climits> namespace PPL = Parma_Polyhedra_Library; @@ -85,7 +85,8 @@ PPL::Bit_Matrix::transpose() { const dimension_type ncols = num_columns(); Bit_Matrix tmp(ncols, nrows); for (dimension_type i = nrows; i-- > 0; ) - for (unsigned long j = x[i].last(); j != ULONG_MAX; j = x[i].prev(j)) + for (unsigned long j = x[i].last(); + j != C_Integer<unsigned long>::max; j = x[i].prev(j)) tmp[j].set(i); m_swap(tmp); PPL_ASSERT(OK()); @@ -97,7 +98,8 @@ PPL::Bit_Matrix::transpose_assign(const Bit_Matrix& y) { const dimension_type y_num_columns = y.num_columns(); Bit_Matrix tmp(y_num_columns, y_num_rows); for (dimension_type i = y_num_rows; i-- > 0; ) - for (unsigned long j = y[i].last(); j != ULONG_MAX; j = y[i].prev(j)) + for (unsigned long j = y[i].last(); + j != C_Integer<unsigned long>::max; j = y[i].prev(j)) tmp[j].set(i); m_swap(tmp); PPL_ASSERT(OK()); @@ -205,7 +207,8 @@ PPL::Bit_Matrix::OK() const { const Bit_Row& row = x[i]; if (!row.OK()) return false; - else if (row.last() != ULONG_MAX && row.last() >= row_size) { + else if (row.last() != C_Integer<unsigned long>::max + && row.last() >= row_size) { #ifndef NDEBUG cerr << "Bit_Matrix[" << i << "] is a row with too many bits!" << endl diff --git a/src/Bit_Row.cc b/src/Bit_Row.cc index 9fec973..ac56da2 100644 --- a/src/Bit_Row.cc +++ b/src/Bit_Row.cc @@ -24,7 +24,7 @@ site: http://bugseng.com/products/ppl/ . */ #include "ppl-config.h" #include "Bit_Row.defs.hh" #include "assert.hh" -#include <climits> +#include "C_Integer.hh" namespace PPL = Parma_Polyhedra_Library; @@ -38,7 +38,7 @@ PPL::Bit_Row::first() const { if (limb != 0) return li*PPL_BITS_PER_GMP_LIMB + Implementation::first_one(limb); } - return ULONG_MAX; + return C_Integer<unsigned long>::max; } unsigned long @@ -50,13 +50,13 @@ PPL::Bit_Row::next(unsigned long position) const { // case mpz_scan1() is improved. // // unsigned long r = mpz_scan1(vec, position); - // return (r == ULONG_MAX) ? -1 : r; + // return (r == C_Integer<unsigned long>::max) ? -1 : r; mp_size_t li = position / PPL_BITS_PER_GMP_LIMB; const mp_size_t vec_size = vec->_mp_size; PPL_ASSERT(vec_size >= 0); if (li >= vec_size) - return ULONG_MAX; + return C_Integer<unsigned long>::max; // Get the first limb. mp_srcptr p = vec->_mp_d + li; @@ -74,7 +74,7 @@ PPL::Bit_Row::next(unsigned long position) const { ++p; limb = *p; } - return ULONG_MAX; + return C_Integer<unsigned long>::max; } unsigned long @@ -82,7 +82,7 @@ PPL::Bit_Row::last() const { mp_size_t li = vec->_mp_size; PPL_ASSERT(li >= 0); if (li == 0) - return ULONG_MAX; + return C_Integer<unsigned long>::max; --li; const mp_srcptr p = vec->_mp_d + li; const mp_limb_t limb = *p; @@ -93,7 +93,7 @@ PPL::Bit_Row::last() const { unsigned long PPL::Bit_Row::prev(unsigned long position) const { if (position == 0) - return ULONG_MAX; + return C_Integer<unsigned long>::max; --position; @@ -127,7 +127,7 @@ PPL::Bit_Row::prev(unsigned long position) const { --p; limb = *p; } - return ULONG_MAX; + return C_Integer<unsigned long>::max; } bool diff --git a/src/checked.cc b/src/checked.cc index 2fc1900..b024861 100644 --- a/src/checked.cc +++ b/src/checked.cc @@ -23,7 +23,7 @@ site: http://bugseng.com/products/ppl/ . */ #include "ppl-config.h" #include "checked.defs.hh" -#include <climits> +#include "C_Integer.hh" namespace Parma_Polyhedra_Library { @@ -109,7 +109,7 @@ inline bool sum_sign(bool& a_neg, unsigned long& a_mod, bool b_neg, unsigned long b_mod) { if (a_neg == b_neg) { - if (a_mod > ULONG_MAX - b_mod) + if (a_mod > C_Integer<unsigned long>::max - b_mod) return false; a_mod += b_mod; } @@ -279,8 +279,9 @@ parse_number_part(std::istream& is, number_struct& numer) { exp: state = EXPONENT; PPL_ASSERT(numer.base >= 2); - max_exp_div = LONG_MAX / numer.base; - max_exp_rem = static_cast<int>(LONG_MAX % numer.base); + const long l_max = C_Integer<long>::max; + max_exp_div = static_cast<unsigned long>(l_max) / numer.base; + max_exp_rem = static_cast<int>(l_max % static_cast<long>(numer.base)); if (!is.get(c)) return V_CVT_STR_UNK; if (c == '-') {

1 0

[GIT] ppl/ppl(master): Declare pure virtual methods in abstract base classes.
by Enea Zaffanella 22 Feb '12

22 Feb '12

Module: ppl/ppl Branch: master Commit: 7214979d8337182cd1592292abdaabc772c0f94c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7214979d8337… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 22 09:21:44 2012 +0100 Declare pure virtual methods in abstract base classes. Override them only once in derived classes. Detected by ECLAIR service ovrdonce. --- src/PIP_Tree.cc | 16 ++++++++-------- src/PIP_Tree.defs.hh | 14 ++++++++++---- 2 files changed, 18 insertions(+), 12 deletions(-) diff --git a/src/PIP_Tree.cc b/src/PIP_Tree.cc index 77bd698..f4b2f28 100644 --- a/src/PIP_Tree.cc +++ b/src/PIP_Tree.cc @@ -1051,23 +1051,23 @@ PIP_Decision_Node::check_ownership(const PIP_Problem* owner) const { && (true_child == 0 || true_child->check_ownership(owner)); } -const PIP_Solution_Node* -PIP_Tree_Node::as_solution() const { - return 0; +const PIP_Decision_Node* +PIP_Decision_Node::as_decision() const { + return this; } const PIP_Decision_Node* -PIP_Tree_Node::as_decision() const { +PIP_Solution_Node::as_decision() const { return 0; } const PIP_Solution_Node* -PIP_Solution_Node::as_solution() const { - return this; +PIP_Decision_Node::as_solution() const { + return 0; } -const PIP_Decision_Node* -PIP_Decision_Node::as_decision() const { +const PIP_Solution_Node* +PIP_Solution_Node::as_solution() const { return this; } diff --git a/src/PIP_Tree.defs.hh b/src/PIP_Tree.defs.hh index 043895b..226d439 100644 --- a/src/PIP_Tree.defs.hh +++ b/src/PIP_Tree.defs.hh @@ -74,13 +74,13 @@ public: virtual ~PIP_Tree_Node(); //! Returns \c true if and only if \p *this is well formed. - virtual bool OK() const; + virtual bool OK() const = 0; //! Returns \p this if \p *this is a solution node, 0 otherwise. - virtual const PIP_Solution_Node* as_solution() const; + virtual const PIP_Solution_Node* as_solution() const = 0; //! Returns \p this if \p *this is a decision node, 0 otherwise. - virtual const PIP_Decision_Node* as_decision() const; + virtual const PIP_Decision_Node* as_decision() const = 0; /*! \brief Returns the system of parameter constraints controlling \p *this. @@ -242,7 +242,7 @@ protected: virtual void print_tree(std::ostream& s, unsigned indent, const std::vector<bool>& pip_dim_is_param, - dimension_type first_art_dim) const; + dimension_type first_art_dim) const = 0; //! A helper function used when printing PIP trees. static void @@ -368,6 +368,9 @@ public: //! Returns \p this. virtual const PIP_Solution_Node* as_solution() const; + //! Returns 0, since \p this is not a decision node. + virtual const PIP_Decision_Node* as_decision() const; + /*! \brief Returns a parametric expression for the values of problem variable \p var. @@ -708,6 +711,9 @@ public: //! Returns \p this. virtual const PIP_Decision_Node* as_decision() const; + //! Returns 0, since \p this is not a solution node. + virtual const PIP_Solution_Node* as_solution() const; + //! Returns a const pointer to the \p b (true or false) branch of \p *this. const PIP_Tree_Node* child_node(bool b) const;

1 0

[GIT] ppl/ppl(master): Specify the `virtual' keyword when declaring overriding methods.
by Enea Zaffanella 22 Feb '12

22 Feb '12

Module: ppl/ppl Branch: master Commit: 1a28c03f8b5cc431553f06385c8124acfc9ab4e1 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1a28c03f8b5c… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed Feb 22 08:38:08 2012 +0100 Specify the `virtual' keyword when declaring overriding methods. Detected by ECLAIR service ovrdexpl. --- src/Handler.defs.hh | 10 ++++++---- src/c_streambuf.defs.hh | 14 +++++++------- 2 files changed, 13 insertions(+), 11 deletions(-) diff --git a/src/Handler.defs.hh b/src/Handler.defs.hh index 6914b09..5a0e400 100644 --- a/src/Handler.defs.hh +++ b/src/Handler.defs.hh @@ -63,9 +63,11 @@ public: //! Constructor with a given function. Handler_Flag(const Flag_Base* volatile& holder, Flag& flag); - //! Does its job: installs the flag onto the holder, if a flag with - //! an higher priority has not already been installed. - void act() const; + /*! \brief + Does its job: installs the flag onto the holder, if a flag with + an higher priority has not already been installed. + */ + virtual void act() const; private: // declare holder as reference to volatile pointer to const Flag_Base @@ -81,7 +83,7 @@ public: Handler_Function(void (*function)()); //! Does its job: calls the embedded function. - void act() const; + virtual void act() const; private: //! Pointer to the embedded function. diff --git a/src/c_streambuf.defs.hh b/src/c_streambuf.defs.hh index 1ed401b..b8e0d98 100644 --- a/src/c_streambuf.defs.hh +++ b/src/c_streambuf.defs.hh @@ -43,7 +43,7 @@ protected: \remarks Specified by ISO/IEC 14882:1998: 27.5.2.4.3. */ - int_type underflow(); + virtual int_type underflow(); /*! \brief In case of underflow, gets a character and advances the next pointer. @@ -51,7 +51,7 @@ protected: \remarks Specified by ISO/IEC 14882:1998: 27.5.2.4.3. */ - int_type uflow(); + virtual int_type uflow(); /*! \brief Gets a sequence of characters. @@ -59,7 +59,7 @@ protected: \remarks Specified by ISO/IEC 14882:1998: 27.5.2.4.3. */ - std::streamsize xsgetn(char_type* s, std::streamsize n); + virtual std::streamsize xsgetn(char_type* s, std::streamsize n); /*! \brief Puts character back in case of backup underflow. @@ -67,7 +67,7 @@ protected: \remarks Specified by ISO/IEC 14882:1998: 27.5.2.4.4. */ - int_type pbackfail(int_type c = traits_type::eof()); + virtual int_type pbackfail(int_type c = traits_type::eof()); /*! \brief Writes a sequence of characters. @@ -75,21 +75,21 @@ protected: \remarks Specified by ISO/IEC 14882:1998: 27.5.2.4.5. */ - std::streamsize xsputn(const char_type* s, std::streamsize n); + virtual std::streamsize xsputn(const char_type* s, std::streamsize n); /*! \brief Writes a character in case of overflow. Specified by ISO/IEC 14882:1998: 27.5.2.4.5. */ - int_type overflow(int_type c); + virtual int_type overflow(int_type c); /*! \brief Synchronizes the stream buffer. Specified by ISO/IEC 14882:1998: 27.5.2.4.2. */ - int sync(); + virtual int sync(); private: //! Character type of the streambuf.

1 0

[GIT] ppl/ppl(master): Move declarations to nsure variables are declared at smallest possible scope .
by Patricia Hill 21 Feb '12

21 Feb '12

Module: ppl/ppl Branch: master Commit: cb89844f83a5aa0591bece53a9ce517e9c807da1 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cb89844f83a5… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue Feb 21 19:58:36 2012 +0000 Move declarations to nsure variables are declared at smallest possible scope. Detected by ECLAIR service minscope. --- src/ppl-config.cc.in | 93 +++++++++++++++++++++++++------------------------ 1 files changed, 47 insertions(+), 46 deletions(-) diff --git a/src/ppl-config.cc.in b/src/ppl-config.cc.in index b494a1f..005e712 100644 --- a/src/ppl-config.cc.in +++ b/src/ppl-config.cc.in @@ -100,10 +100,6 @@ Interface required_interface = NO_INTERFACE; std::string prefix; std::string exec_prefix; -const char* variable_prefix = "PPL_"; - -bool exec_prefix_set = false; - bool required_application = false; bool required_library = false; bool required_prefix = false; @@ -162,48 +158,6 @@ struct option long_options[] = { }; #endif -static const char* usage_string -= "Usage: %s [OPTION]...\n" -"Displays information, in various formats, about an installation\n" -"of the Parma Polyhedra Library.\n\n" -"Options:\n" -" -h, --help prints this help text to stdout\n" -" -FFMT, --format=FMT sets the output format to FMT\n" -" (one of `plain', `makefile', `sh' or `csh')\n" -" -IINT, --interface=INT selects a library interface (one of `C++', `C',\n" -" `Ciao-Prolog', `GNU-Prolog', `SICStus-Prolog',\n" -" `SWI-Prolog', `XSB-Prolog', `YAP-Prolog',\n" -" `OCaml' or `Java')\n" -" -A, --application selects output for building an application\n" -" -L, --library selects output for building a library\n" -" -p[PFX], --prefix[=PFX] prints or sets library prefix information\n" -" -e[PFX], --exec-prefix[=PFX]\n" -" prints or sets library exec-prefix information\n" -" -O, --configure-options prints configuration options\n" -" -V, --version prints version information\n" -" -M, --version-major prints version major number\n" -" -N, --version-minor prints version minor number\n" -" -R, --version-revision prints version revision number\n" -" -B, --version-beta prints version beta number\n" -" -E, --banner prints library banner\n" -" -n, --coefficients prints type of library coefficients\n" -" -i, --includedir prints include files directory\n" -" -b, --bindir prints binary executables directory\n" -" -l, --libdir prints library files directory\n" -" -P, --cppflags prints preprocessor flags\n" -" -C, --cflags prints C compiler flags\n" -" -X, --cxxflags prints C++ compiler flags\n" -" -D, --ldflags prints linker flags\n" -" -g, --license prints synthetic licensing information\n" -" -c, --copying prints detailed licensing information\n" -" -u, --bugs prints bug reporting information\n" -" -r, --credits prints credits\n" -#ifndef PPL_HAVE_GETOPT_H -"\n" -"NOTE: this version does not support long options.\n" -#endif -"\n" -"Report bugs to <ppl-devel(a)cs.unipr.it>.\n"; #define OPTION_LETTERS "hF:I:ALp::e::OVMNRBEniblPCXDgcur" @@ -256,6 +210,52 @@ strcaseeq(const char* s1, const char* s2) { void process_options(int argc, char* argv[]) { + + bool exec_prefix_set = false; + + static const char* usage_string + = "Usage: %s [OPTION]...\n" +"Displays information, in various formats, about an installation\n" +"of the Parma Polyhedra Library.\n\n" +"Options:\n" +" -h, --help prints this help text to stdout\n" +" -FFMT, --format=FMT sets the output format to FMT\n" +" (one of `plain', `makefile', `sh' or `csh')\n" +" -IINT, --interface=INT selects a library interface (one of `C++', `C',\n" +" `Ciao-Prolog', `GNU-Prolog', `SICStus-Prolog',\n" +" `SWI-Prolog', `XSB-Prolog', `YAP-Prolog',\n" +" `OCaml' or `Java')\n" +" -A, --application selects output for building an application\n" +" -L, --library selects output for building a library\n" +" -p[PFX], --prefix[=PFX] prints or sets library prefix information\n" +" -e[PFX], --exec-prefix[=PFX]\n" +" prints or sets library exec-prefix information\n" +" -O, --configure-options prints configuration options\n" +" -V, --version prints version information\n" +" -M, --version-major prints version major number\n" +" -N, --version-minor prints version minor number\n" +" -R, --version-revision prints version revision number\n" +" -B, --version-beta prints version beta number\n" +" -E, --banner prints library banner\n" +" -n, --coefficients prints type of library coefficients\n" +" -i, --includedir prints include files directory\n" +" -b, --bindir prints binary executables directory\n" +" -l, --libdir prints library files directory\n" +" -P, --cppflags prints preprocessor flags\n" +" -C, --cflags prints C compiler flags\n" +" -X, --cxxflags prints C++ compiler flags\n" +" -D, --ldflags prints linker flags\n" +" -g, --license prints synthetic licensing information\n" +" -c, --copying prints detailed licensing information\n" +" -u, --bugs prints bug reporting information\n" +" -r, --credits prints credits\n" +#ifndef PPL_HAVE_GETOPT_H +"\n" +"NOTE: this version does not support long options.\n" +#endif +"\n" +"Report bugs to <ppl-devel(a)cs.unipr.it>.\n"; + while (true) { #ifdef PPL_HAVE_GETOPT_H int option_index = 0; @@ -499,6 +499,7 @@ process_options(int argc, char* argv[]) { void portray_name(const char* name) { + const char* variable_prefix = "PPL_"; switch (required_format) { case PLAIN: if (num_required_items > 1)

1 0

[GIT] ppl/ppl(master): Moved another declaration into a smaller scope.
by Patricia Hill 21 Feb '12

21 Feb '12

Module: ppl/ppl Branch: master Commit: 6d5f32d30f3dc5494aff61bf04cb27c56903150e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6d5f32d30f3d… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue Feb 21 21:42:56 2012 +0000 Moved another declaration into a smaller scope. Detected by ECLAIR service minscope. --- src/ppl-config.cc.in | 64 +++++++++++++++++++++++++------------------------- 1 files changed, 32 insertions(+), 32 deletions(-) diff --git a/src/ppl-config.cc.in b/src/ppl-config.cc.in index 005e712..167d515 100644 --- a/src/ppl-config.cc.in +++ b/src/ppl-config.cc.in @@ -126,38 +126,6 @@ bool required_credits = false; unsigned num_required_items = 0; -#ifdef PPL_HAVE_GETOPT_H -struct option long_options[] = { - {"help", no_argument, 0, 'h'}, - {"format", required_argument, 0, 'F'}, - {"interface", required_argument, 0, 'I'}, - {"application", no_argument, 0, 'A'}, - {"library", no_argument, 0, 'L'}, - {"prefix", optional_argument, 0, 'p'}, - {"exec-prefix", optional_argument, 0, 'e'}, - {"configure-options", no_argument, 0, 'O'}, - {"version", no_argument, 0, 'V'}, - {"version-major", no_argument, 0, 'M'}, - {"version-minor", no_argument, 0, 'N'}, - {"version-revision", no_argument, 0, 'R'}, - {"version-beta", no_argument, 0, 'B'}, - {"banner", no_argument, 0, 'E'}, - {"coefficients", no_argument, 0, 'n'}, - {"includedir", no_argument, 0, 'i'}, - {"bindir", no_argument, 0, 'b'}, - {"libdir", no_argument, 0, 'l'}, - {"cppflags", no_argument, 0, 'P'}, - {"cflags", no_argument, 0, 'C'}, - {"cxxflags", no_argument, 0, 'X'}, - {"ldflags", no_argument, 0, 'D'}, - {"license", no_argument, 0, 'g'}, - {"copying", no_argument, 0, 'c'}, - {"bugs", no_argument, 0, 'u'}, - {"credits", no_argument, 0, 'r'}, - {0, 0, 0, 0} -}; -#endif - #define OPTION_LETTERS "hF:I:ALp::e::OVMNRBEniblPCXDgcur" @@ -213,6 +181,38 @@ process_options(int argc, char* argv[]) { bool exec_prefix_set = false; +#ifdef PPL_HAVE_GETOPT_H +struct option long_options[] = { + {"help", no_argument, 0, 'h'}, + {"format", required_argument, 0, 'F'}, + {"interface", required_argument, 0, 'I'}, + {"application", no_argument, 0, 'A'}, + {"library", no_argument, 0, 'L'}, + {"prefix", optional_argument, 0, 'p'}, + {"exec-prefix", optional_argument, 0, 'e'}, + {"configure-options", no_argument, 0, 'O'}, + {"version", no_argument, 0, 'V'}, + {"version-major", no_argument, 0, 'M'}, + {"version-minor", no_argument, 0, 'N'}, + {"version-revision", no_argument, 0, 'R'}, + {"version-beta", no_argument, 0, 'B'}, + {"banner", no_argument, 0, 'E'}, + {"coefficients", no_argument, 0, 'n'}, + {"includedir", no_argument, 0, 'i'}, + {"bindir", no_argument, 0, 'b'}, + {"libdir", no_argument, 0, 'l'}, + {"cppflags", no_argument, 0, 'P'}, + {"cflags", no_argument, 0, 'C'}, + {"cxxflags", no_argument, 0, 'X'}, + {"ldflags", no_argument, 0, 'D'}, + {"license", no_argument, 0, 'g'}, + {"copying", no_argument, 0, 'c'}, + {"bugs", no_argument, 0, 'u'}, + {"credits", no_argument, 0, 'r'}, + {0, 0, 0, 0} +}; +#endif + static const char* usage_string = "Usage: %s [OPTION]...\n" "Displays information, in various formats, about an installation\n"

1 0

[GIT] ppl/ppl(master): Multiple-inclusion guards added.
by Roberto Bagnara 21 Feb '12

21 Feb '12

Module: ppl/ppl Branch: master Commit: 1b2e1e5fa3b8a93544d30b53dd6f2bc27bee8eda URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1b2e1e5fa3b8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Feb 21 20:22:32 2012 +0100 Multiple-inclusion guards added. Detected by ECLAIR service inclgard. --- src/Makefile.am | 17 ++++++++++++++--- 1 files changed, 14 insertions(+), 3 deletions(-) diff --git a/src/Makefile.am b/src/Makefile.am index 6e84ad1..31844cf 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -578,20 +578,31 @@ ppl.hh: $(top_builddir)/ppl-config.h $(top_builddir)/src/version.hh ppl_header.h $(top_srcdir)/src/ppl_header.hh >$@ BUGS.hh: $(top_builddir)/utils/text2cxxarray $(top_srcdir)/BUGS + @echo "#ifndef PPL_BUGS_hh" >$@ + @echo "#define PPL_BUGS_hh 1" >>$@ $(top_builddir)/utils/text2cxxarray --name=BUGS_array --decl-only \ - $(top_srcdir)/BUGS >$@ + $(top_srcdir)/BUGS >>$@ + @echo "#endif // !defined(PPL_BUGS_hh)" >>$@ BUGS.cc: $(top_builddir)/utils/text2cxxarray $(top_srcdir)/BUGS $(top_builddir)/utils/text2cxxarray --name=BUGS_array \ $(top_srcdir)/BUGS >$@ + COPYING.hh: $(top_builddir)/utils/text2cxxarray $(top_srcdir)/COPYING + @echo "#ifndef PPL_COPYING_hh" >$@ + @echo "#define PPL_COPYING_hh 1" >>$@ $(top_builddir)/utils/text2cxxarray --name=COPYING_array --decl-only \ - $(top_srcdir)/COPYING >$@ + $(top_srcdir)/COPYING >>$@ + @echo "#endif // !defined(PPL_COPYING_hh)" >>$@ + COPYING.cc: $(top_builddir)/utils/text2cxxarray $(top_srcdir)/COPYING $(top_builddir)/utils/text2cxxarray --name=COPYING_array \ $(top_srcdir)/COPYING >$@ CREDITS.hh: $(top_builddir)/utils/text2cxxarray $(top_srcdir)/CREDITS + @echo "#ifndef PPL_CREDITS_hh" >$@ + @echo "#define PPL_CREDITS_hh 1" >>$@ $(top_builddir)/utils/text2cxxarray --name=CREDITS_array --decl-only \ - $(top_srcdir)/CREDITS >$@ + $(top_srcdir)/CREDITS >>$@ + @echo "#endif // !defined(PPL_CREDITS_hh)" >>$@ CREDITS.cc: $(top_builddir)/utils/text2cxxarray $(top_srcdir)/CREDITS $(top_builddir)/utils/text2cxxarray --name=CREDITS_array \ $(top_srcdir)/CREDITS >$@

1 0

[GIT] ppl/ppl(master): Avoided functional cast. Detected by ECLAIR service castexpr.
by Abramo Bagnara 21 Feb '12

21 Feb '12

Module: ppl/ppl Branch: master Commit: c3b39224715d165d8965d93f3a51fd4d12d0dcb8 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c3b39224715d… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Feb 21 17:28:31 2012 +0100 Avoided functional cast. Detected by ECLAIR service castexpr. --- src/checked_int.inlines.hh | 8 ++++---- src/ppl-config.cc.in | 8 ++++---- 2 files changed, 8 insertions(+), 8 deletions(-) diff --git a/src/checked_int.inlines.hh b/src/checked_int.inlines.hh index ffcc55a..c8e3c3a 100644 --- a/src/checked_int.inlines.hh +++ b/src/checked_int.inlines.hh @@ -364,7 +364,7 @@ assign_signed_int_signed_int(To& to, const From from, Rounding_Dir dir) { PPL_GT_SILENT(from, From(Extended_Int<To_Policy, To>::max)))) return set_pos_overflow_int<To_Policy>(to, dir); } - to = To(from); + to = static_cast<To>(from); return V_EQ; } @@ -376,7 +376,7 @@ assign_signed_int_unsigned_int(To& to, const From from, Rounding_Dir dir) { from > From(Extended_Int<To_Policy, To>::max))) return set_pos_overflow_int<To_Policy>(to, dir); } - to = To(from); + to = static_cast<To>(from); return V_EQ; } @@ -390,7 +390,7 @@ assign_unsigned_int_signed_int(To& to, const From from, Rounding_Dir dir) { from > From(Extended_Int<To_Policy, To>::max))) return set_pos_overflow_int<To_Policy>(to, dir); } - to = To(from); + to = static_cast<To>(from); return V_EQ; } @@ -404,7 +404,7 @@ assign_unsigned_int_unsigned_int(To& to, const From from, Rounding_Dir dir) { PPL_GT_SILENT(from, From(Extended_Int<To_Policy, To>::max)))) return set_pos_overflow_int<To_Policy>(to, dir); } - to = To(from); + to = static_cast<To>(from); return V_EQ; } diff --git a/src/ppl-config.cc.in b/src/ppl-config.cc.in index f8c5481..b494a1f 100644 --- a/src/ppl-config.cc.in +++ b/src/ppl-config.cc.in @@ -619,16 +619,16 @@ main(int argc, char* argv[]) try { portray("VERSION", PPL_VERSION); if (required_version_major) - portray("VERSION_MAJOR", long(PPL_VERSION_MAJOR)); + portray("VERSION_MAJOR", static_cast<long>(PPL_VERSION_MAJOR)); if (required_version_minor) - portray("VERSION_MINOR", long(PPL_VERSION_MINOR)); + portray("VERSION_MINOR", static_cast<long>(PPL_VERSION_MINOR)); if (required_version_revision) - portray("VERSION_REVISION", long(PPL_VERSION_REVISION)); + portray("VERSION_REVISION", static_cast<long>(PPL_VERSION_REVISION)); if (required_version_beta) - portray("VERSION_BETA", long(PPL_VERSION_BETA)); + portray("VERSION_BETA", static_cast<long>(PPL_VERSION_BETA)); if (required_banner) portray("BANNER", PPL::banner());

1 0

[GIT] ppl/ppl(master): Avoid not needed virtual inheritance.
by Abramo Bagnara 21 Feb '12

21 Feb '12

Module: ppl/ppl Branch: master Commit: 61afde75e7d72eff478a60815e11d3a4f442252a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=61afde75e7d7… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Feb 21 17:19:11 2012 +0100 Avoid not needed virtual inheritance. --- src/Handler.defs.hh | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Handler.defs.hh b/src/Handler.defs.hh index 29af88b..6914b09 100644 --- a/src/Handler.defs.hh +++ b/src/Handler.defs.hh @@ -58,7 +58,7 @@ public: */ template <typename Flag_Base, typename Flag> class Parma_Polyhedra_Library::Implementation::Watchdog::Handler_Flag - : virtual public Handler { + : public Handler { public: //! Constructor with a given function. Handler_Flag(const Flag_Base* volatile& holder, Flag& flag); @@ -75,7 +75,7 @@ private: //! A kind of Handler calling a given function. class Parma_Polyhedra_Library::Implementation::Watchdog::Handler_Function - : virtual public Handler { + : public Handler { public: //! Constructor with a given function. Handler_Function(void (*function)());

1 0

[GIT] ppl/ppl(master): Updated Doxygen configuration files to release 1.7.4 .
by Enea Zaffanella 21 Feb '12

21 Feb '12

Module: ppl/ppl Branch: master Commit: 2db3cb6ae4f889495dad47d46deff16b175191c7 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2db3cb6ae4f8… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue Feb 21 16:55:58 2012 +0100 Updated Doxygen configuration files to release 1.7.4. --- doc/devref-language-interface.doxyconf.in | 20 +++++++++++++++++++- doc/devref.doxyconf-html.in | 20 +++++++++++++++++++- doc/devref.doxyconf-latex.in | 20 +++++++++++++++++++- doc/user-language-interface.doxyconf.in | 20 +++++++++++++++++++- doc/user.doxyconf-html.in | 20 +++++++++++++++++++- doc/user.doxyconf-latex.in | 20 +++++++++++++++++++- 6 files changed, 114 insertions(+), 6 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=2db3cb6a…

1 0