maint: update copyright
[gnulib.git] / lib / gl_carray_list.c
index 7e22d8e..c9b7331 100644 (file)
@@ -1,11 +1,11 @@
 /* Sequential list data type implemented by a circular array.
-   Copyright (C) 2006 Free Software Foundation, Inc.
+   Copyright (C) 2006-2014 Free Software Foundation, Inc.
    Written by Bruno Haible <bruno@clisp.org>, 2006.
 
-   This program is free software; you can redistribute it and/or modify
+   This program is free software: you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
-   the Free Software Foundation; either version 2, or (at your option)
-   any later version.
+   the Free Software Foundation; either version 3 of the License, or
+   (at your option) any later version.
 
    This program is distributed in the hope that it will be useful,
    but WITHOUT ANY WARRANTY; without even the implied warranty of
@@ -13,8 +13,7 @@
    GNU General Public License for more details.
 
    You should have received a copy of the GNU General Public License
-   along with this program; if not, write to the Free Software Foundation,
-   Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.  */
+   along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
 
 #include <config.h>
 
@@ -25,8 +24,6 @@
 /* Get memcpy.  */
 #include <string.h>
 
-#include "xalloc.h"
-
 /* Checked size_t computations.  */
 #include "xsize.h"
 
@@ -56,17 +53,22 @@ struct gl_list_impl
 #define NODE_TO_INDEX(node) ((uintptr_t)(node) - 1)
 
 static gl_list_t
