projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4d661bb) | patch
analyzer: improvements to diagnostic-manager.cc logging
authorDavid Malcolm <dmalcolm@redhat.com>
Fri, 20 Mar 2020 19:16:00 +0000 (15:16 -0400)
committerDavid Malcolm <dmalcolm@redhat.com>
Fri, 27 Mar 2020 13:59:25 +0000 (09:59 -0400)
commit8f02357571a858f7ff5ca7734e5344d989a7fd0c
tree3ec9c5d7f74a877b328c520bc97bf9d568f207d1tree
parent4d661bb7a2e1fdfd856140f1b86266ca524df9e2commit | diff
analyzer: improvements to diagnostic-manager.cc logging

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.
gcc/analyzer/ChangeLog diff | blob | history
gcc/analyzer/diagnostic-manager.cc diff | blob | history