tree-optimization/113475 - fix memory leak in phi_analyzer

phi_analyzer leaks all phi_group objects it allocates.  The following
fixes this by maintaining a vector of allocated objects and release
them when destroying the phi_analyzer object.

	PR tree-optimization/113475
	* gimple-range-phi.h (phi_analyzer::m_phi_groups): New.
	* gimple-range-phi.cc (phi_analyzer::phi_analyzer): Initialize.
	(phi_analyzer::~phi_analyzer): Deallocate and free collected
	phi_grous.
	(phi_analyzer::process_phi): Record allocated phi_groups.
This commit is contained in:
Richard Biener 2024-01-18 13:23:27 +01:00
parent 5b421c2a5b
commit 895a213826
2 changed files with 6 additions and 1 deletions

View file

@ -254,7 +254,7 @@ phi_group::dump (FILE *f)
// Construct a phi analyzer which uses range_query G to pick up values.
phi_analyzer::phi_analyzer (range_query &g) : m_global (g)
phi_analyzer::phi_analyzer (range_query &g) : m_global (g), m_phi_groups (vNULL)
{
m_work.create (0);
m_work.safe_grow (20);
@ -273,6 +273,9 @@ phi_analyzer::~phi_analyzer ()
bitmap_obstack_release (&m_bitmaps);
m_tab.release ();
m_work.release ();
for (auto grp : m_phi_groups)
delete grp;
m_phi_groups.release ();
}
// Return the group, if any, that NAME is part of. Do no analysis.
@ -458,6 +461,7 @@ phi_analyzer::process_phi (gphi *phi)
if (!cyc.range ().varying_p ())
{
g = new phi_group (cyc);
m_phi_groups.safe_push (g);
if (dump_file && (dump_flags & TDF_DETAILS))
{
fprintf (dump_file, "PHI ANALYZER : New ");

View file

@ -87,6 +87,7 @@ protected:
bitmap m_simple; // Processed, not part of a group.
bitmap m_current; // Potential group currently being analyzed.
vec<phi_group *> m_phi_groups;
vec<phi_group *> m_tab;
bitmap_obstack m_bitmaps;
};