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

Author: Fabio Bossi bossi@cs.unipr.it Date: Thu Sep 17 17:37:24 2009 +0200

Removed useless emptiness check.

---

src/Octagonal_Shape.templates.hh | 4 ---- 1 files changed, 0 insertions(+), 4 deletions(-)

diff --git a/src/Octagonal_Shape.templates.hh b/src/Octagonal_Shape.templates.hh index 5598b0d..3b83054 100644 --- a/src/Octagonal_Shape.templates.hh +++ b/src/Octagonal_Shape.templates.hh @@ -506,10 +506,6 @@ Octagonal_Shape<T>::refine_with_linear_form_inequality( throw_dimension_incompatible( "refine_with_linear_form_inequality(left, right)", "right", right);

- // FIXME: maybe it would be best to create a no_check variant. - if (marked_empty()) - return; - // Number of non-zero coefficients in `left': will be set to // 0, 1, or 2, the latter value meaning any value greater than 1. dimension_type left_t = 0;