-gl_carray_create_empty (gl_list_implementation_t implementation,
-                      gl_listelement_equals_fn equals_fn,
-                      gl_listelement_hashcode_fn hashcode_fn,
-                      bool allow_duplicates)
+gl_carray_nx_create_empty (gl_list_implementation_t implementation,
+                           gl_listelement_equals_fn equals_fn,
+                           gl_listelement_hashcode_fn hashcode_fn,
+                           gl_listelement_dispose_fn dispose_fn,
+                           bool allow_duplicates)
 {
   struct gl_list_impl *list =
-    (struct gl_list_impl *) xmalloc (sizeof (struct gl_list_impl));
+    (struct gl_list_impl *) malloc (sizeof (struct gl_list_impl));
+
+  if (list == NULL)
+    return NULL;
 
   list->base.vtable = implementation;
   list->base.equals_fn = equals_fn;
   list->base.hashcode_fn = hashcode_fn;
+  list->base.dispose_fn = dispose_fn;
   list->base.allow_duplicates = allow_duplicates;
   list->elements = NULL;
   list->offset = 0;
@@ -77,23 +79,31 @@ gl_carray_create_empty (gl_list_implementation_t implementation,
 }
 
 static gl_list_t
-gl_carray_create (gl_list_implementation_t implementation,
-                gl_listelement_equals_fn equals_fn,
-                gl_listelement_hashcode_fn hashcode_fn,
-                bool allow_duplicates,
-                size_t count, const void **contents)
+gl_carray_nx_create (gl_list_implementation_t implementation,
+                  gl_listelement_equals_fn equals_fn,
+                  gl_listelement_hashcode_fn hashcode_fn,
+                  gl_listelement_dispose_fn dispose_fn,
+                  bool allow_duplicates,
+                  size_t count, const void **contents)
 {
   struct gl_list_impl *list =
-    (struct gl_list_impl *) xmalloc (sizeof (struct gl_list_impl));
+    (struct gl_list_impl *) malloc (sizeof (struct gl_list_impl));
+
+  if (list == NULL)
+    return NULL;
 
   list->base.vtable = implementation;
   list->base.equals_fn = equals_fn;
   list->base.hashcode_fn = hashcode_fn;
+  list->base.dispose_fn = dispose_fn;
   list->base.allow_duplicates = allow_duplicates;
   if (count > 0)
     {
-      list->elements =
-       (const void **) xmalloc (count * sizeof (const void *));
+      if (size_overflow_p (xtimes (count, sizeof (const void *))))
+        goto fail;
+      list->elements = (const void **) malloc (count * sizeof (const void *));
+      if (list->elements == NULL)
+        goto fail;
       memcpy (list->elements, contents, count * sizeof (const void *));
     }
   else
@@ -103,6 +113,10 @@ gl_carray_create (gl_list_implementation_t implementation,
   list->allocated = count;
 
   return list;
+
+ fail:
+  free (list);
+  return NULL;
 }
 
 static size_t
@@ -126,6 +140,23 @@ gl_carray_node_value (gl_list_t list, gl_list_node_t node)
   return list->elements[i];
 }
 
+static int
+gl_carray_node_nx_set_value (gl_list_t list, gl_list_node_t node,
+                             const void *elt)
+{
+  uintptr_t index = NODE_TO_INDEX (node);
+  size_t i;
+
+  if (!(index < list->count))
+    /* Invalid argument.  */
+    abort ();
+  i = list->offset + index;
+  if (i >= list->allocated)
+    i -= list->allocated;
+  list->elements[i] = elt;
+  return 0;
+}
+
 static gl_list_node_t
 gl_carray_next_node (gl_list_t list, gl_list_node_t node)
 {
@@ -169,7 +200,7 @@ gl_carray_get_at (gl_list_t list, size_t position)
 }
 
 static gl_list_node_t
-gl_carray_set_at (gl_list_t list, size_t position, const void *elt)
+gl_carray_nx_set_at (gl_list_t list, size_t position, const void *elt)
 {
   size_t count = list->count;
   size_t i;
@@ -186,7 +217,7 @@ gl_carray_set_at (gl_list_t list, size_t position, const void *elt)
 
 static size_t
 gl_carray_indexof_from_to (gl_list_t list, size_t start_index, size_t end_index,
-                          const void *elt)
+                           const void *elt)
 {
   size_t count = list->count;
 
@@ -202,60 +233,61 @@ gl_carray_indexof_from_to (gl_list_t list, size_t start_index, size_t end_index,
 
       i_end = list->offset + end_index;
       if (i_end >= allocated)
-       i_end -= allocated;
+        i_end -= allocated;
 
       if (equals != NULL)
-       {
-         size_t i;
-
-         i = list->offset + start_index;
-         if (i >= allocated) /* can only happen if start_index > 0 */
-           i -= allocated;
-
-         for (;;)
-           {
-             if (equals (elt, list->elements[i]))
-               return (i >= list->offset ? i : i + allocated) - list->offset;
-             i++;
-             if (i == allocated)
-               i = 0;
-             if (i == i_end)
-               break;
-           }
-       }
+        {
+          size_t i;
+
+          i = list->offset + start_index;
+          if (i >= allocated) /* can only happen if start_index > 0 */
+            i -= allocated;
+
+          for (;;)
+            {
+              if (equals (elt, list->elements[i]))
+                return (i >= list->offset ? i : i + allocated) - list->offset;
+              i++;
+              if (i == allocated)
+                i = 0;
+              if (i == i_end)
+                break;
+            }
+        }
       else
-       {
-         size_t i;
-
-         i = list->offset + start_index;
-         if (i >= allocated) /* can only happen if start_index > 0 */
-           i -= allocated;
-
-         for (;;)
-           {
-             if (elt == list->elements[i])
-               return (i >= list->offset ? i : i + allocated) - list->offset;
-             i++;
-             if (i == allocated)
-               i = 0;
-             if (i == i_end)
-               break;
-           }
-       }
+        {
+          size_t i;
+
+          i = list->offset + start_index;
+          if (i >= allocated) /* can only happen if start_index > 0 */
+            i -= allocated;
+
+          for (;;)
+            {
+              if (elt == list->elements[i])
+                return (i >= list->offset ? i : i + allocated) - list->offset;
+              i++;
+              if (i == allocated)
+                i = 0;
+              if (i == i_end)
+                break;
+            }
+        }
     }
   return (size_t)(-1);
 }
 
 static gl_list_node_t
 gl_carray_search_from_to (gl_list_t list, size_t start_index, size_t end_index,
-                         const void *elt)
+                          const void *elt)
 {
   size_t index = gl_carray_indexof_from_to (list, start_index, end_index, elt);
   return INDEX_TO_NODE (index);
 }
 
