49 lines
1.2 KiB
Diff
49 lines
1.2 KiB
Diff
|
commit 2b584aec9e5f2806b1eccadcabe7e901fcfa0b0a
|
||
|
Author: Andreas Gruenbacher <agruen@gnu.org>
|
||
|
Date: Thu Jun 27 11:02:02 2019 +0200
|
||
|
|
||
|
Improve support for memory leak detection
|
||
|
|
||
|
When building with the address sanitizer on, free some more resources before
|
||
|
exiting. (This is unnecessary when not looking for memory leaks.)
|
||
|
* src/patch.c (init_files_to_delete): Add dispose function for freeing
|
||
|
filenames.
|
||
|
|
||
|
diff --git a/src/patch.c b/src/patch.c
|
||
|
index 81c7a02..4616a48 100644
|
||
|
--- a/src/patch.c
|
||
|
+++ b/src/patch.c
|
||
|
@@ -36,6 +36,10 @@
|
||
|
#include <minmax.h>
|
||
|
#include <safe.h>
|
||
|
|
||
|
+#ifdef __SANITIZE_ADDRESS__
|
||
|
+# define FREE_BEFORE_EXIT
|
||
|
+#endif
|
||
|
+
|
||
|
/* procedures */
|
||
|
|
||
|
static FILE *create_output_file (char const *, int);
|
||
|
@@ -1777,10 +1781,20 @@ struct file_to_delete {
|
||
|
|
||
|
static gl_list_t files_to_delete;
|
||
|
|
||
|
+#ifdef FREE_BEFORE_EXIT
|
||
|
+void dispose_file_to_delete (const void *elt)
|
||
|
+{
|
||
|
+ free ((void *) elt);
|
||
|
+}
|
||
|
+#else
|
||
|
+#define dispose_file_to_delete NULL
|
||
|
+#endif
|
||
|
+
|
||
|
static void
|
||
|
init_files_to_delete (void)
|
||
|
{
|
||
|
- files_to_delete = gl_list_create_empty (GL_LINKED_LIST, NULL, NULL, NULL, true);
|
||
|
+ files_to_delete = gl_list_create_empty (GL_LINKED_LIST, NULL, NULL,
|
||
|
+ dispose_file_to_delete, true);
|
||
|
}
|
||
|
|
||
|
static void
|