PR jit/63854: Fix memory leaks within context/pass_manager/dump_manager
authorDavid Malcolm <dmalcolm@redhat.com>
Wed, 19 Nov 2014 19:23:06 +0000 (19:23 +0000)
committerDavid Malcolm <dmalcolm@gcc.gnu.org>
Wed, 19 Nov 2014 19:23:06 +0000 (19:23 +0000)
gcc/ChangeLog:
PR jit/63854
* config/alpha/alpha.c (alpha_option_override): Remove static from
"handle_trap_shadows_info" and "align_insns_info".
* config/i386/i386.c (ix86_option_override): Likewise for
"insert_vzeroupper_info".
* config/rl78/rl78.c (rl78_asm_file_start): Likewise for
"rl78_devirt_info" and "rl78_move_elim_info".
* config/rs6000/rs6000.c (rs6000_option_override): Likewise for
"analyze_swaps_info".
* context.c (gcc::context::~context): New.
* context.h (gcc::context::~context): New.
* dumpfile.c (dump_files): Add "false" initializers for new field
"owns_strings".
(gcc::dump_manager::~dump_manager): New.
(gcc::dump_manager::dump_register): Add param "take_ownership".
* dumpfile.h (struct dump_file_info): Add field "owns_strings".
(gcc::dump_manager::~dump_manager): New.
(gcc::dump_manager::dump_register): Add param "take_ownership".
* pass_manager.h (gcc::pass_manager::operator delete): New.
(gcc::pass_manager::~pass_manager): New.
* passes.c (pass_manager::register_one_dump_file): Pass "true" to
new "owns_strings" argument to dump_register.
(pass_manager::operator delete): New.
(delete_pass_tree): New function.
(pass_manager::~pass_manager): New.
* statistics.c (statistics_early_init): Pass "false" to
new "owns_strings" argument to dump_register.
* toplev.c (toplev::finalize): Clean up the context and thus the
things it owns.

From-SVN: r217793

13 files changed:
gcc/ChangeLog
gcc/config/alpha/alpha.c
gcc/config/i386/i386.c
gcc/config/rl78/rl78.c
gcc/config/rs6000/rs6000.c
gcc/context.c
gcc/context.h
gcc/dumpfile.c
gcc/dumpfile.h
gcc/pass_manager.h
gcc/passes.c
gcc/statistics.c
gcc/toplev.c

index e280fc2b97de35cd26a46926c9e92feaeed45190..8328c07446ab2e83e7f58ea110a0762ead9e113e 100644 (file)
@@ -1,3 +1,35 @@
+2014-11-19  David Malcolm  <dmalcolm@redhat.com>
+
+       PR jit/63854
+       * config/alpha/alpha.c (alpha_option_override): Remove static from
+       "handle_trap_shadows_info" and "align_insns_info".
+       * config/i386/i386.c (ix86_option_override): Likewise for
+       "insert_vzeroupper_info".
+       * config/rl78/rl78.c (rl78_asm_file_start): Likewise for
+       "rl78_devirt_info" and "rl78_move_elim_info".
+       * config/rs6000/rs6000.c (rs6000_option_override): Likewise for
+       "analyze_swaps_info".
+       * context.c (gcc::context::~context): New.
+       * context.h (gcc::context::~context): New.
+       * dumpfile.c (dump_files): Add "false" initializers for new field
+       "owns_strings".
+       (gcc::dump_manager::~dump_manager): New.
+       (gcc::dump_manager::dump_register): Add param "take_ownership".
+       * dumpfile.h (struct dump_file_info): Add field "owns_strings".
+       (gcc::dump_manager::~dump_manager): New.
+       (gcc::dump_manager::dump_register): Add param "take_ownership".
+       * pass_manager.h (gcc::pass_manager::operator delete): New.
+       (gcc::pass_manager::~pass_manager): New.
+       * passes.c (pass_manager::register_one_dump_file): Pass "true" to
+       new "owns_strings" argument to dump_register.
+       (pass_manager::operator delete): New.
+       (delete_pass_tree): New function.
+       (pass_manager::~pass_manager): New.
+       * statistics.c (statistics_early_init): Pass "false" to
+       new "owns_strings" argument to dump_register.
+       * toplev.c (toplev::finalize): Clean up the context and thus the
+       things it owns.
+
 2014-11-19  David Malcolm  <dmalcolm@redhat.com>
 
        PR jit/63854
