[gcc r13-3960] Partially revert 12c583a2a3da798e82737c2d0e11fd686636cfeb

[Martin Liska <marxin@gcc.gnu.org>]

https://gcc.gnu.org/g:d33b561eb6842a269125a5f14ca0192e783b96cf

commit r13-3960-gd33b561eb6842a269125a5f14ca0192e783b96cf
Author: Martin Liska <mliska@suse.cz>
Date:   Sun Nov 13 21:52:28 2022 +0100

    Partially revert 12c583a2a3da798e82737c2d0e11fd686636cfeb
    
    gcc/ChangeLog:
    
            * doc/gcc/gcc-command-options/options-that-control-static-analysis.rst: Revert.
            * doc/gcc/gcc-command-options/options-to-request-or-suppress-warnings.rst: Revert.

Diff:
---
 .../options-that-control-static-analysis.rst       | 28 ----------------------
 .../options-to-request-or-suppress-warnings.rst    |  4 ----
 2 files changed, 32 deletions(-)

diff --git a/gcc/doc/gcc/gcc-command-options/options-that-control-static-analysis.rst b/gcc/doc/gcc/gcc-command-options/options-that-control-static-analysis.rst
index 32a626c16a9..09bf049036f 100644
--- a/gcc/doc/gcc/gcc-command-options/options-that-control-static-analysis.rst
+++ b/gcc/doc/gcc/gcc-command-options/options-that-control-static-analysis.rst
@@ -32,7 +32,6 @@ Options That Control Static Analysis
   :option:`-Wanalyzer-file-leak` |gol|
   :option:`-Wanalyzer-free-of-non-heap` |gol|
   :option:`-Wanalyzer-imprecise-fp-arithmetic` |gol|
-  :option:`-Wanalyzer-infinite-recursion` |gol|
   :option:`-Wanalyzer-jump-through-null` |gol|
   :option:`-Wanalyzer-malloc-leak` |gol|
   :option:`-Wanalyzer-mismatching-deallocation` |gol|
@@ -309,33 +308,6 @@ Options That Control Static Analysis
 
   Default setting; overrides :option:`-Wno-analyzer-imprecise-fp-arithmetic`.
 
-.. option:: -Wno-analyzer-infinite-recursion
-
-  This warning requires :option:`-fanalyzer`, which enables it; use
-  :option:`-Wno-analyzer-infinite-recursion` to disable it.
-
-  This diagnostics warns for paths through the code which appear to
-  lead to infinite recursion.
-
-  Specifically, when the analyzer "sees" a recursive call, it will compare
-  the state of memory at the entry to the new frame with that at the entry
-  to the previous frame of that function on the stack.  The warning is
-  issued if nothing in memory appears to be changing; any changes observed
-  to parameters or globals are assumed to lead to termination of the
-  recursion and thus suppress the warning.
-
-  This diagnostic is likely to miss cases of infinite recursion that
-  are convered to iteration by the optimizer before the analyzer "sees"
-  them.  Hence optimization should be disabled when attempting to trigger
-  this diagnostic.
-
-  Compare with :option:`-Winfinite-recursion`, which provides a similar
-  diagnostic, but is implemented in a different way.
-
-.. option:: -Wanalyzer-infinite-recursion
-
-  Default setting; overrides :option:`-Wno-analyzer-infinite-recursion`.
-
 .. option:: -Wno-analyzer-jump-through-null
 
   This warning requires :option:`-fanalyzer`, which enables it; use
diff --git a/gcc/doc/gcc/gcc-command-options/options-to-request-or-suppress-warnings.rst b/gcc/doc/gcc/gcc-command-options/options-to-request-or-suppress-warnings.rst
index b57f4784780..a4a288859c6 100644
--- a/gcc/doc/gcc/gcc-command-options/options-to-request-or-suppress-warnings.rst
+++ b/gcc/doc/gcc/gcc-command-options/options-to-request-or-suppress-warnings.rst
@@ -804,10 +804,6 @@ warnings, in some cases it may also cause false positives.
   recursion in calls between two or more functions.
   :option:`-Winfinite-recursion` is included in :option:`-Wall`.
 
-  Compare with :option:`-Wanalyzer-infinite-recursion` which provides a
-  similar diagnostic, but is implemented in a different way (as part of
-  :option:`-fanalyzer`).
-
 .. option:: -Wno-infinite-recursion
 
   Default setting; overrides :option:`-Winfinite-recursion`.