[48/49] gdbinit.in: add break-on-saved-diagnostic

Message ID 1573867416-55618-49-git-send-email-dmalcolm@redhat.com
State Superseded
Headers show
  • RFC: Add a static analysis framework to GCC
Related show

Commit Message

David Malcolm Nov. 16, 2019, 1:23 a.m.
This patch adds a "break-on-saved-diagnostic" command to gdbinit.in,
useful for debugging when a diagnostic is queued by the analyzer.

	* gdbinit.in (break-on-saved-diagnostic): New command.
 gcc/gdbinit.in | 10 ++++++++++
 1 file changed, 10 insertions(+)



diff --git a/gcc/gdbinit.in b/gcc/gdbinit.in
index 42302ae..c7e4a33 100644
--- a/gcc/gdbinit.in
+++ b/gcc/gdbinit.in
@@ -219,6 +219,16 @@  is emitted (as opposed to those warnings that are suppressed by
 command-line options).
+define break-on-saved-diagnostic
+break diagnostic_manager::add_diagnostic
+document break-on-saved-diagnostic
+Put a breakpoint on diagnostic_manager::add_diagnostic, called within
+the analyzer whenever a diagnostic is saved for later de-duplication and
+possible emission.
 define reload-gdbhooks
 python import imp; imp.reload(gdbhooks)