fix memory error
authorMatthias Braun <matthias.braun@kit.edu>
Mon, 23 Jul 2012 13:11:19 +0000 (15:11 +0200)
committerMatthias Braun <matthias.braun@kit.edu>
Mon, 23 Jul 2012 13:15:32 +0000 (15:15 +0200)
main.c

diff --git a/main.c b/main.c
index ffde1f2..675247e 100644 (file)
--- a/main.c
+++ b/main.c
@@ -559,6 +559,9 @@ static FILE *make_temp_file(const char *prefix, const char **name_result)
 
 static void free_temp_files(void)
 {
+       if (temp_files == NULL)
+               return;
+
        size_t n_temp_files = ARR_LEN(temp_files);
        size_t i;
        for (i = 0; i < n_temp_files; ++i) {
@@ -2168,6 +2171,7 @@ int main(int argc, char **argv)
        if (do_timing)
                timer_term(stderr);
 
+       free_temp_files();
        obstack_free(&cppflags_obst, NULL);
        obstack_free(&ldflags_obst, NULL);
        obstack_free(&asflags_obst, NULL);