-/* Ensure that list->allocated > list->count.  */
-static void
+/* Ensure that list->allocated > list->count.
+   Return 0 upon success, -1 upon out-of-memory.  */
+static int
 grow (gl_list_t list)
 {
   size_t new_allocated;
@@ -267,47 +299,49 @@ grow (gl_list_t list)
   memory_size = xtimes (new_allocated, sizeof (const void *));
   if (size_overflow_p (memory_size))
     /* Overflow, would lead to out of memory.  */
-    xalloc_die ();
+    return -1;
   if (list->offset > 0 && list->count > 0)
     {
-      memory = (const void **) xmalloc (memory_size);
+      memory = (const void **) malloc (memory_size);
       if (memory == NULL)
-       /* Out of memory.  */
-       xalloc_die ();
+        /* Out of memory.  */
+        return -1;
       if (list->offset + list->count > list->allocated)
-       {
-         memcpy (memory, &list->elements[list->offset],
-                 (list->allocated - list->offset) * sizeof (const void *));
-         memcpy (memory + (list->allocated - list->offset), list->elements,
-                 (list->offset + list->count - list->allocated)
-                 * sizeof (const void *));
-
-       }
+        {
+          memcpy (memory, &list->elements[list->offset],
+                  (list->allocated - list->offset) * sizeof (const void *));
+          memcpy (memory + (list->allocated - list->offset), list->elements,
+                  (list->offset + list->count - list->allocated)
+                  * sizeof (const void *));
+
+        }
       else
-       memcpy (memory, &list->elements[list->offset],
-               list->count * sizeof (const void *));
+        memcpy (memory, &list->elements[list->offset],
+                list->count * sizeof (const void *));
       if (list->elements != NULL)
-       free (list->elements);
+        free (list->elements);
     }
   else
     {
-      memory = (const void **) xrealloc (list->elements, memory_size);
+      memory = (const void **) realloc (list->elements, memory_size);
       if (memory == NULL)
-       /* Out of memory.  */
-       xalloc_die ();
+        /* Out of memory.  */
+        return -1;
     }
   list->elements = memory;
   list->offset = 0;
   list->allocated = new_allocated;
+  return 0;
 }
 
 static gl_list_node_t
-gl_carray_add_first (gl_list_t list, const void *elt)
+gl_carray_nx_add_first (gl_list_t list, const void *elt)
 {
   size_t count = list->count;
 
   if (count == list->allocated)
-    grow (list);
+    if (grow (list) < 0)
+      return NULL;
   list->offset = (list->offset == 0 ? list->allocated : list->offset) - 1;
   list->elements[list->offset] = elt;
   list->count = count + 1;
@@ -315,13 +349,14 @@ gl_carray_add_first (gl_list_t list, const void *elt)
 }
 
 static gl_list_node_t
-gl_carray_add_last (gl_list_t list, const void *elt)
+gl_carray_nx_add_last (gl_list_t list, const void *elt)
 {
   size_t count = list->count;
   size_t i;
 
   if (count == list->allocated)
-    grow (list);
+    if (grow (list) < 0)
+      return NULL;
   i = list->offset + count;
   if (i >= list->allocated)
     i -= list->allocated;
@@ -331,7 +366,7 @@ gl_carray_add_last (gl_list_t list, const void *elt)
 }
 
 static gl_list_node_t
