May 2009 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(bounded_arithmetic): Marked tests that are expected to fail with 8-bit coefficients.
by Roberto Bagnara 14 May '09

14 May '09

Module: ppl/ppl Branch: bounded_arithmetic Commit: ffc6689ea022e45587d30ea28aae9626cede3616 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ffc6689ea022… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu May 14 07:10:26 2009 +0200 Marked tests that are expected to fail with 8-bit coefficients. --- tests/Box/wrap1.cc | 6 +++--- 1 files changed, 3 insertions(+), 3 deletions(-) diff --git a/tests/Box/wrap1.cc b/tests/Box/wrap1.cc index 8d4e945..15f7e79 100644 --- a/tests/Box/wrap1.cc +++ b/tests/Box/wrap1.cc @@ -123,7 +123,7 @@ test03() { } // namespace BEGIN_MAIN - DO_TEST(test01); - DO_TEST(test02); - DO_TEST(test03); + DO_TEST_F8(test01); + DO_TEST_F8(test02); + DO_TEST_F8(test03); END_MAIN

1 0

[GIT] ppl/ppl(bounded_arithmetic): Added wrap_assign.
by Abramo Bagnara 13 May '09

13 May '09

Module: ppl/ppl Branch: bounded_arithmetic Commit: 5f9892fcb2fce2ee9f7071820035e1be1b31aa59 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5f9892fcb2fc… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Wed May 13 23:42:29 2009 +0200 Added wrap_assign. --- src/Interval.defs.hh | 48 ++++++++++++++++++++++++++++++++++++++++++++++++ 1 files changed, 48 insertions(+), 0 deletions(-) diff --git a/src/Interval.defs.hh b/src/Interval.defs.hh index b0bc3d2..e58b084 100644 --- a/src/Interval.defs.hh +++ b/src/Interval.defs.hh @@ -233,6 +233,11 @@ public: return lt(UPPER, upper(), info(), LOWER, lower(), info()); } + bool check_empty(I_Result r) const { + return (r & I_ANY) == I_EMPTY || + ((r & I_ANY) != I_NOT_EMPTY && is_empty()); + } + bool is_singleton() const { return eq(LOWER, lower(), info(), UPPER, upper(), info()); } @@ -523,6 +528,49 @@ public: return u >= l; } + template <typename T> + typename Enable_If<Is_Singleton<T>::value || Is_Interval<T>::value, Interval&>::type + wrap_assign(const T& x, Bounded_Integer_Type_Width w, + Bounded_Integer_Type_Signedness s, const Interval& refinement) { + if (is_empty()) + return I_EMPTY; + if (lower_is_boundary_infinity() || upper_is_boundary_infinity()) + return assign(refinement); + PPL_DIRTY_TEMP(Boundary, u); + Result r; + r = sub_2exp_assign_r(u, upper(), w, ROUND_UP); + if (!result_overflow(r) && u > lower()) + return assign(refinement); + switch (s) { + case UNSIGNED: + umod_2exp_assign(LOWER, lower(), info(), + LOWER, f_lower(x), f_info(x), w); + umod_2exp_assign(UPPER, upper(), info(), + UPPER, f_upper(x), f_info(x), w); + break; + case SIGNED_2_COMPLEMENT: + smod_2exp_assign(LOWER, lower(), info(), + LOWER, f_lower(x), f_info(x), w); + smod_2exp_assign(UPPER, upper(), info(), + UPPER, f_upper(x), f_info(x), w); + break; + default: + assert(false); + break; + } + if (le(LOWER, lower(), info(), UPPER, upper(), info())) + return intersect_assign(refinement); + PPL_DIRTY_TEMP(Interval, tmp); + tmp.info.clear(); + Boundary_NS::assign(LOWER, tmp.lower(), tmp.info(), + LOWER, lower(), info()); + set_unbounded(UPPER, tmp.upper(), tmp.info()); + tmp.intersect_assign(refinement); + lower_extend(); + intersect_assign(refinement); + return join_assign(tmp); + } + //! Returns the total size in bytes of the memory occupied by \p *this. memory_size_type total_memory_in_bytes() const;

