Patch ppl 1.1

Author: tranleduy2000

cctools-repo/src/ppl-1.1/src/CO_Tree.cc

@@ -954,7 +954,7 @@ ::compact_elements_in_the_rightmost_end(dimension_type last_in_subtree,
     --subtree_size;
   }
 
-  const ptrdiff_t distance = first_unused_index - indexes;
+  const std::ptrdiff_t distance = first_unused_index - indexes;
   PPL_ASSERT(distance >= 0);
   return static_cast<dimension_type>(distance);
 }

cctools-repo/src/ppl-1.1/src/CO_Tree_defs.hh

@@ -159,7 +159,7 @@ public:
 
     typedef std::bidirectional_iterator_tag iterator_category;
     typedef const data_type value_type;
-    typedef ptrdiff_t difference_type;
+    typedef std::ptrdiff_t difference_type;
     typedef value_type* pointer;
     typedef data_type_const_reference reference;
 
@@ -314,7 +314,7 @@ public:
 
     typedef std::bidirectional_iterator_tag iterator_category;
     typedef data_type value_type;
-    typedef ptrdiff_t difference_type;
+    typedef std::ptrdiff_t difference_type;
     typedef value_type* pointer;
     typedef value_type& reference;
 

cctools-repo/src/ppl-1.1/src/CO_Tree_inlines.hh

@@ -31,7 +31,7 @@ CO_Tree::dfs_index(const_iterator itr) const {
   PPL_ASSERT(itr.current_index != 0);
   PPL_ASSERT(itr.current_index >= indexes + 1);
   PPL_ASSERT(itr.current_index <= indexes + reserved_size);
-  const ptrdiff_t index = itr.current_index - indexes;
+  const std::ptrdiff_t index = itr.current_index - indexes;
   return static_cast<dimension_type>(index);
 }
 
@@ -40,7 +40,7 @@ CO_Tree::dfs_index(iterator itr) const {
   PPL_ASSERT(itr.current_index != 0);
   PPL_ASSERT(itr.current_index >= indexes + 1);
   PPL_ASSERT(itr.current_index <= indexes + reserved_size);
-  const ptrdiff_t index = itr.current_index - indexes;
+  const std::ptrdiff_t index = itr.current_index - indexes;
   return static_cast<dimension_type>(index);
 }
 
@@ -772,7 +772,7 @@ CO_Tree::tree_iterator::follow_left_children_with_value() {
   p -= (offset - 1);
   while (*p == unused_index)
     ++p;
-  const ptrdiff_t distance = p - tree.indexes;
+  const std::ptrdiff_t distance = p - tree.indexes;
   PPL_ASSERT(distance >= 0);
   i = static_cast<dimension_type>(distance);
   offset = least_significant_one_mask(i);
@@ -787,7 +787,7 @@ CO_Tree::tree_iterator::follow_right_children_with_value() {
   p += (offset - 1);
   while (*p == unused_index)
     --p;
-  const ptrdiff_t distance = p - tree.indexes;
+  const std::ptrdiff_t distance = p - tree.indexes;
   PPL_ASSERT(distance >= 0);
   i = static_cast<dimension_type>(distance);
   offset = least_significant_one_mask(i);

cctools-repo/src/ppl-1.1/src/Congruence_System_defs.hh

@@ -249,7 +249,7 @@ public:
   class const_iterator
     : public std::iterator<std::forward_iterator_tag,
                            Congruence,
-                           ptrdiff_t,
+                           std::ptrdiff_t,
                            const Congruence*,
                            const Congruence&> {
   public:

cctools-repo/src/ppl-1.1/src/Constraint_System_defs.hh

@@ -609,7 +609,7 @@ for (Constraint_System::const_iterator i = cs.begin(),
 class Parma_Polyhedra_Library::Constraint_System_const_iterator
   : public std::iterator<std::forward_iterator_tag,
                          Constraint,
-                         ptrdiff_t,
+                         std::ptrdiff_t,
                          const Constraint*,
                          const Constraint&> {
 public:

cctools-repo/src/ppl-1.1/src/Dense_Row_defs.hh

@@ -433,7 +433,7 @@ public:
 
   typedef std::bidirectional_iterator_tag iterator_category;
   typedef Coefficient value_type;
-  typedef ptrdiff_t difference_type;
+  typedef std::ptrdiff_t difference_type;
   typedef value_type* pointer;
   typedef value_type& reference;
 
@@ -474,7 +474,7 @@ class Parma_Polyhedra_Library::Dense_Row::const_iterator {
 public:
 
   typedef const Coefficient value_type;
-  typedef ptrdiff_t difference_type;
+  typedef std::ptrdiff_t difference_type;
   typedef value_type* pointer;
   typedef Coefficient_traits::const_reference reference;
 

cctools-repo/src/ppl-1.1/src/Generator_System_defs.hh

@@ -679,7 +679,7 @@ copy(gs.begin(), gs.end(), ostream_iterator<Generator>(cout, "\n"));
 class Parma_Polyhedra_Library::Generator_System_const_iterator
   : public std::iterator<std::forward_iterator_tag,
         Generator,
-        ptrdiff_t,
+        std::ptrdiff_t,
         const Generator*,
         const Generator&> {
 public:

cctools-repo/src/ppl-1.1/src/Grid_Generator_System_defs.hh

@@ -277,7 +277,7 @@ public:
   class const_iterator
     : public std::iterator<std::forward_iterator_tag,
                            Grid_Generator,
-                           ptrdiff_t,
+                           std::ptrdiff_t,
                            const Grid_Generator*,
                            const Grid_Generator&> {
   public:

cctools-repo/src/ppl-1.1/src/Linear_Expression_Interface_defs.hh

@@ -65,7 +65,7 @@ public:
   public:
     typedef std::bidirectional_iterator_tag iterator_category;
     typedef const Coefficient value_type;
-    typedef ptrdiff_t difference_type;
+    typedef std::ptrdiff_t difference_type;
     typedef value_type* pointer;
     typedef Coefficient_traits::const_reference reference;