Module: ppl/ppl Branch: master Commit: ae02418951a247595a8f8ade2090e3401bd8520c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ae02418951a24...

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Feb 29 21:41:34 2012 +0100

Added missing parentheses around a macro arguments. Detected by ECLAIR service macrbody.

---

src/checked_numeric_limits.hh | 74 ++++++++++++++++++++-------------------- 1 files changed, 37 insertions(+), 37 deletions(-)

diff --git a/src/checked_numeric_limits.hh b/src/checked_numeric_limits.hh index ba49fcd..caa3e1d 100644 --- a/src/checked_numeric_limits.hh +++ b/src/checked_numeric_limits.hh @@ -33,43 +33,43 @@ namespace std { using namespace Parma_Polyhedra_Library;

#define PPL_SPECIALIZE_LIMITS_INT(T) \ -/*! \brief Partial specialization of std::numeric_limits. */ \ -template <typename Policy> \ - class numeric_limits<Checked_Number<T, Policy> > \ - : public numeric_limits<T> { \ - private: \ - typedef Checked_Number<T, Policy> Type; \ - \ - public: \ - static const bool has_infinity = Policy::has_infinity; \ - static const bool has_quiet_NaN = Policy::has_nan; \ + /*! \brief Partial specialization of std::numeric_limits. */ \ + template <typename Policy> \ + class numeric_limits<Checked_Number<PPL_U(T), Policy> > \ + : public numeric_limits<PPL_U(T)> { \ + private: \ + typedef Checked_Number<PPL_U(T), Policy> Type; \ + \ + public: \ + static const bool has_infinity = Policy::has_infinity; \ + static const bool has_quiet_NaN = Policy::has_nan; \ \ - static Type min() { \ - Type v; \ - v.raw_value() = Checked::Extended_Int<Policy, T>::min; \ - return v; \ - } \ + static Type min() { \ + Type v; \ + v.raw_value() = Checked::Extended_Int<Policy, PPL_U(T)>::min; \ + return v; \ + } \ \ - static Type max() { \ - Type v; \ - v.raw_value() = Checked::Extended_Int<Policy, T>::max; \ - return v; \ - } \ + static Type max() { \ + Type v; \ + v.raw_value() = Checked::Extended_Int<Policy, PPL_U(T)>::max; \ + return v; \ + } \ \ - static Type infinity() { \ - Type v; \ - Checked::assign_special<Policy>(v.raw_value(), VC_PLUS_INFINITY, \ - ROUND_IGNORE); \ - return v; \ - } \ + static Type infinity() { \ + Type v; \ + Checked::assign_special<Policy>(v.raw_value(), VC_PLUS_INFINITY, \ + ROUND_IGNORE); \ + return v; \ + } \ \ - static Type quiet_NaN() { \ - Type v; \ - Checked::assign_special<Policy>(v.raw_value(), VC_NAN, \ - ROUND_IGNORE); \ - return v; \ - } \ -}; + static Type quiet_NaN() { \ + Type v; \ + Checked::assign_special<Policy>(v.raw_value(), VC_NAN, \ + ROUND_IGNORE); \ + return v; \ + } \ + };

PPL_SPECIALIZE_LIMITS_INT(char)

@@ -88,10 +88,10 @@ PPL_SPECIALIZE_LIMITS_INT(unsigned long long) #undef PPL_SPECIALIZE_LIMITS_INT

#define PPL_SPECIALIZE_LIMITS_FLOAT(T) \ -/*! \brief Partial specialization of std::numeric_limits. */ \ -template <typename Policy> \ -struct numeric_limits<Checked_Number<T, Policy> > \ - : public numeric_limits<T> { \ + /*! \brief Partial specialization of std::numeric_limits. */ \ + template <typename Policy> \ + struct numeric_limits<Checked_Number<PPL_U(T), Policy> > \ + : public numeric_limits<PPL_U(T)> { \ };

#if PPL_SUPPORTED_FLOAT