-gl_carray_add_at (gl_list_t list, size_t position, const void *elt)
+gl_carray_nx_add_at (gl_list_t list, size_t position, const void *elt)
 {
   size_t count = list->count;
   const void **elements;
@@ -340,7 +375,8 @@ gl_carray_add_at (gl_list_t list, size_t position, const void *elt)
     /* Invalid argument.  */
     abort ();
   if (count == list->allocated)
-    grow (list);
+    if (grow (list) < 0)
+      return NULL;
   elements = list->elements;
   if (position <= (count / 2))
     {
@@ -351,21 +387,21 @@ gl_carray_add_at (gl_list_t list, size_t position, const void *elt)
 
       i2 = list->offset + position;
       if (i2 >= list->allocated)
-       {
-         /* Here we must have list->offset > 0, hence list->allocated > 0.  */
-         size_t i1 = list->allocated - 1;
-         i2 -= list->allocated;
-         for (i = list->offset; i < i1; i++)
-           elements[i] = elements[i + 1];
-         elements[i1] = elements[0];
-         for (i = 0; i < i2; i++)
-           elements[i] = elements[i + 1];
-       }
+        {
+          /* Here we must have list->offset > 0, hence list->allocated > 0.  */
+          size_t i1 = list->allocated - 1;
+          i2 -= list->allocated;
+          for (i = list->offset; i < i1; i++)
+            elements[i] = elements[i + 1];
+          elements[i1] = elements[0];
+          for (i = 0; i < i2; i++)
+            elements[i] = elements[i + 1];
+        }
       else
-       {
-         for (i = list->offset; i < i2; i++)
-           elements[i] = elements[i + 1];
-       }
+        {
+          for (i = list->offset; i < i2; i++)
+            elements[i] = elements[i + 1];
+        }
       elements[i2] = elt;
     }
   else
@@ -376,28 +412,28 @@ gl_carray_add_at (gl_list_t list, size_t position, const void *elt)
       i1 = list->offset + position;
       i3 = list->offset + count;
       if (i1 >= list->allocated)
-       {
-         i1 -= list->allocated;
-         i3 -= list->allocated;
-         for (i = i3; i > i1; i--)
-           elements[i] = elements[i - 1];
-       }
+        {
+          i1 -= list->allocated;
+          i3 -= list->allocated;
+          for (i = i3; i > i1; i--)
+            elements[i] = elements[i - 1];
+        }
       else if (i3 >= list->allocated)
-       {
-         /* Here we must have list->offset > 0, hence list->allocated > 0.  */
-         size_t i2 = list->allocated - 1;
-         i3 -= list->allocated;
-         for (i = i3; i > 0; i--)
-           elements[i] = elements[i - 1];
-         elements[0] = elements[i2];
-         for (i = i2; i > i1; i--)
-           elements[i] = elements[i - 1];
-       }
+        {
+          /* Here we must have list->offset > 0, hence list->allocated > 0.  */
+          size_t i2 = list->allocated - 1;
+          i3 -= list->allocated;
+          for (i = i3; i > 0; i--)
+            elements[i] = elements[i - 1];
+          elements[0] = elements[i2];
+          for (i = i2; i > i1; i--)
+            elements[i] = elements[i - 1];
+        }
       else
-       {
-         for (i = i3; i > i1; i--)
-           elements[i] = elements[i - 1];
-       }
+        {
+          for (i = i3; i > i1; i--)
+            elements[i] = elements[i - 1];
+        }
       elements[i1] = elt;
     }
   list->count = count + 1;
@@ -405,7 +441,7 @@ gl_carray_add_at (gl_list_t list, size_t position, const void *elt)
 }
 
 static gl_list_node_t
-gl_carray_add_before (gl_list_t list, gl_list_node_t node, const void *elt)
+gl_carray_nx_add_before (gl_list_t list, gl_list_node_t node, const void *elt)
 {
   size_t count = list->count;
   uintptr_t index = NODE_TO_INDEX (node);
@@ -413,11 +449,11 @@ gl_carray_add_before (gl_list_t list, gl_list_node_t node, const void *elt)
   if (!(index < count))
     /* Invalid argument.  */
     abort ();
-  return gl_carray_add_at (list, index, elt);
+  return gl_carray_nx_add_at (list, index, elt);
 }
 
 static gl_list_node_t
-gl_carray_add_after (gl_list_t list, gl_list_node_t node, const void *elt)
+gl_carray_nx_add_after (gl_list_t list, gl_list_node_t node, const void *elt)
 {
   size_t count = list->count;
   uintptr_t index = NODE_TO_INDEX (node);
@@ -425,7 +461,7 @@ gl_carray_add_after (gl_list_t list, gl_list_node_t node, const void *elt)
   if (!(index < count))
     /* Invalid argument.  */
     abort ();
-  return gl_carray_add_at (list, index + 1, elt);
+  return gl_carray_nx_add_at (list, index + 1, elt);
 }
 
 static bool
@@ -447,21 +483,25 @@ gl_carray_remove_at (gl_list_t list, size_t position)
       i0 = list->offset;
       i2 = list->offset + position;
       if (i2 >= list->allocated)
-       {
-         /* Here we must have list->offset > 0, hence list->allocated > 0.  */
-         size_t i1 = list->allocated - 1;
-         i2 -= list->allocated;
-         for (i = i2; i > 0; i--)
-           elements[i] = elements[i - 1];
-         elements[0] = elements[i1];
-         for (i = i1; i > i0; i--)
-           elements[i] = elements[i - 1];
-       }
+        {
+          /* Here we must have list->offset > 0, hence list->allocated > 0.  */
+          size_t i1 = list->allocated - 1;
+          i2 -= list->allocated;
+          if (list->base.dispose_fn != NULL)
+            list->base.dispose_fn (elements[i2]);
+          for (i = i2; i > 0; i--)
+            elements[i] = elements[i - 1];
+          elements[0] = elements[i1];
+          for (i = i1; i > i0; i--)
+            elements[i] = elements[i - 1];
+        }
       else
