[PPL-devel] [GIT] ppl/ppl(floating_point): Fixed Concrete_Expression. cc so that it compiles

[Fabio Bossi]

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

Author: Fabio Bossi <bossi at cs.unipr.it>
Date:   Wed Jul 21 10:52:39 2010 +0200

Fixed Concrete_Expression.cc so that it compiles
with NDEBUG activated.

---

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

diff --git a/src/Concrete_Expression.cc b/src/Concrete_Expression.cc
index 126a1a0..cc7b34d 100644
--- a/src/Concrete_Expression.cc
+++ b/src/Concrete_Expression.cc
@@ -21,6 +21,9 @@ 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
+#include <stdio>
+#endif
 
 #include "Concrete_Expression.defs.hh"
 
@@ -34,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) {
-#ifndef NDEBUG
+#ifdef NDEBUG
       std::cerr << "bounded integer type has illegal width "
                 << impl.bounded_integer_type_width
                 << std::endl;
@@ -44,7 +47,7 @@ PPL::Concrete_Expression_Type::OK() const {
 
     if (impl.bounded_integer_type_representation != UNSIGNED
         && impl.bounded_integer_type_representation != SIGNED_2_COMPLEMENT) {
-#ifndef NDEBUG
+#ifdef NDEBUG
       std::cerr << "bounded integer type has illegal representation "
                 << impl.bounded_integer_type_representation
                 << std::endl;
@@ -55,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) {
-#ifndef NDEBUG
+#ifdef NDEBUG
       std::cerr << "bounded integer type has illegal overflow "
                 << impl.bounded_integer_type_overflow
                 << std::endl;
@@ -64,7 +67,7 @@ PPL::Concrete_Expression_Type::OK() const {
     }
 
     if (impl.floating_point_format != IEEE754_HALF) {
-#ifndef NDEBUG
+#ifdef NDEBUG
       std::cerr << "bounded integer type has illegal (unused) fp format "
                 << impl.floating_point_format
                 << std::endl;
@@ -80,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) {
-#ifndef NDEBUG
+#ifdef NDEBUG
       std::cerr << "floating point type has illegal format "
                 << impl.floating_point_format
                 << std::endl;
@@ -89,7 +92,7 @@ PPL::Concrete_Expression_Type::OK() const {
     }
 
     if (impl.bounded_integer_type_width != BITS_128) {
-#ifndef NDEBUG
+#ifdef NDEBUG
       std::cerr << "floating point type has illegal (unused) bi width "
                 << impl.bounded_integer_type_width
                 << std::endl;
@@ -98,7 +101,7 @@ PPL::Concrete_Expression_Type::OK() const {
     }
 
     if (impl.bounded_integer_type_representation != SIGNED_2_COMPLEMENT) {
-#ifndef NDEBUG
+#ifdef NDEBUG
       std::cerr << "floating point type has illegal (unused) bi representation "
                 << impl.bounded_integer_type_representation
                 << std::endl;
@@ -107,7 +110,7 @@ PPL::Concrete_Expression_Type::OK() const {
     }
 
     if (impl.bounded_integer_type_overflow != OVERFLOW_IMPOSSIBLE) {
-#ifndef NDEBUG
+#ifdef NDEBUG
       std::cerr << "floating point type has illegal (unused) bi overflow "
                 << impl.bounded_integer_type_overflow
                 << std::endl;