[PPL-devel] [GIT] ppl/ppl(floating_point): Small improvement in bnot_linearize.
Fabio Bossi
bossi at cs.unipr.it
Sat Jul 24 16:39:47 CEST 2010
Module: ppl/ppl
Branch: floating_point
Commit: f4d76853831054292145b3d7f4c327e925f6af51
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f4d76853831054292145b3d7f4c327e925f6af51
Author: Fabio Bossi <bossi at cs.unipr.it>
Date: Sat Jul 24 16:37:28 2010 +0200
Small improvement in bnot_linearize.
---
src/linearize.hh | 4 +++-
1 files changed, 3 insertions(+), 1 deletions(-)
diff --git a/src/linearize.hh b/src/linearize.hh
index ca40451..681e846 100644
--- a/src/linearize.hh
+++ b/src/linearize.hh
@@ -65,7 +65,9 @@ bnot_linearize(const Unary_Operator<Target>& uop_expr,
}
else
// Here int_r strictly contains 0.
- return false;
+ result = FP_Interval_Type(0);
+ result.join_assign(1);
+ return true;
}
template <typename Target, typename FP_Interval_Type>
More information about the PPL-devel
mailing list