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 --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 32a626c..09bf049 100644 (file)
--- 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 b57f478..a4a2888 100644 (file)
--- 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`.