1 0

[GIT] ppl/ppl(bounded_arithmetic): Added add_2exp and sub_2exp.
by Abramo Bagnara 13 May '09

13 May '09

Module: ppl/ppl Branch: bounded_arithmetic Commit: b55ca03354c3c65fbbe6f5fb79a1d2685d3fb449 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b55ca03354c3… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Wed May 13 23:41:38 2009 +0200 Added add_2exp and sub_2exp. --- src/Checked_Number.defs.hh | 2 + src/Checked_Number.inlines.hh | 2 + src/checked.defs.hh | 12 +++++ src/checked_ext.inlines.hh | 36 ++++++++++++++ src/checked_float.inlines.hh | 42 ++++++++++++++-- src/checked_int.inlines.hh | 104 +++++++++++++++++++++++++++++++++++----- src/checked_mpq.inlines.hh | 26 ++++++++++ src/checked_mpz.inlines.hh | 26 ++++++++++ 8 files changed, 232 insertions(+), 18 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=b55ca033…

1 0

[GIT] ppl/ppl(bounded_arithmetic): Added missing info clearing.
by Abramo Bagnara 13 May '09

13 May '09

Module: ppl/ppl Branch: bounded_arithmetic Commit: 37f8d8b4162aa9c657b27f814b3565daec35f0c7 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=37f8d8b4162a… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Wed May 13 23:33:01 2009 +0200 Added missing info clearing. --- src/Interval.defs.hh | 2 ++ 1 files changed, 2 insertions(+), 0 deletions(-) diff --git a/src/Interval.defs.hh b/src/Interval.defs.hh index d9b958d..b0bc3d2 100644 --- a/src/Interval.defs.hh +++ b/src/Interval.defs.hh @@ -279,6 +279,7 @@ public: } I_Result lower_extend() { + info().clear_boundary_properties(LOWER); set_unbounded(LOWER, lower(), info()); return I_ANY; } @@ -309,6 +310,7 @@ public: } I_Result upper_extend() { + info().clear_boundary_properties(UPPER); set_unbounded(UPPER, upper(), info()); return I_ANY; }

1 0

[GIT] ppl/ppl(master): Removed repeated specification of operators in the grids section.
by Patricia Hill 13 May '09

13 May '09

Module: ppl/ppl Branch: master Commit: c606710cfe67adb748857cfb840d20a2feb3a3b8 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c606710cfe67… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed May 13 21:43:11 2009 +0100 Removed repeated specification of operators in the grids section. Ensure cross-references to these sections now refer to the equivalent sections for polyhedra. Fixed a typo in src/Determinate.defs.hh that caused a warning when compiling the documentation. --- doc/definitions.dox | 233 ++++----------------------------- src/Determinate.defs.hh | 2 +- src/Grid.defs.hh | 25 ++-- src/Partially_Reduced_Product.defs.hh | 2 +- 4 files changed, 42 insertions(+), 220 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=c606710c…

1 0

[GIT] ppl/ppl(bounded_arithmetic): Coefficient types of weakly-relational domains moved to new source files.
by Roberto Bagnara 13 May '09

13 May '09

