diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2020-02-28 08:55:55 -0500 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2020-03-02 16:42:57 -0500 |
| commit | 6e4444078aec716aa8214c13d7d20292aa232b5b (patch) | |
| tree | f5cd52963a821f8dd11db948117ffb8355c11c8e | |
| parent | 9f00b22f98ec0688fcd9816a03aa3f7eea58bcf7 (diff) | |
| download | gcc-6e4444078aec716aa8214c13d7d20292aa232b5b.zip gcc-6e4444078aec716aa8214c13d7d20292aa232b5b.tar.gz gcc-6e4444078aec716aa8214c13d7d20292aa232b5b.tar.bz2 | |
invoke.texi: add missing option to -fanalyzer list
gcc/ChangeLog:
* doc/invoke.texi (Static Analyzer Options): Add
-Wanalyzer-stale-setjmp-buffer to the list of options enabled
by -fanalyzer.
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/doc/invoke.texi | 1 |
2 files changed, 7 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index d27b74a..2944f8f 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2020-03-02 David Malcolm <dmalcolm@redhat.com> + + * doc/invoke.texi (Static Analyzer Options): Add + -Wanalyzer-stale-setjmp-buffer to the list of options enabled + by -fanalyzer. + 2020-03-02 Uroš Bizjak <ubizjak@gmail.com> PR target/93997 diff --git a/gcc/doc/invoke.texi b/gcc/doc/invoke.texi index 4f88fe6..dc7440d 100644 --- a/gcc/doc/invoke.texi +++ b/gcc/doc/invoke.texi @@ -8247,6 +8247,7 @@ Enabling this option effectively enables the following warnings: -Wanalyzer-possible-null-dereference @gol -Wanalyzer-null-argument @gol -Wanalyzer-null-dereference @gol +-Wanalyzer-stale-setjmp-buffer @gol -Wanalyzer-tainted-array-index @gol -Wanalyzer-unsafe-call-within-signal-handler @gol -Wanalyzer-use-after-free @gol |