[PPL-devel] [GIT] ppl/ppl(master): Check for NaNs only when debugging.
Roberto Bagnara
bagnara at cs.unipr.it
Sun May 3 22:26:40 CEST 2009
Module: ppl/ppl
Branch: master
Commit: 7f8b88c139b3e7babdb53d586493e9239f873446
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7f8b88c139b3e7babdb53d586493e9239f873446
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sun May 3 22:25:43 2009 +0200
Check for NaNs only when debugging.
---
src/BD_Shape.defs.hh | 4 ++++
1 files changed, 4 insertions(+), 0 deletions(-)
diff --git a/src/BD_Shape.defs.hh b/src/BD_Shape.defs.hh
index 2ab5448..165f0eb 100644
--- a/src/BD_Shape.defs.hh
+++ b/src/BD_Shape.defs.hh
@@ -404,7 +404,11 @@ private:
The (extended) numeric type of the inhomogeneous term of
the inequalities defining a BDS.
*/
+#ifndef NDEBUG
typedef Checked_Number<T, Extended_Number_Policy> N;
+#else
+ typedef Checked_Number<T, WRD_Extended_Number_Policy> N;
+#endif
public:
//! The numeric base type upon which bounded differences are built.
More information about the PPL-devel
mailing list