index 05db3dc99792c72b22222153925b3d0e317de106..1c892882f858e427d3a764c3aa93d89972c60f77 100644 (file)
@@ -399,13 +399,13 @@ alpha_option_override (void)
   };
 
   opt_pass *pass_handle_trap_shadows = make_pass_handle_trap_shadows (g);
-  static struct register_pass_info handle_trap_shadows_info
+  struct register_pass_info handle_trap_shadows_info
     = { pass_handle_trap_shadows, "eh_ranges",
        1, PASS_POS_INSERT_AFTER
       };
 
   opt_pass *pass_align_insns = make_pass_align_insns (g);
-  static struct register_pass_info align_insns_info
+  struct register_pass_info align_insns_info
     = { pass_align_insns, "shorten",
        1, PASS_POS_INSERT_BEFORE
       };
index 3b41de2e4f6480d262ca57e6d9fd5b283657e3ee..7f4e2cc0697ce305f56fe5717135f8a076db14d6 100644 (file)
@@ -4323,7 +4323,7 @@ static void
 ix86_option_override (void)
 {
   opt_pass *pass_insert_vzeroupper = make_pass_insert_vzeroupper (g);
-  static struct register_pass_info insert_vzeroupper_info
+  struct register_pass_info insert_vzeroupper_info
     = { pass_insert_vzeroupper, "reload",
        1, PASS_POS_INSERT_AFTER
       };
index 7b85cf83d9d077083f5ec3144bec581e1f66e438..86d2992c38e5c88c13ee573db77d82b106b73f23 100644 (file)
@@ -284,7 +284,7 @@ rl78_asm_file_start (void)
     }
 
   opt_pass *rl78_devirt_pass = make_pass_rl78_devirt (g);
-  static struct register_pass_info rl78_devirt_info =
+  struct register_pass_info rl78_devirt_info =
     {
       rl78_devirt_pass,
       "pro_and_epilogue",
@@ -293,7 +293,7 @@ rl78_asm_file_start (void)
     };
 
   opt_pass *rl78_move_elim_pass = make_pass_rl78_move_elim (g);
-  static struct register_pass_info rl78_move_elim_info =
+  struct register_pass_info rl78_move_elim_info =
     {
       rl78_move_elim_pass,
       "bbro",
index 4f66840fd4a67477365218bd5c1f79796dfc7aa0..506daa1d31e7a03701f76a27faaaa857739c06ea 100644 (file)
@@ -4202,7 +4202,7 @@ rs6000_option_override (void)
      It's convenient to do it here (like i386 does).  */
   opt_pass *pass_analyze_swaps = make_pass_analyze_swaps (g);
 
-  static struct register_pass_info analyze_swaps_info
+  struct register_pass_info analyze_swaps_info
     = { pass_analyze_swaps, "cse1", 1, PASS_POS_INSERT_BEFORE };
 
   register_pass (&analyze_swaps_info);
index 9279be40dd74a25e4eeb144d83aacda3b13b4519..d132946eebf3b66112b5c818f6f16af0b0e8cb51 100644 (file)
@@ -38,3 +38,9 @@ gcc::context::context ()
   m_dumps = new gcc::dump_manager ();
   m_passes = new gcc::pass_manager (this);
 }
