]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
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)
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

index 06eb98fe4d3065aa07f4f596c70731b40b5e20b1..643c3306133a9fc6ada0943e73a1b81ecedc3cf5 100644 (file)
@@ -432,16 +432,6 @@ For example, SSA names are printed to the user in ``raw'' form, rather
 than printing the underlying variable name.
 @end itemize
 
-Some ideas for other checkers
-@itemize @bullet
-@item
-File-descriptor-based APIs
-@item
-Linux kernel internal APIs
-@item
-Signal handling
-@end itemize
-
 @node Debugging the Analyzer
 @section Debugging the Analyzer
 @cindex analyzer, debugging