Module: ppl/ppl Branch: bounded_arithmetic Commit: 0edbd37a47bb2bb6fd79f993cb2deb77d0c6892e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0edbd37a47bb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed May 13 22:17:32 2009 +0200 Coefficient types of weakly-relational domains moved to new source files. --- src/BD_Shape.defs.hh | 1 + src/Checked_Number.defs.hh | 29 --------------- src/Checked_Number.inlines.hh | 6 --- src/Makefile.am | 2 + src/Octagonal_Shape.defs.hh | 2 + src/WRD_coefficient_types.defs.hh | 63 ++++++++++++++++++++++++++++++++++ src/WRD_coefficient_types.inlines.hh | 36 +++++++++++++++++++ 7 files changed, 104 insertions(+), 35 deletions(-) diff --git a/src/BD_Shape.defs.hh b/src/BD_Shape.defs.hh index 4738a92..a15ff6a 100644 --- a/src/BD_Shape.defs.hh +++ b/src/BD_Shape.defs.hh @@ -43,6 +43,7 @@ site: http://www.cs.unipr.it/ppl/ . */ #include "DB_Matrix.defs.hh" #include "DB_Row.defs.hh" #include "Checked_Number.defs.hh" +#include "WRD_coefficient_types.defs.hh" #include "Bit_Matrix.defs.hh" #include <cstddef> #include <iosfwd> diff --git a/src/Checked_Number.defs.hh b/src/Checked_Number.defs.hh index d363c65..da7b2fb 100644 --- a/src/Checked_Number.defs.hh +++ b/src/Checked_Number.defs.hh @@ -61,35 +61,6 @@ struct Extended_Number_Policy { }; #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS -/*! \ingroup PPL_CXX_interface */ -#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) -struct WRD_Extended_Number_Policy { - const_bool_nodef(check_overflow, true); - const_bool_nodef(check_inf_add_inf, false); - const_bool_nodef(check_inf_sub_inf, false); - const_bool_nodef(check_inf_mul_zero, false); - const_bool_nodef(check_div_zero, false); - const_bool_nodef(check_inf_div_inf, false); - const_bool_nodef(check_inf_mod, false); - const_bool_nodef(check_sqrt_neg, false); - const_bool_nodef(has_nan, true); - const_bool_nodef(has_infinity, true); - // Do not uncomment the following. - // The compile time error on conversions is the expected behavior. - // const_bool_nodef(convertible, false); - const_bool_nodef(fpu_check_inexact, true); - const_bool_nodef(fpu_check_nan_result, false); - // Do not uncomment the following. - // The compile time error is the expected behavior. - // static const Rounding_Dir ROUND_DEFAULT_CONSTRUCTOR = ROUND_UP; - // static const Rounding_Dir ROUND_DEFAULT_OPERATOR = ROUND_UP; - // static const Rounding_Dir ROUND_DEFAULT_FUNCTION = ROUND_UP; - // static const Rounding_Dir ROUND_DEFAULT_INPUT = ROUND_UP; - // static const Rounding_Dir ROUND_DEFAULT_OUTPUT = ROUND_UP; - static void handle_result(Result r); -}; - -#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS //! A policy checking for overflows. /*! \ingroup PPL_CXX_interface */ #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) diff --git a/src/Checked_Number.inlines.hh b/src/Checked_Number.inlines.hh index 1d5aace..f3f77a4 100644 --- a/src/Checked_Number.inlines.hh +++ b/src/Checked_Number.inlines.hh @@ -71,12 +71,6 @@ Extended_Number_Policy::handle_result(Result r) { throw_result_exception(r); } -inline void -WRD_Extended_Number_Policy::handle_result(Result r) { - if (result_class(r) == VC_NAN) - throw_result_exception(r); -} - template <typename T, typename Policy> inline Checked_Number<T, Policy>::Checked_Number() diff --git a/src/Makefile.am b/src/Makefile.am index 22bad97..5849079 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -193,6 +193,8 @@ checked_ext.inlines.hh \ Checked_Number.defs.hh \ Checked_Number.inlines.hh \ Checked_Number.templates.hh \ +WRD_coefficient_types.defs.hh \ +WRD_coefficient_types.inlines.hh \ checked_numeric_limits.hh \ $(COEFFICIENT_DEFS_INCLUDE_FILES) \ Coefficient.defs.hh \ diff --git a/src/Octagonal_Shape.defs.hh b/src/Octagonal_Shape.defs.hh index e647a99..02bbb32 100644 --- a/src/Octagonal_Shape.defs.hh +++ b/src/Octagonal_Shape.defs.hh @@ -42,6 +42,8 @@ site: http://www.cs.unipr.it/ppl/ . */ #include "Variable.defs.hh" #include "Variables_Set.types.hh" #include "Checked_Number.defs.hh" +#include "WRD_coefficient_types.defs.hh" +#include "Bit_Row.defs.hh" #include <vector> #include <cstddef> #include <climits> diff --git a/src/WRD_coefficient_types.defs.hh b/src/WRD_coefficient_types.defs.hh new file mode 100644 index 0000000..b05b322 --- /dev/null +++ b/src/WRD_coefficient_types.defs.hh @@ -0,0 +1,63 @@ +/* Coefficient types of weakly-relational domains: declarations. + Copyright (C) 2001-2009 Roberto Bagnara <bagnara(a)cs.unipr.it> + +This file is part of the Parma Polyhedra Library (PPL). + +The PPL is free software; you can redistribute it and/or modify it +under the terms of the GNU General Public License as published by the +Free Software Foundation; either version 3 of the License, or (at your +option) any later version. + +The PPL is distributed in the hope that it will be useful, but WITHOUT +ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or +FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License +for more details. + +You should have received a copy of the GNU General Public License +along with this program; if not, write to the Free Software Foundation, +Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. + +For the most up-to-date information see the Parma Polyhedra Library +site: http://www.cs.unipr.it/ppl/ . */ + +#ifndef PPL_WRD_coefficient_types_defs_hh +#define PPL_WRD_coefficient_types_defs_hh 1 + +#include "meta_programming.hh" + +namespace Parma_Polyhedra_Library { + +#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS +/*! \ingroup PPL_CXX_interface */ +#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) +struct WRD_Extended_Number_Policy { + const_bool_nodef(check_overflow, true); + const_bool_nodef(check_inf_add_inf, false); + const_bool_nodef(check_inf_sub_inf, false); + const_bool_nodef(check_inf_mul_zero, false); + const_bool_nodef(check_div_zero, false); + const_bool_nodef(check_inf_div_inf, false); + const_bool_nodef(check_inf_mod, false); + const_bool_nodef(check_sqrt_neg, false); + const_bool_nodef(has_nan, true); + const_bool_nodef(has_infinity, true); + // Do not uncomment the following. + // The compile time error on conversions is the expected behavior. + // const_bool_nodef(convertible, false); + const_bool_nodef(fpu_check_inexact, true); + const_bool_nodef(fpu_check_nan_result, false); + // Do not uncomment the following. + // The compile time error is the expected behavior. + // static const Rounding_Dir ROUND_DEFAULT_CONSTRUCTOR = ROUND_UP; + // static const Rounding_Dir ROUND_DEFAULT_OPERATOR = ROUND_UP; + // static const Rounding_Dir ROUND_DEFAULT_FUNCTION = ROUND_UP; + // static const Rounding_Dir ROUND_DEFAULT_INPUT = ROUND_UP; + // static const Rounding_Dir ROUND_DEFAULT_OUTPUT = ROUND_UP; + static void handle_result(Result r); +}; + +} // namespace Parma_Polyhedra_Library + +#include "WRD_coefficient_types.inlines.hh" + +#endif // !defined(PPL_WRD_coefficient_types_defs_hh) diff --git a/src/WRD_coefficient_types.inlines.hh b/src/WRD_coefficient_types.inlines.hh new file mode 100644 index 0000000..2f98f58 --- /dev/null +++ b/src/WRD_coefficient_types.inlines.hh @@ -0,0 +1,36 @@ +/* Coefficient types of weakly-relational domains: inline functions. + Copyright (C) 2001-2009 Roberto Bagnara <bagnara(a)cs.unipr.it> + +This file is part of the Parma Polyhedra Library (PPL). + +The PPL is free software; you can redistribute it and/or modify it +under the terms of the GNU General Public License as published by the +Free Software Foundation; either version 3 of the License, or (at your +option) any later version. + +The PPL is distributed in the hope that it will be useful, but WITHOUT +ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or +FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License +for more details. + +You should have received a copy of the GNU General Public License +along with this program; if not, write to the Free Software Foundation, +Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. + +For the most up-to-date information see the Parma Polyhedra Library +site: http://www.cs.unipr.it/ppl/ . */ + +#ifndef PPL_WRD_coefficient_types_inlines_hh +#define PPL_WRD_coefficient_types_inlines_hh 1 + +namespace Parma_Polyhedra_Library { + +inline void +WRD_Extended_Number_Policy::handle_result(Result r) { + if (result_class(r) == VC_NAN) + throw_result_exception(r); +} + +} // namespace Parma_Polyhedra_Library + +#endif // !defined(PPL_WRD_coefficient_types_inlines_hh)

