From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sat, 9 Oct 2021 17:20:28 +0000 (-0700)
Subject: dataset: Fix memory leak destroying a dataset that has a permanent_dict.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp;a=commitdiff_plain;h=82a757994ab8880706b7e0caeac2ca3bbd711ed2

dataset: Fix memory leak destroying a dataset that has a permanent_dict.

Found by Address Sanitizer.
---

diff --git a/src/data/dataset.c b/src/data/dataset.c
index 10005e0aca..4313cac875 100644
--- a/src/data/dataset.c
+++ b/src/data/dataset.c
@@ -198,6 +198,7 @@ dataset_destroy (struct dataset *ds)
       dataset_set_session (ds, NULL);
       dataset_clear (ds);
       dict_unref (ds->dict);
+      dict_unref (ds->permanent_dict);
       caseinit_destroy (ds->caseinit);
       trns_chain_destroy (ds->permanent_trns_chain);
       dataset_transformations_changed__ (ds, false);