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

Author: Alberto Gioia alberto.gioia1@studenti.unipr.it Date: Mon Jul 18 12:37:18 2011 +0200

Added new control on the second parameter of the operator<< and operator>> function, respectively for the two bitwise operators.

---

src/Linear_Form.templates.hh | 8 ++++++-- 1 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/src/Linear_Form.templates.hh b/src/Linear_Form.templates.hh index ea00c35..2240a2a 100644 --- a/src/Linear_Form.templates.hh +++ b/src/Linear_Form.templates.hh @@ -606,7 +606,9 @@ operator<<(Linear_Form<C>& f, const C& n) {

dimension_type f_size = f.size();

- if (f >= zero) { + if (n == zero) + return f = Linear_Form<C>(zero); + else if (f >= zero) { if (n >= zero) { exp.assign((typename C::boundary_type)ldexp(1.0, n.lower())); exp.join_assign((typename C::boundary_type)ldexp(1.0, n.upper())); @@ -682,7 +684,9 @@ operator>>(Linear_Form<C>& f, const C& n) {

dimension_type f_size = f.size();

- if (f >= zero) { + if (n == zero) + return f = Linear_Form<C>(zero); + else if (f >= zero) { if (n >= zero) { exp.assign((typename C::boundary_type)ldexp(1.0, n.lower())); exp.join_assign((typename C::boundary_type)ldexp(1.0, n.upper()));