projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0849a18) | patch
docs, analyzer: improvements to "Debugging the Analyzer"
authorDavid Malcolm <dmalcolm@redhat.com>
Fri, 24 Mar 2023 23:52:08 +0000 (19:52 -0400)
committerDavid Malcolm <dmalcolm@redhat.com>
Fri, 24 Mar 2023 23:52:08 +0000 (19:52 -0400)
commitfdb06fe68253d287dcd6c04339be042ef3044f8a
tree1641d3f86ca73df77f235984f607a0df9e69a81atree | snapshot
parent0849a188d539d78101a32deea63db4cb39fb55accommit | diff
docs, analyzer: improvements to "Debugging the Analyzer"

gcc/ChangeLog:
* doc/analyzer.texi (Debugging the Analyzer): Add notes on useful
debugging options.
(Special Functions for Debugging the Analyzer): Convert to a
table, and rewrite in places.
(Other Debugging Techniques): Add notes on how to compare two
different exploded graphs.

Signed-off-by: David Malcolm <dmalcolm@redhat.com>
gcc/doc/analyzer.texi diff | blob | history
Domain: System / Toolchain;