[PPL-devel] [GIT] ppl/ppl(master): Removed current implementation of PPL_{LT, GT}_SILENT : the cure was worse than the disease.

[Abramo Bagnara]

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

Author: Abramo Bagnara <abramo.bagnara at 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 {