-       {
-         for (i = i2; i > i0; i--)
-           elements[i] = elements[i - 1];
-       }
+        {
+          if (list->base.dispose_fn != NULL)
+            list->base.dispose_fn (elements[i2]);
+          for (i = i2; i > i0; i--)
+            elements[i] = elements[i - 1];
+        }
 
       i0++;
       list->offset = (i0 == list->allocated ? 0 : i0);
@@ -474,28 +514,34 @@ gl_carray_remove_at (gl_list_t list, size_t position)
       i1 = list->offset + position;
       i3 = list->offset + count - 1;
       if (i1 >= list->allocated)
-       {
-         i1 -= list->allocated;
-         i3 -= list->allocated;
-         for (i = i1; i < i3; i++)
-           elements[i] = elements[i + 1];
-       }
+        {
+          i1 -= list->allocated;
+          i3 -= list->allocated;
+          if (list->base.dispose_fn != NULL)
+            list->base.dispose_fn (elements[i1]);
+          for (i = i1; i < i3; i++)
+            elements[i] = elements[i + 1];
+        }
       else if (i3 >= list->allocated)
-       {
-         /* Here we must have list->offset > 0, hence list->allocated > 0.  */
-         size_t i2 = list->allocated - 1;
-         i3 -= list->allocated;
-         for (i = i1; i < i2; i++)
-           elements[i] = elements[i + 1];
-         elements[i2] = elements[0];
-         for (i = 0; i < i3; i++)
-           elements[i] = elements[i + 1];
-       }
+        {
+          /* Here we must have list->offset > 0, hence list->allocated > 0.  */
+          size_t i2 = list->allocated - 1;
+          i3 -= list->allocated;
+          if (list->base.dispose_fn != NULL)
+            list->base.dispose_fn (elements[i1]);
+          for (i = i1; i < i2; i++)
+            elements[i] = elements[i + 1];
+          elements[i2] = elements[0];
+          for (i = 0; i < i3; i++)
+            elements[i] = elements[i + 1];
+        }
       else
-       {
-         for (i = i1; i < i3; i++)
-           elements[i] = elements[i + 1];
-       }
+        {
+          if (list->base.dispose_fn != NULL)
+            list->base.dispose_fn (elements[i1]);
+          for (i = i1; i < i3; i++)
+            elements[i] = elements[i + 1];
+        }
     }
   list->count = count - 1;
   return true;
@@ -527,7 +573,42 @@ static void
 gl_carray_list_free (gl_list_t list)
 {
   if (list->elements != NULL)
-    free (list->elements);
+    {
+      if (list->base.dispose_fn != NULL)
+        {
+          size_t count = list->count;
+
+          if (count > 0)
+            {
+              gl_listelement_dispose_fn dispose = list->base.dispose_fn;
+              const void **elements = list->elements;
+              size_t i1 = list->offset;
+              size_t i3 = list->offset + count - 1;
+
+              if (i3 >= list->allocated)
+                {
+                  /* Here we must have list->offset > 0, hence
+                     list->allocated > 0.  */
+                  size_t i2 = list->allocated - 1;
+                  size_t i;
+
+                  i3 -= list->allocated;
+                  for (i = i1; i <= i2; i++)
+                    dispose (elements[i]);
+                  for (i = 0; i <= i3; i++)
+                    dispose (elements[i]);
+                }
+              else
+                {
+                  size_t i;
+
+                  for (i = i1; i <= i3; i++)
+                    dispose (elements[i]);
+                }
+            }
+        }
+      free (list->elements);
+    }
   free (list);
 }
 
