X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fsys-file-reader.c;h=4a7476ae04840dfadf31103bde26e0f3bf1edd7a;hb=f8c98fa3dd23b6aca3efec62ca4bad36206b934f;hp=2b6fa98ad775ef83117194a3bdb49e6f8cfd1052;hpb=4e0b5360aebcaff9e9659ed7243ca5ace2ea219a;p=pspp

diff --git a/src/data/sys-file-reader.c b/src/data/sys-file-reader.c
index 2b6fa98ad7..4a7476ae04 100644
--- a/src/data/sys-file-reader.c
+++ b/src/data/sys-file-reader.c
@@ -547,7 +547,10 @@ sfm_open_reader (struct file_handle *fh, const char *volatile encoding,
 
   *dictp = dict;
   if (infop != info)
-    sfm_read_info_destroy (info);
+    {
+      sfm_read_info_destroy (info);
+      free (info);
+    }
 
   return casereader_create_sequential
     (NULL, r->proto,
@@ -555,7 +558,12 @@ sfm_open_reader (struct file_handle *fh, const char *volatile encoding,
                                        &sys_file_casereader_class, r);
 
 error:
-  sfm_read_info_destroy (info);
+  if (infop != info)
+    {
+      sfm_read_info_destroy (info);
+      free (info);
+    }
+
   close_reader (r);
   dict_destroy (dict);
   *dictp = NULL;