mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-03-25 23:41:28 +08:00
Code Issues Packages Projects Releases Wiki Activity

analyzer: improvements to diagnostic-manager.cc logging

Browse Source 
gcc/analyzer/ChangeLog:
	* diagnostic-manager.cc (dedupe_winners::add): Show the
	exploded_node index in the log messages.
	(diagnostic_manager::emit_saved_diagnostics): Log a summary of
	m_saved_diagnostics at entry.
This commit is contained in:
David Malcolm 2020-03-20 15:16:00 -04:00
parent 4d661bb7a2
commit 8f02357571
2 changed files with 26 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
gcc/analyzer/ChangeLog
View File

@ -1,3 +1,10 @@
2020-03-27 David Malcolm <dmalcolm@redhat.com>
* diagnostic-manager.cc (dedupe_winners::add): Show the
exploded_node index in the log messages.
(diagnostic_manager::emit_saved_diagnostics): Log a summary of
m_saved_diagnostics at entry.
2020-03-27 David Malcolm <dmalcolm@redhat.com>
* supergraph.cc (superedge::dump): Add space before description;

25
gcc/analyzer/diagnostic-manager.cc
View File

@ -358,21 +358,25 @@ public:
This could introduce false negatives, as there could be longer
feasible paths within the egraph. */
if (logger)
logger->log ("considering %qs at SN: %i",
sd.m_d->get_kind (), sd.m_snode->m_index);
logger->log ("considering %qs at EN: %i, SN: %i",
sd.m_d->get_kind (), sd.m_enode->m_index,
sd.m_snode->m_index);
if (!dc->get_path ().feasible_p (logger))
{
if (logger)
logger->log ("rejecting %qs at SN: %i"
logger->log ("rejecting %qs at EN: %i, SN: %i"
" due to infeasible path",
sd.m_d->get_kind (), sd.m_snode->m_index);
sd.m_d->get_kind (), sd.m_enode->m_index,
sd.m_snode->m_index);
delete dc;
return;
}
else
if (logger)
logger->log ("accepting %qs at SN: %i with feasible path",
sd.m_d->get_kind (), sd.m_snode->m_index);
logger->log ("accepting %qs at EN: %i, SN: %i with feasible path",
sd.m_d->get_kind (), sd.m_enode->m_index,
sd.m_snode->m_index);
dedupe_key *key = new dedupe_key (sd, dc->get_path ());
if (dedupe_candidate **slot = m_map.get (key))
@ -466,6 +470,15 @@ diagnostic_manager::emit_saved_diagnostics (const exploded_graph &eg)
LOG_SCOPE (get_logger ());
auto_timevar tv (TV_ANALYZER_DIAGNOSTICS);
log ("# saved diagnostics: %i", m_saved_diagnostics.length ());
if (get_logger ())
{
unsigned i;
saved_diagnostic *sd;
FOR_EACH_VEC_ELT (m_saved_diagnostics, i, sd)
log ("[%i] sd: %qs at EN: %i, SN: %i",
i, sd->m_d->get_kind (), sd->m_enode->m_index,
sd->m_snode->m_index);
}
if (m_saved_diagnostics.length () == 0)
return;