+
+gcc::context::~context ()
+{
+  delete m_passes;
+  delete m_dumps;
+}
index 689ae5ad1874b4e9d13e7b7b5f5451cbac979993..2bf28a75dadc74195546029ebaae94b5bfdc4da6 100644 (file)
@@ -32,6 +32,7 @@ class context
 {
 public:
   context ();
+  ~context ();
 
   /* The flag shows if there are symbols to be streamed for offloading.  */
   bool have_offload;
index fca7b5145ba8d1fc33e001498f78def24bf686ec..c2cd89b59aaf6fdaddad5db7fba036add1af0e02 100644 (file)
@@ -49,29 +49,29 @@ int dump_flags;
    TREE_DUMP_INDEX enumeration in dumpfile.h.  */
 static struct dump_file_info dump_files[TDI_end] =
 {
-  {NULL, NULL, NULL, NULL, NULL, NULL, NULL, 0, 0, 0, 0, 0, 0},
+  {NULL, NULL, NULL, NULL, NULL, NULL, NULL, 0, 0, 0, 0, 0, 0, false},
   {".cgraph", "ipa-cgraph", NULL, NULL, NULL, NULL, NULL, TDF_IPA,
-   0, 0, 0, 0, 0},
+   0, 0, 0, 0, 0, false},
   {".type-inheritance", "ipa-type-inheritance", NULL, NULL, NULL, NULL, NULL, TDF_IPA,
-   0, 0, 0, 0, 0},
+   0, 0, 0, 0, 0, false},
   {".tu", "translation-unit", NULL, NULL, NULL, NULL, NULL, TDF_TREE,
-   0, 0, 0, 0, 1},
+   0, 0, 0, 0, 1, false},
   {".class", "class-hierarchy", NULL, NULL, NULL, NULL, NULL, TDF_TREE,
-   0, 0, 0, 0, 2},
+   0, 0, 0, 0, 2, false},
   {".original", "tree-original", NULL, NULL, NULL, NULL, NULL, TDF_TREE,
-   0, 0, 0, 0, 3},
+   0, 0, 0, 0, 3, false},
   {".gimple", "tree-gimple", NULL, NULL, NULL, NULL, NULL, TDF_TREE,
-   0, 0, 0, 0, 4},
+   0, 0, 0, 0, 4, false},
   {".nested", "tree-nested", NULL, NULL, NULL, NULL, NULL, TDF_TREE,
-   0, 0, 0, 0, 5},
+   0, 0, 0, 0, 5, false},
 #define FIRST_AUTO_NUMBERED_DUMP 6
 
   {NULL, "tree-all", NULL, NULL, NULL, NULL, NULL, TDF_TREE,
-   0, 0, 0, 0, 0},
+   0, 0, 0, 0, 0, false},
   {NULL, "rtl-all", NULL, NULL, NULL, NULL, NULL, TDF_RTL,
-   0, 0, 0, 0, 0},
+   0, 0, 0, 0, 0, false},
   {NULL, "ipa-all", NULL, NULL, NULL, NULL, NULL, TDF_IPA,
-   0, 0, 0, 0, 0},
+   0, 0, 0, 0, 0, false},
 };
 
 /* Define a name->number mapping for a dump flag value.  */
@@ -148,10 +148,32 @@ gcc::dump_manager::dump_manager ():
 {
 }
 
+gcc::dump_manager::~dump_manager ()
+{
+  for (size_t i = 0; i < m_extra_dump_files_in_use; i++)
+    {
+      dump_file_info *dfi = &m_extra_dump_files[i];
+      /* suffix, swtch, glob are statically allocated for the entries
+        in dump_files, and for statistics, but are dynamically allocated
+        for those for passes.  */
+      if (dfi->owns_strings)
+       {
+         XDELETEVEC (const_cast <char *> (dfi->suffix));
+         XDELETEVEC (const_cast <char *> (dfi->swtch));
+         XDELETEVEC (const_cast <char *> (dfi->glob));
+       }
+      /* These, if non-NULL, are always dynamically allocated.  */
+      XDELETEVEC (const_cast <char *> (dfi->pfilename));
+      XDELETEVEC (const_cast <char *> (dfi->alt_filename));
+    }
+  XDELETEVEC (m_extra_dump_files);
+}
+
 unsigned int
 gcc::dump_manager::
 dump_register (const char *suffix, const char *swtch, const char *glob,
-              int flags, int optgroup_flags)
+              int flags, int optgroup_flags,
+              bool take_ownership)
 {
   int num = m_next_dump++;
 
@@ -175,6 +197,7 @@ dump_register (const char *suffix, const char *swtch, const char *glob,
   m_extra_dump_files[count].pflags = flags;
   m_extra_dump_files[count].optgroup_flags = optgroup_flags;
   m_extra_dump_files[count].num = num;
+  m_extra_dump_files[count].owns_strings = take_ownership;
 
   return count + TDI_end;
 }
index 75949b7e7b9d3c29384d0faa8216494f442f6e39..d650174c431184cfd70b2ce58fc0af74fced03f6 100644 (file)
@@ -118,6 +118,9 @@ struct dump_file_info
   int pstate;                   /* state of pass-specific stream */
   int alt_state;                /* state of the -fopt-info stream */
   int num;                      /* dump file number */
+  bool owns_strings;            /* fields "suffix", "swtch", "glob" can be
+                                  const strings, or can be dynamically
+                                  allocated, needing free.  */
 };
 
 /* In dumpfile.c */
