Hi. This is follow-up of changes that Richi started on Friday.
Patch can bootstrap on x86_64-linux-pc and regression tests are running. Ready for trunk? Thanks, Martin
>From ece1ad32be127c1e00dd18c8d0358bf842fad2bd Mon Sep 17 00:00:00 2001 From: marxin <mli...@suse.cz> Date: Mon, 9 Nov 2015 10:49:14 +0100 Subject: [PATCH] Fix memory leaks and use a pool_allocator gcc/ChangeLog: 2015-11-09 Martin Liska <mli...@suse.cz> * gcc.c (record_temp_file): Release name string. * ifcvt.c (noce_convert_multiple_sets): Release temporaries vector. * lra-lives.c (free_live_range_list): Utilize lra_live_range_pool for allocation and deallocation. (create_live_range): Likewise. (copy_live_range): Likewise. (lra_merge_live_ranges): Likewise. (remove_some_program_points_and_update_live_ranges): Likewise. (lra_create_live_ranges_1): Release point_freq_vec that can be not freed from previous iteration of the function. * tree-eh.c (lower_try_finally_switch): Release a vector. * tree-sra.c (sra_deinitialize): Release all vectors in base_access_vec. * tree-ssa-dom.c (free_edge_info): Make the function extern. * tree-ssa-threadupdate.c (remove_ctrl_stmt_and_useless_edges): Release edge_info for a removed edge. (thread_through_all_blocks): Free region vector. * tree-ssa.h (free_edge_info): Declare function extern. --- gcc/gcc.c | 5 ++++- gcc/ifcvt.c | 3 +++ gcc/lra-lives.c | 11 ++++++----- gcc/tree-eh.c | 2 ++ gcc/tree-sra.c | 4 ++++ gcc/tree-ssa-dom.c | 2 +- gcc/tree-ssa-threadupdate.c | 6 +++++- gcc/tree-ssa.h | 1 + 8 files changed, 26 insertions(+), 8 deletions(-) diff --git a/gcc/gcc.c b/gcc/gcc.c index bbc9b23..8bbf5be 100644 --- a/gcc/gcc.c +++ b/gcc/gcc.c @@ -2345,7 +2345,10 @@ record_temp_file (const char *filename, int always_delete, int fail_delete) struct temp_file *temp; for (temp = always_delete_queue; temp; temp = temp->next) if (! filename_cmp (name, temp->name)) - goto already1; + { + free (name); + goto already1; + } temp = XNEW (struct temp_file); temp->next = always_delete_queue; diff --git a/gcc/ifcvt.c b/gcc/ifcvt.c index fff62de..eb6b7df 100644 --- a/gcc/ifcvt.c +++ b/gcc/ifcvt.c @@ -3161,6 +3161,8 @@ noce_convert_multiple_sets (struct noce_if_info *if_info) set_used_flags (targets[i]); } + temporaries.release (); + set_used_flags (cond); set_used_flags (x); set_used_flags (y); @@ -3194,6 +3196,7 @@ noce_convert_multiple_sets (struct noce_if_info *if_info) } num_updated_if_blocks++; + targets.release (); return TRUE; } diff --git a/gcc/lra-lives.c b/gcc/lra-lives.c index 1655c47..87003be 100644 --- a/gcc/lra-lives.c +++ b/gcc/lra-lives.c @@ -103,7 +103,7 @@ free_live_range_list (lra_live_range_t lr) while (lr != NULL) { next = lr->next; - delete lr; + lra_live_range_pool.remove (lr); lr = next; } } @@ -112,7 +112,7 @@ free_live_range_list (lra_live_range_t lr) static lra_live_range_t create_live_range (int regno, int start, int finish, lra_live_range_t next) { - lra_live_range_t p = new lra_live_range; + lra_live_range_t p = lra_live_range_pool.allocate (); p->regno = regno; p->start = start; p->finish = finish; @@ -124,7 +124,7 @@ create_live_range (int regno, int start, int finish, lra_live_range_t next) static lra_live_range_t copy_live_range (lra_live_range_t r) { - return new lra_live_range (*r); + return new (lra_live_range_pool) lra_live_range (*r); } /* Copy live range list given by its head R and return the result. */ @@ -167,7 +167,7 @@ lra_merge_live_ranges (lra_live_range_t r1, lra_live_range_t r2) r1->start = r2->start; lra_live_range_t temp = r2; r2 = r2->next; - delete temp; + lra_live_range_pool.remove (temp); } else { @@ -1081,7 +1081,7 @@ remove_some_program_points_and_update_live_ranges (void) } prev_r->start = r->start; prev_r->next = next_r; - delete r; + lra_live_range_pool.remove (r); } } } @@ -1240,6 +1240,7 @@ lra_create_live_ranges_1 (bool all_p, bool dead_insn_p) dead_set = sparseset_alloc (max_regno); unused_set = sparseset_alloc (max_regno); curr_point = 0; + point_freq_vec.release (); point_freq_vec.create (get_max_uid () * 2); lra_point_freq = point_freq_vec.address (); int *post_order_rev_cfg = XNEWVEC (int, last_basic_block_for_fn (cfun)); diff --git a/gcc/tree-eh.c b/gcc/tree-eh.c index 617d657..be140ee 100644 --- a/gcc/tree-eh.c +++ b/gcc/tree-eh.c @@ -1557,6 +1557,8 @@ lower_try_finally_switch (struct leh_state *state, struct leh_tf_state *tf) due to not wanting to process the same goto stmts twice. */ gimple_seq_add_stmt (&tf->top_p_seq, switch_stmt); gimple_seq_add_seq (&tf->top_p_seq, switch_body); + + case_label_vec.release (); } /* Decide whether or not we are going to duplicate the finally block. diff --git a/gcc/tree-sra.c b/gcc/tree-sra.c index a896308..85cc02b 100644 --- a/gcc/tree-sra.c +++ b/gcc/tree-sra.c @@ -674,6 +674,10 @@ sra_deinitialize (void) assign_link_pool.release (); obstack_free (&name_obstack, NULL); + for (hash_map<tree, auto_vec<access_p> >::iterator it = + base_access_vec->begin (); it != base_access_vec->end (); ++it) + (*it).second.release (); + delete base_access_vec; } diff --git a/gcc/tree-ssa-dom.c b/gcc/tree-ssa-dom.c index 3887bbe1..15821fa 100644 --- a/gcc/tree-ssa-dom.c +++ b/gcc/tree-ssa-dom.c @@ -121,7 +121,7 @@ static void dump_dominator_optimization_stats (FILE *file, /* Free the edge_info data attached to E, if it exists. */ -static void +void free_edge_info (edge e) { struct edge_info *edge_info = (struct edge_info *)e->aux; diff --git a/gcc/tree-ssa-threadupdate.c b/gcc/tree-ssa-threadupdate.c index 184cf34..5f2587f 100644 --- a/gcc/tree-ssa-threadupdate.c +++ b/gcc/tree-ssa-threadupdate.c @@ -290,7 +290,10 @@ remove_ctrl_stmt_and_useless_edges (basic_block bb, basic_block dest_bb) for (ei = ei_start (bb->succs); (e = ei_safe_edge (ei)); ) { if (e->dest != dest_bb) - remove_edge (e); + { + free_edge_info (e); + remove_edge (e); + } else ei_next (&ei); } @@ -2522,6 +2525,7 @@ thread_through_all_blocks (bool may_peel_loop_headers) delete_jump_thread_path (path); paths.unordered_remove (i); + free (region); } /* Remove from PATHS all the jump-threads starting with an edge already diff --git a/gcc/tree-ssa.h b/gcc/tree-ssa.h index 3b5bd70..47cb1e7 100644 --- a/gcc/tree-ssa.h +++ b/gcc/tree-ssa.h @@ -53,6 +53,7 @@ extern tree tree_ssa_strip_useless_type_conversions (tree); extern bool ssa_undefined_value_p (tree, bool = true); extern bool gimple_uses_undefined_value_p (gimple *); extern void execute_update_addresses_taken (void); +extern void free_edge_info (edge); /* Given an edge_var_map V, return the PHI arg definition. */ -- 2.6.2