[PPL-devel] [GIT] ppl/ppl(master): Useless local variables removed.

[Roberto Bagnara]

Module: ppl/ppl
Branch: master
Commit: 0c6466b672498a86a35b9b4ebc7c5fb4816b37dd
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0c6466b672498a86a35b9b4ebc7c5fb4816b37dd

Author: Roberto Bagnara <roberto.bagnara at bugseng.com>
Date:   Sun Mar 30 22:44:19 2014 +0200

Useless local variables removed.

---

 src/Octagonal_Shape_templates.hh |    7 -------
 1 files changed, 0 insertions(+), 7 deletions(-)

diff --git a/src/Octagonal_Shape_templates.hh b/src/Octagonal_Shape_templates.hh
index e8a9bf2..bf8a40c 100644
--- a/src/Octagonal_Shape_templates.hh
+++ b/src/Octagonal_Shape_templates.hh
@@ -1000,7 +1000,6 @@ Octagonal_Shape<T>::minimized_congruences() const {
   // Strong closure is necessary to detect emptiness
   // and all (possibly implicit) equalities.
   strong_closure_assign();
-  const dimension_type space_dim = space_dimension();
   Congruence_System cgs(space_dim);
 
   if (space_dim == 0) {
@@ -1267,7 +1266,6 @@ Octagonal_Shape<T>::contains_integer_point() const {
   // Force strong closure.
   if (is_empty())
     return false;
-  const dimension_type space_dim = space_dimension();
   if (space_dim == 0)
     return true;
 
@@ -1316,7 +1314,6 @@ bool
 Octagonal_Shape<T>::frequency(const Linear_Expression& expr,
                               Coefficient& freq_n, Coefficient& freq_d,
                               Coefficient& val_n, Coefficient& val_d) const {
-  dimension_type space_dim = space_dimension();
   // The dimension of `expr' must be at most the dimension of *this.
   if (space_dim < expr.space_dimension())
     throw_dimension_incompatible("frequency(e, ...)", "e", expr);
@@ -2552,7 +2549,6 @@ bool
 Octagonal_Shape<T>::tight_coherence_would_make_empty() const {
   PPL_ASSERT(std::numeric_limits<N>::is_integer);
   PPL_ASSERT(marked_strongly_closed());
-  const dimension_type space_dim = space_dimension();
   for (dimension_type i = 0; i < 2*space_dim; i += 2) {
     const dimension_type ci = i + 1;
     const N& mat_i_ci = matrix[i][ci];
@@ -2583,7 +2579,6 @@ Octagonal_Shape<T>::tight_closure_assign() {
     // Tighten the unary constraints.
     PPL_DIRTY_TEMP(N, temp_one);
     assign_r(temp_one, 1, ROUND_NOT_NEEDED);
-    const dimension_type space_dim = space_dimension();
     for (dimension_type i = 0; i < 2*space_dim; i += 2) {
       const dimension_type ci = i + 1;
       N& mat_i_ci = matrix[i][ci];
@@ -6927,7 +6922,6 @@ Octagonal_Shape<T>::bounded_affine_preimage(const Variable var,
 template <typename T>
 Constraint_System
 Octagonal_Shape<T>::constraints() const {
-  const dimension_type space_dim = space_dimension();
   Constraint_System cs;
   cs.set_space_dimension(space_dim);
 
@@ -7543,7 +7537,6 @@ Octagonal_Shape<T>::drop_some_non_integer_points(Complexity_Class) {
   if (std::numeric_limits<T>::is_integer)
     return;
 
-  const dimension_type space_dim = space_dimension();
   strong_closure_assign();
   if (space_dim == 0 || marked_empty())
     return;