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

Author: Abramo Bagnara abramo.bagnara@gmail.com Date: Fri May 7 07:49:16 2010 +0200

Removed current implementation of PPL_{LT,GT}_SILENT: the cure was worse than the disease.

---

src/checked.inlines.hh | 16 ++-------------- 1 files changed, 2 insertions(+), 14 deletions(-)

diff --git a/src/checked.inlines.hh b/src/checked.inlines.hh index fffcff8..c5f6412 100644 --- a/src/checked.inlines.hh +++ b/src/checked.inlines.hh @@ -28,26 +28,14 @@ site: http://www.cs.unipr.it/ppl/ . */ #include "C_Integer.hh" #include "assert.hh"

-#if defined(__GNUC__) /*! \brief Performs the test <CODE>a < b</CODE> avoiding the warning about the comparison being always false due to limited range of data type. + FIXME: we don't have found a working solution. gcc option + -Wno-type-limits suppress the warning */ -#define PPL_LT_SILENT(a, b) \ - ({ \ - __typeof__(a) _a = (a); \ - __typeof__(b) _b = (b); \ - _a <= _b && _a != _b; \ - }) -/*! \brief - Performs the test <CODE>a > b</CODE> avoiding the warning about the - comparison being always false due to limited range of data type. -*/ -#define PPL_GT_SILENT(a, b) PPL_LT_SILENT(b, a) -#else #define PPL_LT_SILENT(a, b) ((a) < (b)) #define PPL_GT_SILENT(a, b) ((a) > (b)) -#endif

namespace Parma_Polyhedra_Library {