[PPL-devel] [GIT] ppl/ppl(floating_point): Fixed error in the use of NDEBUG.

[Fabio Bossi]

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

Author: Fabio Bossi <bossi at cs.unipr.it>
Date:   Wed Jul 21 14:31:34 2010 +0200

Fixed error in the use of NDEBUG.

---

 src/Concrete_Expression.cc |   16 ++++++++--------
 1 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/src/Concrete_Expression.cc b/src/Concrete_Expression.cc
index cc7b34d..b06e439 100644
--- a/src/Concrete_Expression.cc
+++ b/src/Concrete_Expression.cc
@@ -21,7 +21,7 @@ For the most up-to-date information see the Parma Polyhedra Library
 site: http://www.cs.unipr.it/ppl/ . */
 
 #include <ppl-config.h>
-#ifdef NDEBUG
+#ifndef NDEBUG
 #include <stdio>
 #endif
 
@@ -37,7 +37,7 @@ PPL::Concrete_Expression_Type::OK() const {
         && impl.bounded_integer_type_width != BITS_32
         && impl.bounded_integer_type_width != BITS_64
         && impl.bounded_integer_type_width != BITS_128) {
-#ifdef NDEBUG
+#ifndef NDEBUG
       std::cerr << "bounded integer type has illegal width "
                 << impl.bounded_integer_type_width
                 << std::endl;
@@ -47,7 +47,7 @@ PPL::Concrete_Expression_Type::OK() const {
 
     if (impl.bounded_integer_type_representation != UNSIGNED
         && impl.bounded_integer_type_representation != SIGNED_2_COMPLEMENT) {
-#ifdef NDEBUG
+#ifndef NDEBUG
       std::cerr << "bounded integer type has illegal representation "
                 << impl.bounded_integer_type_representation
                 << std::endl;
@@ -58,7 +58,7 @@ PPL::Concrete_Expression_Type::OK() const {
     if (impl.bounded_integer_type_overflow != OVERFLOW_WRAPS
         && impl.bounded_integer_type_overflow != OVERFLOW_UNDEFINED
         && impl.bounded_integer_type_overflow != OVERFLOW_IMPOSSIBLE) {
-#ifdef NDEBUG
+#ifndef NDEBUG
       std::cerr << "bounded integer type has illegal overflow "
                 << impl.bounded_integer_type_overflow
                 << std::endl;
@@ -67,7 +67,7 @@ PPL::Concrete_Expression_Type::OK() const {
     }
 
     if (impl.floating_point_format != IEEE754_HALF) {
-#ifdef NDEBUG
+#ifndef NDEBUG
       std::cerr << "bounded integer type has illegal (unused) fp format "
                 << impl.floating_point_format
                 << std::endl;
@@ -83,7 +83,7 @@ PPL::Concrete_Expression_Type::OK() const {
         && impl.floating_point_format != IBM_SINGLE
         && impl.floating_point_format != IEEE754_QUAD
         && impl.floating_point_format != INTEL_DOUBLE_EXTENDED) {
-#ifdef NDEBUG
+#ifndef NDEBUG
       std::cerr << "floating point type has illegal format "
                 << impl.floating_point_format
                 << std::endl;
@@ -101,7 +101,7 @@ PPL::Concrete_Expression_Type::OK() const {
     }
 
     if (impl.bounded_integer_type_representation != SIGNED_2_COMPLEMENT) {
-#ifdef NDEBUG
+#ifndef NDEBUG
       std::cerr << "floating point type has illegal (unused) bi representation "
                 << impl.bounded_integer_type_representation
                 << std::endl;
@@ -110,7 +110,7 @@ PPL::Concrete_Expression_Type::OK() const {
     }
 
     if (impl.bounded_integer_type_overflow != OVERFLOW_IMPOSSIBLE) {
-#ifdef NDEBUG
+#ifndef NDEBUG
       std::cerr << "floating point type has illegal (unused) bi overflow "
                 << impl.bounded_integer_type_overflow
                 << std::endl;