- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Added missing using directive.
by Roberto Bagnara 01 Nov '11

01 Nov '11

Module: ppl/ppl Branch: master Commit: 95c8aae28dac48284d365840e68bdf3b3a8f24df URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=95c8aae28dac… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Nov 1 18:03:41 2011 +0100 Added missing using directive. --- src/Box.templates.hh | 2 ++ 1 files changed, 2 insertions(+), 0 deletions(-) diff --git a/src/Box.templates.hh b/src/Box.templates.hh index a89ce3c..d521805 100644 --- a/src/Box.templates.hh +++ b/src/Box.templates.hh @@ -2332,6 +2332,8 @@ propagate_constraint_check_result(Result r, Ternary& open) { template <typename ITV> void Box<ITV>::propagate_constraint_no_check(const Constraint& c) { + using namespace Implementation::Boxes; + PPL_ASSERT(c.space_dimension() <= space_dimension()); typedef

1 0

[GIT] ppl/ppl(master): Revert "Revert " Avoid anonymous namespaces in header files.""
by Roberto Bagnara 01 Nov '11

01 Nov '11

Module: ppl/ppl Branch: master Commit: bebce077e0648434fb0cf119fbb4ecda69e13cc2 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bebce077e064… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Nov 1 17:02:56 2011 +0100 Revert "Revert "Avoid anonymous namespaces in header files."" This reverts commit 3fbf4608f85679fc85f89d82f40fb20e0e60ca16. --- src/Box.templates.hh | 9 +++++++-- 1 files changed, 7 insertions(+), 2 deletions(-) diff --git a/src/Box.templates.hh b/src/Box.templates.hh index f1ea6c4..a89ce3c 100644 --- a/src/Box.templates.hh +++ b/src/Box.templates.hh @@ -2296,7 +2296,9 @@ Box<ITV>::refine_no_check(const Congruence_System& cgs) { } #if 1 // Alternative implementations for propagate_constraint_no_check. -namespace { +namespace Implementation { + +namespace Boxes { inline bool propagate_constraint_check_result(Result r, Ternary& open) { @@ -2322,7 +2324,10 @@ propagate_constraint_check_result(Result r, Ternary& open) { } } -} // namespace +} // namespace Boxes + +} // namespace Implementation + template <typename ITV> void

1 0

[GIT] ppl/ppl(master): Revert "Avoid anonymous namespaces in header files."
by Abramo Bagnara 01 Nov '11

01 Nov '11

Module: ppl/ppl Branch: master Commit: 3fbf4608f85679fc85f89d82f40fb20e0e60ca16 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3fbf4608f856… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Tue Nov 1 14:43:13 2011 +0100 Revert "Avoid anonymous namespaces in header files." This reverts commit 086a400757aa4867611c023dcda5bc70afbc18b5. --- src/Box.templates.hh | 9 ++------- 1 files changed, 2 insertions(+), 7 deletions(-) diff --git a/src/Box.templates.hh b/src/Box.templates.hh index a89ce3c..f1ea6c4 100644 --- a/src/Box.templates.hh +++ b/src/Box.templates.hh @@ -2296,9 +2296,7 @@ Box<ITV>::refine_no_check(const Congruence_System& cgs) { } #if 1 // Alternative implementations for propagate_constraint_no_check. -namespace Implementation { - -namespace Boxes { +namespace { inline bool propagate_constraint_check_result(Result r, Ternary& open) { @@ -2324,10 +2322,7 @@ propagate_constraint_check_result(Result r, Ternary& open) { } } -} // namespace Boxes - -} // namespace Implementation - +} // namespace template <typename ITV> void

1 0

[GIT] ppl/ppl(master): Spurious declaration removed.
by Roberto Bagnara 01 Nov '11

01 Nov '11

Module: ppl/ppl Branch: master Commit: 98a1ca1a0b1eef634fc1602a8380116f73fa9128 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=98a1ca1a0b1e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Nov 1 09:12:38 2011 +0100 Spurious declaration removed. Detected by ECLAIR service araysize. --- src/Octagonal_Shape.defs.hh | 2 -- 1 files changed, 0 insertions(+), 2 deletions(-) diff --git a/src/Octagonal_Shape.defs.hh b/src/Octagonal_Shape.defs.hh index e81d122..99f000d 100644 --- a/src/Octagonal_Shape.defs.hh +++ b/src/Octagonal_Shape.defs.hh @@ -2304,8 +2304,6 @@ private: void throw_generic(const char* method, const char* reason) const; //@} // Exception Throwers - - static T default_stop_points[]; }; namespace std {

1 0

[GIT] ppl/ppl(master): Avoid anonymous namespaces in header files.
by Roberto Bagnara 01 Nov '11

01 Nov '11

Module: ppl/ppl Branch: master Commit: 086a400757aa4867611c023dcda5bc70afbc18b5 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=086a400757aa… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Nov 1 08:58:44 2011 +0100 Avoid anonymous namespaces in header files. Detected by ECLAIR service hedrfile. --- src/Box.templates.hh | 9 +++++++-- 1 files changed, 7 insertions(+), 2 deletions(-) diff --git a/src/Box.templates.hh b/src/Box.templates.hh index f1ea6c4..a89ce3c 100644 --- a/src/Box.templates.hh +++ b/src/Box.templates.hh @@ -2296,7 +2296,9 @@ Box<ITV>::refine_no_check(const Congruence_System& cgs) { } #if 1 // Alternative implementations for propagate_constraint_no_check. -namespace { +namespace Implementation { + +namespace Boxes { inline bool propagate_constraint_check_result(Result r, Ternary& open) { @@ -2322,7 +2324,10 @@ propagate_constraint_check_result(Result r, Ternary& open) { } } -} // namespace +} // namespace Boxes + +} // namespace Implementation + template <typename ITV> void

1 0

[GIT] ppl/ppl(master): Header file inclusions reordered.
by Roberto Bagnara 31 Oct '11

31 Oct '11

Module: ppl/ppl Branch: master Commit: ba5a35b2bccbd2df123efe55085059c59d7fabe4 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ba5a35b2bccb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Oct 31 18:10:00 2011 +0100 Header file inclusions reordered. --- src/Float.defs.hh | 6 +++--- 1 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/Float.defs.hh b/src/Float.defs.hh index 3148095..541b9df 100644 --- a/src/Float.defs.hh +++ b/src/Float.defs.hh @@ -27,14 +27,14 @@ site: http://bugseng.com/products/ppl/ . */ #include "globals.types.hh" #include "meta_programming.hh" #include "compiler.hh" -#include <gmp.h> #include "assert.hh" -#include <cmath> -#include <map> #include "Concrete_Expression.types.hh" #include "Variable.types.hh" #include "Linear_Form.types.hh" #include <set> +#include <cmath> +#include <map> +#include <gmp.h> #ifdef NAN #define PPL_NAN NAN

1 0

[GIT] ppl/ppl(master): Use <> brackets for system and standard library headers only; use "" quotes for all other headers.
by Roberto Bagnara 31 Oct '11

31 Oct '11

1 0

[GIT] ppl/ppl(master): Long lines avoided.
by Roberto Bagnara 31 Oct '11

31 Oct '11

Module: ppl/ppl Branch: master Commit: 66aac8e29c5c045bddb91b38950f624bee257dbd URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=66aac8e29c5c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Oct 30 20:21:59 2011 +0100 Long lines avoided. --- src/Boundary.defs.hh | 3 ++- src/Checked_Number.inlines.hh | 3 ++- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/src/Boundary.defs.hh b/src/Boundary.defs.hh index 78ea517..b2d2c85 100644 --- a/src/Boundary.defs.hh +++ b/src/Boundary.defs.hh @@ -507,7 +507,8 @@ assign(Boundary_Type to_type, To& to, To_Info& to_info, } shrink = shrink || normal_is_open(type, x, info); bool check = (To_Info::check_inexact - || (!shrink && (To_Info::store_open || to_info.has_restriction()))); + || (!shrink && (To_Info::store_open + || to_info.has_restriction()))); Result r = assign_r(to, x, round_dir_check(to_type, check)); return adjust_boundary(to_type, to, to_info, shrink, r); } diff --git a/src/Checked_Number.inlines.hh b/src/Checked_Number.inlines.hh index 6cd8776..3504839 100644 --- a/src/Checked_Number.inlines.hh +++ b/src/Checked_Number.inlines.hh @@ -203,7 +203,8 @@ Checked_Number<T, Policy>::Checked_Number(const From&, typename Enable_If<Is_Spe } template <typename To, typename From> -inline typename Enable_If<Is_Native_Or_Checked<To>::value && Is_Special<From>::value, Result>::type +inline typename Enable_If<Is_Native_Or_Checked<To>::value + && Is_Special<From>::value, Result>::type assign_r(To& to, const From&, Rounding_Dir dir) { return check_result(Checked::assign_special<typename Native_Checked_To_Wrapper<To> ::Policy>(Native_Checked_To_Wrapper<To>::raw_value(to),

1 0

[GIT] ppl/ppl(master): Fixed typo.
by Abramo Bagnara 30 Oct '11

30 Oct '11

Module: ppl/ppl Branch: master Commit: 74a180c2aca80e6a8305eeb49ad13300daa09ca9 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=74a180c2aca8… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sun Oct 30 12:49:37 2011 +0100 Fixed typo. --- demos/ppl_lcdd/ppl_lcdd.cc | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/demos/ppl_lcdd/ppl_lcdd.cc b/demos/ppl_lcdd/ppl_lcdd.cc index c1f47b8..9229a42 100644 --- a/demos/ppl_lcdd/ppl_lcdd.cc +++ b/demos/ppl_lcdd/ppl_lcdd.cc @@ -489,7 +489,7 @@ void normalize(const std::vector<mpq_class>& source, std::vector<mpz_class>& dest, mpz_class& denominator) { - typedef std::vector<mpq_class> size_type; + typedef std::vector<mpq_class>::size_type size_type; size_type n = source.size(); denominator = 1; for (size_type i = 0; i < n; ++i)

1 0

[GIT] ppl/ppl(master): Fixed wrong type uses.
by Abramo Bagnara 30 Oct '11

30 Oct '11

Module: ppl/ppl Branch: master Commit: c5f8aeb2c48c426585f21c69ed8561d470d607c6 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c5f8aeb2c48c… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sun Oct 30 11:42:38 2011 +0100 Fixed wrong type uses. Detected by ECLAIR service utypflag. --- demos/ppl_lcdd/ppl_lcdd.cc | 12 +++++++----- demos/ppl_pips/ppl_pips.cc | 4 ++-- src/Concrete_Expression.inlines.hh | 2 +- src/Float.defs.hh | 18 +++++++++--------- src/Float.inlines.hh | 28 ++++++++++++++++------------ src/checked_float.inlines.hh | 2 +- src/globals.defs.hh | 4 ++-- 7 files changed, 38 insertions(+), 32 deletions(-) diff --git a/demos/ppl_lcdd/ppl_lcdd.cc b/demos/ppl_lcdd/ppl_lcdd.cc index af49457..c1f47b8 100644 --- a/demos/ppl_lcdd/ppl_lcdd.cc +++ b/demos/ppl_lcdd/ppl_lcdd.cc @@ -301,7 +301,7 @@ warning(const char* format, ...) { extern "C" typedef void (*sig_handler_type)(int); void -set_alarm_on_cpu_time(const unsigned seconds, sig_handler_type handler) { +set_alarm_on_cpu_time(const unsigned long seconds, sig_handler_type handler) { sigset_t mask; sigemptyset(&mask); @@ -489,13 +489,14 @@ void normalize(const std::vector<mpq_class>& source, std::vector<mpz_class>& dest, mpz_class& denominator) { - unsigned n = source.size(); + typedef std::vector<mpq_class> size_type; + size_type n = source.size(); denominator = 1; - for (unsigned i = 0; i < n; ++i) + for (size_type i = 0; i < n; ++i) mpz_lcm(denominator.get_mpz_t(), denominator.get_mpz_t(), source[i].get_den().get_mpz_t()); - for (unsigned i = 0; i < n; ++i) + for (size_type i = 0; i < n; ++i) dest[i] = denominator*source[i]; } @@ -545,7 +546,8 @@ read_coefficients(std::istream& in, const Number_Type number_type, std::vector<mpz_class>& coefficients, mpz_class& denominator) { - unsigned num_coefficients = coefficients.size(); + typedef std::vector<mpz_class>::size_type size_type; + size_type num_coefficients = coefficients.size(); switch (number_type) { case INTEGER: { diff --git a/demos/ppl_pips/ppl_pips.cc b/demos/ppl_pips/ppl_pips.cc index ca4c0e1..c3a2f31 100644 --- a/demos/ppl_pips/ppl_pips.cc +++ b/demos/ppl_pips/ppl_pips.cc @@ -113,7 +113,7 @@ PPL::PIP_Problem::Control_Parameter_Value cutting_strategy PPL::PIP_Problem::Control_Parameter_Value pivot_row_strategy = PPL::PIP_Problem::PIVOT_ROW_STRATEGY_FIRST; -int loop_iterations = 1; +long loop_iterations = 1; void pip_display_sol(std::ostream& out, @@ -824,7 +824,7 @@ main(int argc, char* argv[]) try { else { std::auto_ptr<PPL::PIP_Problem> pipp; // Perform a time benchmark loop executing the resolution several times. - for (int i = 0; i < loop_iterations; ++i) { + for (long i = 0; i < loop_iterations; ++i) { pipp.reset(new PPL::PIP_Problem(pip)); pipp->solve(); } diff --git a/src/Concrete_Expression.inlines.hh b/src/Concrete_Expression.inlines.hh index b12963a..875677a 100644 --- a/src/Concrete_Expression.inlines.hh +++ b/src/Concrete_Expression.inlines.hh @@ -37,7 +37,7 @@ Concrete_Expression_Type const Bounded_Integer_Type_Representation representation, const Bounded_Integer_Type_Overflow overflow) { Implementation impl; - impl.bounded_integer = 1; + impl.bounded_integer = 1U; impl.bounded_integer_type_width = width; impl.bounded_integer_type_representation = representation; impl.bounded_integer_type_overflow = overflow; diff --git a/src/Float.defs.hh b/src/Float.defs.hh index 1c1929c..3148095 100644 --- a/src/Float.defs.hh +++ b/src/Float.defs.hh @@ -215,10 +215,10 @@ struct float_intel_double_extended { static const uint32_t MSP_NEG_INF = 0x0000ffff; static const uint32_t MSP_POS_ZERO = 0x00000000; static const uint32_t MSP_NEG_ZERO = 0x00008000; - static const uint64_t LSP_INF = 0x8000000000000000ULL; + static const uint64_t LSP_INF = (uint64_t)0x8000000000000000ULL; static const uint64_t LSP_ZERO = 0; - static const uint64_t LSP_DMAX = 0x7fffffffffffffffULL; - static const uint64_t LSP_NMAX = 0xffffffffffffffffULL; + static const uint64_t LSP_DMAX = (uint64_t)0x7fffffffffffffffULL; + static const uint64_t LSP_NMAX = (uint64_t)0xffffffffffffffffULL; static const unsigned int BASE = 2; static const unsigned int EXPONENT_BITS = 15; static const unsigned int MANTISSA_BITS = 63; @@ -252,14 +252,14 @@ struct float_ieee754_quad { uint64_t lsp; uint64_t msp; #endif - static const uint64_t MSP_SGN_MASK = 0x8000000000000000ULL; - static const uint64_t MSP_POS_INF = 0x7fff000000000000ULL; - static const uint64_t MSP_NEG_INF = 0xffff000000000000ULL; - static const uint64_t MSP_POS_ZERO = 0x0000000000000000ULL; - static const uint64_t MSP_NEG_ZERO = 0x8000000000000000ULL; + static const uint64_t MSP_SGN_MASK = (uint64_t)0x8000000000000000ULL; + static const uint64_t MSP_POS_INF = (uint64_t)0x7fff000000000000ULL; + static const uint64_t MSP_NEG_INF = (uint64_t)0xffff000000000000ULL; + static const uint64_t MSP_POS_ZERO = (uint64_t)0x0000000000000000ULL; + static const uint64_t MSP_NEG_ZERO = (uint64_t)0x8000000000000000ULL; static const uint64_t LSP_INF = 0; static const uint64_t LSP_ZERO = 0; - static const uint64_t LSP_MAX = 0xffffffffffffffffULL; + static const uint64_t LSP_MAX = (uint64_t)0xffffffffffffffffULL; static const unsigned int BASE = 2; static const unsigned int EXPONENT_BITS = 15; static const unsigned int MANTISSA_BITS = 112; diff --git a/src/Float.inlines.hh b/src/Float.inlines.hh index 9ae573f..ba3a42b 100644 --- a/src/Float.inlines.hh +++ b/src/Float.inlines.hh @@ -82,7 +82,8 @@ float_ieee754_half::set_max(bool negative) { inline void float_ieee754_half::build(bool negative, mpz_t mantissa, int exponent) { - word = mpz_get_ui(mantissa) & ((1UL << MANTISSA_BITS) - 1); + word = static_cast<uint16_t>(mpz_get_ui(mantissa) + & ((1UL << MANTISSA_BITS) - 1)); if (negative) word |= SGN_MASK; int exponent_repr = exponent + EXPONENT_BIAS; @@ -142,7 +143,8 @@ float_ieee754_single::set_max(bool negative) { inline void float_ieee754_single::build(bool negative, mpz_t mantissa, int exponent) { - word = mpz_get_ui(mantissa) & ((1UL << MANTISSA_BITS) - 1); + word = static_cast<uint32_t>(mpz_get_ui(mantissa) + & ((1UL << MANTISSA_BITS) - 1)); if (negative) word |= SGN_MASK; int exponent_repr = exponent + EXPONENT_BIAS; @@ -218,16 +220,17 @@ float_ieee754_double::set_max(bool negative) { inline void float_ieee754_double::build(bool negative, mpz_t mantissa, int exponent) { + unsigned long m; #if ULONG_MAX == 0xffffffffUL lsp = mpz_get_ui(mantissa); mpz_tdiv_q_2exp(mantissa, mantissa, 32); - unsigned long m = mpz_get_ui(mantissa); + m = mpz_get_ui(mantissa); #else - unsigned long m = mpz_get_ui(mantissa); - lsp = m; + m = mpz_get_ui(mantissa); + lsp = static_cast<uint32_t>(m & LSP_MAX); m >>= 32; #endif - msp = m & ((1UL << (MANTISSA_BITS - 32)) - 1); + msp = static_cast<uint32_t>(m & ((1UL << (MANTISSA_BITS - 32)) - 1)); if (negative) msp |= MSP_SGN_MASK; int exponent_repr = exponent + EXPONENT_BIAS; @@ -287,7 +290,8 @@ float_ibm_single::set_max(bool negative) { inline void float_ibm_single::build(bool negative, mpz_t mantissa, int exponent) { - word = mpz_get_ui(mantissa) & ((1UL << MANTISSA_BITS) - 1); + word = static_cast<uint32_t>(mpz_get_ui(mantissa) + & ((1UL << MANTISSA_BITS) - 1)); if (negative) word |= SGN_MASK; int exponent_repr = exponent + EXPONENT_BIAS; @@ -358,7 +362,7 @@ float_intel_double_extended::inc() { inline void float_intel_double_extended::set_max(bool negative) { msp = 0x00007ffe; - lsp = 0xffffffffffffffffULL; + lsp = (uint64_t)0xffffffffffffffffULL; if (negative) msp |= MSP_SGN_MASK; } @@ -437,8 +441,8 @@ float_ieee754_quad::inc() { inline void float_ieee754_quad::set_max(bool negative) { - msp = 0x7ffeffffffffffffULL; - lsp = 0xffffffffffffffffULL; + msp = (uint64_t)0x7ffeffffffffffffULL; + lsp = (uint64_t)0xffffffffffffffffULL; if (negative) msp |= MSP_SGN_MASK; } @@ -449,7 +453,7 @@ float_ieee754_quad::build(bool negative, mpz_t mantissa, int exponent) { mpz_export(parts, 0, -1, 8, 0, 0, mantissa); lsp = parts[0]; msp = parts[1]; - msp &= ((1ULL << (MANTISSA_BITS - 64)) - 1); + msp &= ((((uint64_t)1) << (MANTISSA_BITS - 64)) - 1); if (negative) msp |= MSP_SGN_MASK; int exponent_repr = exponent + EXPONENT_BIAS; @@ -464,7 +468,7 @@ is_less_precise_than(Floating_Point_Format f1, Floating_Point_Format f2) { #if defined(__GNUC__) inline unsigned int ld2(unsigned long long a) { - return __builtin_clzll(a) ^ (sizeof(a)*8 - 1); + return __builtin_clzll(a) ^ (sizeof(a)*8 - 1); } #else unsigned int ld2(unsigned long long v) { diff --git a/src/checked_float.inlines.hh b/src/checked_float.inlines.hh index b8685b2..5f91f67 100644 --- a/src/checked_float.inlines.hh +++ b/src/checked_float.inlines.hh @@ -986,7 +986,7 @@ output_float(std::ostream& os, const Type from, const Numeric_Format&, else if (is_nan<Policy>(from)) os << "nan"; else { - int old_precision = os.precision(10000); + std::streamsize old_precision = os.precision(10000); // FIXME: here correctness depends on the behavior of the standard // output operator which, in turn, may depend on the behavior // of printf(). The C99 standard, 7.19.16.1#13, does not give diff --git a/src/globals.defs.hh b/src/globals.defs.hh index 95edcd4..4f4de80 100644 --- a/src/globals.defs.hh +++ b/src/globals.defs.hh @@ -356,13 +356,13 @@ struct Fit<T, v, typename Enable_If<C_Integer<T>::value>::type> { }; }; -template <typename T, long long v> +template <typename T, T v> struct TConstant { static const T value = v; }; -template <typename T, long long v> +template <typename T, T v> const T TConstant<T, v>::value; template <typename T, long long v, bool prefer_signed = true,

1 0