diff options
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/analyzer/diagnostic-manager.cc | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/gcc/analyzer/diagnostic-manager.cc b/gcc/analyzer/diagnostic-manager.cc index 4a5a951..2363ae5 100644 --- a/gcc/analyzer/diagnostic-manager.cc +++ b/gcc/analyzer/diagnostic-manager.cc @@ -1561,8 +1561,6 @@ diagnostic_manager::emit_saved_diagnostic (const exploded_graph &eg, sd.get_index (), sd.m_d->get_kind (), sd.m_snode->m_index); log ("num dupes: %i", sd.get_num_dupes ()); - pretty_printer *pp = global_dc->m_printer->clone (); - const exploded_path *epath = sd.get_best_epath (); gcc_assert (epath); @@ -1645,7 +1643,6 @@ diagnostic_manager::emit_saved_diagnostic (const exploded_graph &eg, free (filename); } } - delete pp; } /* Emit a "path" of events to EMISSION_PATH describing the exploded path |