]> gcc.gnu.org Git - gcc.git/commit
git://gcc.gnu.org / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a7cc8ec) | patch
analyzer: update internal docs
authorDavid Malcolm <dmalcolm@redhat.com>
Wed, 29 Mar 2023 18:16:48 +0000 (14:16 -0400)
committerDavid Malcolm <dmalcolm@redhat.com>
Wed, 29 Mar 2023 18:16:48 +0000 (14:16 -0400)
commitd49b47112fed83e9dd04773bab378b22bf015172
treef2ae56fe3b9ce2420a53af334d929aadd25db663tree
parenta7cc8ecefb72f06368b055fa60f5a2ff2eb6dfdbcommit | diff
analyzer: update internal docs

Cherrypicked from r13-4518-g14b0d6c4bd973c.

gcc/ChangeLog:
* doc/analyzer.texi: Drop out-of-date ideas for other checkers.

Signed-off-by: David Malcolm <dmalcolm@redhat.com>
gcc/doc/analyzer.texi diff | blob | blame | history
GNU Compiler Collection
This page took 0.06265 seconds and 5 git commands to generate.