Module: ppl/ppl Branch: bounded_arithmetic Commit: 76c766e5f4da6e965a6df7d68f4352d2c4ba937f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=76c766e5f4da6...

Author: Roberto Bagnara bagnara@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); }