@@ -164,10 +167,16 @@ class dump_manager
 public:
 
   dump_manager ();
+  ~dump_manager ();
 
+  /* Register a dumpfile.
+
+     TAKE_OWNERSHIP determines whether callee takes ownership of strings
+     SUFFIX, SWTCH, and GLOB. */
   unsigned int
   dump_register (const char *suffix, const char *swtch, const char *glob,
-                int flags, int optgroup_flags);
+                int flags, int optgroup_flags,
+                bool take_ownership);
 
   /* Return the dump_file_info for the given phase.  */
   struct dump_file_info *
index 9f4d67bc84c429c6e204ae70e17ea006c77624c6..82857a9b4e35a8be902667fb5703503e2f29a01b 100644 (file)
@@ -47,8 +47,10 @@ class pass_manager
 {
 public:
   void *operator new (size_t sz);
+  void operator delete (void *ptr);
 
   pass_manager (context *ctxt);
+  ~pass_manager ();
 
   void register_pass (struct register_pass_info *pass_info);
   void register_one_dump_file (opt_pass *pass);
index f6f3b9dd19ff866eaa4f6109b8992f1bc6f69a8d..a3be0bbdcf90020b0e4bc74944db05f095b6c745 100644 (file)
@@ -776,7 +776,8 @@ pass_manager::register_one_dump_file (opt_pass *pass)
   if (optgroup_flags == OPTGROUP_NONE)
     optgroup_flags = OPTGROUP_OTHER;
   id = dumps->dump_register (dot_name, flag_name, glob_name, flags,
-                            optgroup_flags);
+                            optgroup_flags,
+                            true);
   set_pass_for_id (id, pass);
   full_name = concat (prefix, pass->name, num, NULL);
   register_pass_name (pass, full_name);
@@ -1527,6 +1528,12 @@ pass_manager::operator new (size_t sz)
   return xcalloc (1, sz);
 }
 
+void
+pass_manager::operator delete (void *ptr)
+{
+  free (ptr);
+}
+
 pass_manager::pass_manager (context *ctxt)
 : all_passes (NULL), all_small_ipa_passes (NULL), all_lowering_passes (NULL),
   all_regular_ipa_passes (NULL),
@@ -1584,6 +1591,36 @@ pass_manager::pass_manager (context *ctxt)
   register_dump_files (all_passes);
 }
 
+static void
+delete_pass_tree (opt_pass *pass)
+{
+  while (pass)
+    {
+      /* Recurse into child passes.  */
+      delete_pass_tree (pass->sub);
+
+      opt_pass *next = pass->next;
+
+      /* Delete this pass.  */
+      delete pass;
+
+      /* Iterate onto sibling passes.  */
+      pass = next;
+    }
+}
+
+pass_manager::~pass_manager ()
+{
+  XDELETEVEC (passes_by_id);
+
+  /* Call delete_pass_tree on each of the pass_lists.  */
+#define DEF_PASS_LIST(LIST) \
+    delete_pass_tree (*pass_lists[PASS_LIST_NO_##LIST]);
+  GCC_PASS_LISTS
+#undef DEF_PASS_LIST
+
+}
+
 /* If we are in IPA mode (i.e., current_function_decl is NULL), call
    function CALLBACK for every function in the call graph.  Otherwise,
    call CALLBACK on the current function.  */
index b3e63de8c5d760f93bf900aa81605249cfaa5287..0ceb2e9649a684bd48bd2ebc3c170c7a59e3ae6c 100644 (file)
@@ -270,7 +270,8 @@ statistics_early_init (void)
   gcc::dump_manager *dumps = g->get_dumps ();
   statistics_dump_nr = dumps->dump_register (".statistics", "statistics",
                                             "statistics", TDF_TREE,
-                                            OPTGROUP_NONE);
+                                            OPTGROUP_NONE,
+                                            false);
 }
 
 /* Init the statistics.  */
index 6021807834cea2e18111daada3a29756d03a420e..b1f224d406218066c0abf00990bc667d77971068 100644 (file)
@@ -2173,4 +2173,8 @@ toplev::finalize (void)
 
   finalize_options_struct (&global_options);
   finalize_options_struct (&global_options_set);
+
+  /* Clean up the context (and pass_manager etc). */
+  delete g;
+  g = NULL;
 }