X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Flibpspp%2Frange-set-test.c;h=9f444ad7e62eade3d692153f3fd62f8440a08c42;hb=a091aa55567a4f2a9ecc08f126a959497be43f22;hp=b0eb7abbf81f5249fb2b29131a4a1351e9c2b726;hpb=186db0c54bcb0caf4a6df1fcc60b8158bc11ab92;p=pspp-builds.git

diff --git a/tests/libpspp/range-set-test.c b/tests/libpspp/range-set-test.c
index b0eb7abb..9f444ad7 100644
--- a/tests/libpspp/range-set-test.c
+++ b/tests/libpspp/range-set-test.c
@@ -364,6 +364,13 @@ test_pool (void)
   range_set_insert (rs, 1, 10);
   pool_destroy (pool);
 }
+
+/* Tests range_set_destroy(NULL). */
+static void
+test_destroy_null (void)
+{
+  range_set_destroy (NULL);
+}
 
 /* Main program. */
 
@@ -385,6 +392,7 @@ main (void)
   run_test (test_allocate, "allocate");
   run_test (test_allocate_fully, "allocate_fully");
   run_test (test_pool, "pool");
+  run_test (test_destroy_null, "destroy null");
   putchar ('\n');
 
   return 0;