# HG changeset patch
# User Akim Demaille <akim.demaille@gmail.com>
# Date 1548611376 -3600
# Node ID 069b50a66104e273d168334873ff242341fb61bf
# Parent  383f7a766b7c4638c7b931f859939d0c3564552a
bitsetv: allow free on NULL.

* lib/bitsetv.c (bitsetv_free): Do nothing when the bitsetv is NULL.

diff -r 383f7a766b7c -r 069b50a66104 ChangeLog
--- a/ChangeLog	Sun Jan 27 16:55:27 2019 +0100
+++ b/ChangeLog	Sun Jan 27 18:49:36 2019 +0100
@@ -1,3 +1,8 @@
+2019-01-27  Akim Demaille  <akim@lrde.epita.fr>
+
+	bitsetv: allow free on NULL.
+	* lib/bitsetv.c (bitsetv_free): Do nothing when the bitsetv is NULL.
+
 2019-01-27  Bruno Haible  <bruno@clisp.org>
 
 	test-framework-sh: Improve maintainability.
diff -r 383f7a766b7c -r 069b50a66104 lib/bitsetv.c
--- a/lib/bitsetv.c	Sun Jan 27 16:55:27 2019 +0100
+++ b/lib/bitsetv.c	Sun Jan 27 18:49:36 2019 +0100
@@ -71,9 +71,12 @@
 void
 bitsetv_free (bitsetv bsetv)
 {
-  for (bitset_bindex i = 0; bsetv[i]; i++)
-    BITSET_FREE_ (bsetv[i]);
-  free (bsetv);
+  if (bsetv)
+    {
+      for (bitset_bindex i = 0; bsetv[i]; i++)
+        BITSET_FREE_ (bsetv[i]);
+      free (bsetv);
+    }
 }
 
 
diff -r 383f7a766b7c -r 069b50a66104 lib/bitsetv.h
--- a/lib/bitsetv.h	Sun Jan 27 16:55:27 2019 +0100
+++ b/lib/bitsetv.h	Sun Jan 27 18:49:36 2019 +0100
@@ -33,7 +33,7 @@
    attribute hints specified by ATTR.  */
 bitsetv bitsetv_create (bitset_bindex, bitset_bindex, unsigned);
 
-/* Free vector of bitsets.  */
+/* Free vector of bitsets.  Do nothing if NULL.  */
 void bitsetv_free (bitsetv);
 
 /* Zero vector of bitsets.  */