1 0

[GIT] ppl/ppl(bounded_arithmetic): Comment fixed.
by Roberto Bagnara 13 May '09

13 May '09

Module: ppl/ppl Branch: bounded_arithmetic Commit: ee2d6c28172e4879daa3b1337ac6987cfffc0226 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ee2d6c28172e… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed May 13 21:29:11 2009 +0200 Comment fixed. --- src/Coefficient.types.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/Coefficient.types.hh b/src/Coefficient.types.hh index 64e2a34..0142d35 100644 --- a/src/Coefficient.types.hh +++ b/src/Coefficient.types.hh @@ -48,7 +48,7 @@ struct Bounded_Integer_Coefficient_Policy { //! Do not handle not-a-number special value. const_bool_nodef(has_nan, false); - //! Handle infinity special values if \p T have them. + //! Do not handle infinity special values. const_bool_nodef(has_infinity, false); /*! \brief

1 0

[GIT] ppl/ppl(bounded_arithmetic): Got rid of Checked_Number_Default_Policy .
by Roberto Bagnara 13 May '09

13 May '09

Module: ppl/ppl Branch: bounded_arithmetic Commit: bfc05d94ff20f86579e31c2c87efe6c4ae659308 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bfc05d94ff20… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed May 13 20:29:09 2009 +0200 Got rid of Checked_Number_Default_Policy. --- src/Checked_Number.defs.hh | 25 ------------------------- src/Checked_Number.inlines.hh | 6 ------ src/Checked_Number.types.hh | 3 +-- 3 files changed, 1 insertions(+), 33 deletions(-) diff --git a/src/Checked_Number.defs.hh b/src/Checked_Number.defs.hh index df23841..d363c65 100644 --- a/src/Checked_Number.defs.hh +++ b/src/Checked_Number.defs.hh @@ -34,31 +34,6 @@ namespace Parma_Polyhedra_Library { #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS /*! \ingroup PPL_CXX_interface */ #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) -struct Checked_Number_Default_Policy { - const_bool_nodef(check_overflow, true); - const_bool_nodef(check_inf_add_inf, false); - const_bool_nodef(check_inf_sub_inf, false); - const_bool_nodef(check_inf_mul_zero, false); - const_bool_nodef(check_div_zero, false); - const_bool_nodef(check_inf_div_inf, false); - const_bool_nodef(check_inf_mod, false); - const_bool_nodef(check_sqrt_neg, false); - const_bool_nodef(has_nan, false); - const_bool_nodef(has_infinity, false); - const_bool_nodef(convertible, true); - const_bool_nodef(fpu_check_inexact, true); - const_bool_nodef(fpu_check_nan_result, true); - static const Rounding_Dir ROUND_DEFAULT_CONSTRUCTOR = ROUND_NATIVE; - static const Rounding_Dir ROUND_DEFAULT_OPERATOR = ROUND_NATIVE; - static const Rounding_Dir ROUND_DEFAULT_FUNCTION = ROUND_NATIVE; - static const Rounding_Dir ROUND_DEFAULT_INPUT = ROUND_NATIVE; - static const Rounding_Dir ROUND_DEFAULT_OUTPUT = ROUND_NATIVE; - static void handle_result(Result r); -}; - -#ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS -/*! \ingroup PPL_CXX_interface */ -#endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS) struct Extended_Number_Policy { const_bool_nodef(check_overflow, true); const_bool_nodef(check_inf_add_inf, false); diff --git a/src/Checked_Number.inlines.hh b/src/Checked_Number.inlines.hh index 197beb0..1d5aace 100644 --- a/src/Checked_Number.inlines.hh +++ b/src/Checked_Number.inlines.hh @@ -66,12 +66,6 @@ Checked_Number_Transparent_Policy<T>::handle_result(Result) { } inline void -Checked_Number_Default_Policy::handle_result(Result r) { - if (result_overflow(r) || result_class(r) == VC_NAN) - throw_result_exception(r); -} - -inline void Extended_Number_Policy::handle_result(Result r) { if (result_class(r) == VC_NAN) throw_result_exception(r); diff --git a/src/Checked_Number.types.hh b/src/Checked_Number.types.hh index b6acba5..c4c4559 100644 --- a/src/Checked_Number.types.hh +++ b/src/Checked_Number.types.hh @@ -16,10 +16,9 @@ PURPOSE. */ namespace Parma_Polyhedra_Library { -struct Checked_Number_Default_Policy; struct Extended_Number_Policy; -template <typename T, typename Policy = Checked_Number_Default_Policy> +template <typename T, typename Policy> class Checked_Number; } // namespace Parma_Polyhedra_Library

1 0

[GIT] ppl/ppl(bounded_arithmetic): Bounded_Integer_Coefficient_Policy:: handle_result() commented.
by Roberto Bagnara 13 May '09

13 May '09

Module: ppl/ppl Branch: bounded_arithmetic Commit: 76c766e5f4da6e965a6df7d68f4352d2c4ba937f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=76c766e5f4da… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed May 13 20:28:36 2009 +0200 Bounded_Integer_Coefficient_Policy::handle_result() commented. --- src/Coefficient.inlines.hh | 1 + 1 files changed, 1 insertions(+), 0 deletions(-) diff --git a/src/Coefficient.inlines.hh b/src/Coefficient.inlines.hh index 74fe0e2..e058b50 100644 --- a/src/Coefficient.inlines.hh +++ b/src/Coefficient.inlines.hh @@ -28,6 +28,7 @@ namespace Parma_Polyhedra_Library { #ifdef PPL_CHECKED_INTEGERS inline void Bounded_Integer_Coefficient_Policy::handle_result(Result r) { + // Note that the input functions can return VC_NAN. if (result_overflow(r) || result_class(r) == VC_NAN) throw_result_exception(r); }

1 0

[GIT] ppl/ppl(bounded_arithmetic): Also check for NaN in Bounded_Integer_Coefficient_Policy::handle_result().
by Roberto Bagnara 13 May '09

13 May '09

Module: ppl/ppl Branch: bounded_arithmetic Commit: 6ea0b6f8a8ee11ac70bd64d97558338f73e3cb22 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6ea0b6f8a8ee… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed May 13 20:20:28 2009 +0200 Also check for NaN in Bounded_Integer_Coefficient_Policy::handle_result(). --- src/Coefficient.inlines.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/Coefficient.inlines.hh b/src/Coefficient.inlines.hh index 4a7f68b..74fe0e2 100644 --- a/src/Coefficient.inlines.hh +++ b/src/Coefficient.inlines.hh @@ -28,7 +28,7 @@ namespace Parma_Polyhedra_Library { #ifdef PPL_CHECKED_INTEGERS inline void Bounded_Integer_Coefficient_Policy::handle_result(Result r) { - if (result_overflow(r)) + if (result_overflow(r) || result_class(r) == VC_NAN) throw_result_exception(r); } #endif // PPL_CHECKED_INTEGERS

1 0