[gcc(refs/users/marxin/heads/marxin-gcc-benchmark-branch)] invoke.texi: add missing option to -fanalyzer list

[Martin Liska]

https://gcc.gnu.org/g:6e4444078aec716aa8214c13d7d20292aa232b5b

commit 6e4444078aec716aa8214c13d7d20292aa232b5b
Author: David Malcolm <dmalcolm@redhat.com>
Date:   Fri Feb 28 08:55:55 2020 -0500

    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.

Diff:
---
 gcc/ChangeLog       | 6 ++++++
 gcc/doc/invoke.texi | 1 +
 2 files changed, 7 insertions(+)

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index d27b74a1a0a..2944f8f4c50 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 4f88fe68999..dc7440db103 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