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

Author: Fabio Bossi bossi@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;