@@ -574,14 +655,14 @@ gl_carray_iterator_from_to (gl_list_t list, size_t start_index, size_t end_index
 
 static bool
 gl_carray_iterator_next (gl_list_iterator_t *iterator,
-                        const void **eltp, gl_list_node_t *nodep)
+                         const void **eltp, gl_list_node_t *nodep)
 {
   gl_list_t list = iterator->list;
   if (iterator->count != list->count)
     {
       if (iterator->count != list->count + 1)
-       /* Concurrent modifications were done on the list.  */
-       abort ();
+        /* Concurrent modifications were done on the list.  */
+        abort ();
       /* The last returned element was removed.  */
       iterator->count--;
       iterator->i--;
@@ -591,10 +672,10 @@ gl_carray_iterator_next (gl_list_iterator_t *iterator,
     {
       size_t i = list->offset + iterator->i;
       if (i >= list->allocated)
-       i -= list->allocated;
+        i -= list->allocated;
       *eltp = list->elements[i];
       if (nodep != NULL)
-       *nodep = INDEX_TO_NODE (iterator->i);
+        *nodep = INDEX_TO_NODE (iterator->i);
       iterator->i++;
       return true;
     }
@@ -610,89 +691,109 @@ gl_carray_iterator_free (gl_list_iterator_t *iterator)
 /* ---------------------- Sorted gl_list_t Data Type ---------------------- */
 
 static size_t
-gl_carray_sortedlist_indexof (gl_list_t list, gl_listelement_compar_fn compar,
-                             const void *elt)
+gl_carray_sortedlist_indexof_from_to (gl_list_t list,
+                                      gl_listelement_compar_fn compar,
+                                      size_t low, size_t high,
+                                      const void *elt)
 {
-  size_t count = list->count;
-
-  if (count > 0)
+  if (!(low <= high && high <= list->count))
+    /* Invalid arguments.  */
+    abort ();
+  if (low < high)
     {
-      size_t low = 0;
-      size_t high = count;
-
       /* At each loop iteration, low < high; for indices < low the values
-        are smaller than ELT; for indices >= high the values are greater
-        than ELT.  So, if the element occurs in the list, it is at
-        low <= position < high.  */
+         are smaller than ELT; for indices >= high the values are greater
+         than ELT.  So, if the element occurs in the list, it is at
+         low <= position < high.  */
       do
-       {
-         size_t mid = low + (high - low) / 2; /* low <= mid < high */
-         size_t i_mid;
-         int cmp;
-
-         i_mid = list->offset + mid;
-         if (i_mid >= list->allocated)
-           i_mid -= list->allocated;
-
-         cmp = compar (list->elements[i_mid], elt);
-
-         if (cmp < 0)
-           low = mid + 1;
-         else if (cmp > 0)
-           high = mid;
-         else /* cmp == 0 */
-           {
-             /* We have an element equal to ELT at index MID.  But we need
-                the minimal such index.  */
-             high = mid;
-             /* At each loop iteration, low <= high and
-                  compar (list->elements[i_high], elt) == 0,
-                and we know that the first occurrence of the element is at
-                low <= position <= high.  */
-             while (low < high)
-               {
-                 size_t mid2 = low + (high - low) / 2; /* low <= mid2 < high */
-                 size_t i_mid2;
-                 int cmp2;
-
-                 i_mid2 = list->offset + mid2;
-                 if (i_mid2 >= list->allocated)
-                   i_mid2 -= list->allocated;
-
-                 cmp2 = compar (list->elements[i_mid2], elt);
-
-                 if (cmp2 < 0)
-                   low = mid2 + 1;
-                 else if (cmp2 > 0)
-                   /* The list was not sorted.  */
-                   abort ();
-                 else /* cmp2 == 0 */
-                   {
-                     if (mid2 == low)
-                       break;
-                     high = mid2 - 1;
-                   }
-               }
-             return low;
-           }
-       }
+        {
+          size_t mid = low + (high - low) / 2; /* low <= mid < high */
+          size_t i_mid;
+          int cmp;
+
+          i_mid = list->offset + mid;
+          if (i_mid >= list->allocated)
+            i_mid -= list->allocated;
+
+          cmp = compar (list->elements[i_mid], elt);
+
+          if (cmp < 0)
+            low = mid + 1;
+          else if (cmp > 0)
+            high = mid;
+          else /* cmp == 0 */
+            {
+              /* We have an element equal to ELT at index MID.  But we need
+                 the minimal such index.  */
+              high = mid;
+              /* At each loop iteration, low <= high and
+                   compar (list->elements[i_high], elt) == 0,
+                 and we know that the first occurrence of the element is at
+                 low <= position <= high.  */
+              while (low < high)
+                {
+                  size_t mid2 = low + (high - low) / 2; /* low <= mid2 < high */
+                  size_t i_mid2;
+                  int cmp2;
+
+                  i_mid2 = list->offset + mid2;
+                  if (i_mid2 >= list->allocated)
+                    i_mid2 -= list->allocated;
+
+                  cmp2 = compar (list->elements[i_mid2], elt);
+
+                  if (cmp2 < 0)
+                    low = mid2 + 1;
+                  else if (cmp2 > 0)
+                    /* The list was not sorted.  */
+                    abort ();
+                  else /* cmp2 == 0 */
+                    {
+                      if (mid2 == low)
+                        break;
+                      high = mid2 - 1;
+                    }
+                }
+              return low;
+            }
+        }
       while (low < high);
       /* Here low == high.  */
     }
   return (size_t)(-1);
 }
 
+static size_t
+gl_carray_sortedlist_indexof (gl_list_t list, gl_listelement_compar_fn compar,
+                              const void *elt)
+{
+  return gl_carray_sortedlist_indexof_from_to (list, compar, 0, list->count,
+                                               elt);
+}
+
+static gl_list_node_t
+gl_carray_sortedlist_search_from_to (gl_list_t list,
+                                     gl_listelement_compar_fn compar,
+                                     size_t low, size_t high,
+                                     const void *elt)
+{
+  size_t index =
+    gl_carray_sortedlist_indexof_from_to (list, compar, low, high, elt);
+  return INDEX_TO_NODE (index);
+}
+
 static gl_list_node_t
 gl_carray_sortedlist_search (gl_list_t list, gl_listelement_compar_fn compar,
-                            const void *elt)
+                             const void *elt)
 {
-  size_t index = gl_carray_sortedlist_indexof (list, compar, elt);
+  size_t index =
+    gl_carray_sortedlist_indexof_from_to (list, compar, 0, list->count, elt);
   return INDEX_TO_NODE (index);
 }
 
 static gl_list_node_t
-gl_carray_sortedlist_add (gl_list_t list, gl_listelement_compar_fn compar,
-                         const void *elt)
+gl_carray_sortedlist_nx_add (gl_list_t list, gl_listelement_compar_fn compar,
+                             const void *elt)
 {
   size_t count = list->count;
   size_t low = 0;
@@ -708,26 +809,26 @@ gl_carray_sortedlist_add (gl_list_t list, gl_listelement_compar_fn compar,
 
       i_mid = list->offset + mid;
       if (i_mid >= list->allocated)
-       i_mid -= list->allocated;
+        i_mid -= list->allocated;
 
       cmp = compar (list->elements[i_mid], elt);
 
       if (cmp < 0)
-       low = mid + 1;
+        low = mid + 1;
       else if (cmp > 0)
-       high = mid;
+        high = mid;
       else /* cmp == 0 */
-       {
-         low = mid;
-         break;
-       }
+        {
+          low = mid;
+          break;
+        }
     }
-  return gl_carray_add_at (list, low, elt);
+  return gl_carray_nx_add_at (list, low, elt);
 }
 
 static bool
 gl_carray_sortedlist_remove (gl_list_t list, gl_listelement_compar_fn compar,
-                            const void *elt)
+                             const void *elt)
 {
   size_t index = gl_carray_sortedlist_indexof (list, compar, elt);
   if (index == (size_t)(-1))
@@ -739,21 +840,22 @@ gl_carray_sortedlist_remove (gl_list_t list, gl_listelement_compar_fn compar,
 
 const struct gl_list_implementation gl_carray_list_implementation =
   {
-    gl_carray_create_empty,
-    gl_carray_create,
+    gl_carray_nx_create_empty,
+    gl_carray_nx_create,
     gl_carray_size,
     gl_carray_node_value,
+    gl_carray_node_nx_set_value,
     gl_carray_next_node,
     gl_carray_previous_node,
     gl_carray_get_at,
-    gl_carray_set_at,
+    gl_carray_nx_set_at,
     gl_carray_search_from_to,
     gl_carray_indexof_from_to,
-    gl_carray_add_first,
-    gl_carray_add_last,
-    gl_carray_add_before,
-    gl_carray_add_after,
-    gl_carray_add_at,
+    gl_carray_nx_add_first,
+    gl_carray_nx_add_last,
+    gl_carray_nx_add_before,
+    gl_carray_nx_add_after,
+    gl_carray_nx_add_at,
     gl_carray_remove_node,
     gl_carray_remove_at,
     gl_carray_remove,
@@ -763,7 +865,9 @@ const struct gl_list_implementation gl_carray_list_implementation =
     gl_carray_iterator_next,
     gl_carray_iterator_free,
     gl_carray_sortedlist_search,
+    gl_carray_sortedlist_search_from_to,
     gl_carray_sortedlist_indexof,
-    gl_carray_sortedlist_add,
+    gl_carray_sortedlist_indexof_from_to,
+    gl_carray_sortedlist_nx_add,
     gl_carray_sortedlist_remove
   };