public inbox for gcc-cvs@sourceware.org
help / color / mirror / Atom feed
* [gcc(refs/users/marxin/heads/revert-sphinx-v2)] Partially revert 5c6546ca7d8cab1f1c129f5b55f709e2ceee0f94
@ 2022-11-14 3:04 Martin Liska
0 siblings, 0 replies; only message in thread
From: Martin Liska @ 2022-11-14 3:04 UTC (permalink / raw)
To: gcc-cvs
https://gcc.gnu.org/g:0bd9d584fcd91797e52365199a4af100f6f247da
commit 0bd9d584fcd91797e52365199a4af100f6f247da
Author: Martin Liska <mliska@suse.cz>
Date: Sun Nov 13 21:55:18 2022 +0100
Partially revert 5c6546ca7d8cab1f1c129f5b55f709e2ceee0f94
gcc/ChangeLog:
* doc/gcc/gcc-command-options/options-that-control-static-analysis.rst:
Revert.
Diff:
---
.../options-that-control-static-analysis.rst | 29 ----------------------
1 file changed, 29 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 09bf049036f..c0e06ea5b2d 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
@@ -19,7 +19,6 @@ Options That Control Static Analysis
Enabling this option effectively enables the following warnings:
:option:`-Wanalyzer-allocation-size` |gol|
- :option:`-Wanalyzer-deref-before-check` |gol|
:option:`-Wanalyzer-double-fclose` |gol|
:option:`-Wanalyzer-double-free` |gol|
:option:`-Wanalyzer-exposure-through-output-file` |gol|
@@ -89,33 +88,6 @@ Options That Control Static Analysis
Default setting; overrides :option:`-Wno-analyzer-allocation-size`.
-.. option:: -Wno-analyzer-deref-before-check
-
- This warning requires :option:`-fanalyzer`, which enables it; use
- :option:`-Wno-analyzer-deref-before-check`
- to disable it.
-
- This diagnostic warns for paths through the code in which a pointer
- is checked for ``NULL`` *after* it has already been
- dereferenced, suggesting that the pointer could have been NULL.
- Such cases suggest that the check for NULL is either redundant,
- or that it needs to be moved to before the pointer is dereferenced.
-
- This diagnostic also considers values passed to a function argument
- marked with ``__attribute__((nonnull))`` as requiring a non-NULL
- value, and thus will complain if such values are checked for ``NULL``
- after returning from such a function call.
-
- This diagnostic is unlikely to be reported when any level of optimization
- is enabled, as GCC's optimization logic will typically consider such
- checks for NULL as being redundant, and optimize them away before the
- analyzer "sees" them. Hence optimization should be disabled when
- attempting to trigger this diagnostic.
-
-.. option:: -Wanalyzer-deref-before-check
-
- Default setting; overrides :option:`-Wno-analyzer-deref-before-check`.
-
.. option:: -Wno-analyzer-double-fclose
This warning requires :option:`-fanalyzer`, which enables it; use
@@ -853,7 +825,6 @@ The following options control the analyzer.
Currently, :option:`-fanalyzer-checker=taint` disables the
following warnings from :option:`-fanalyzer` :
- :option:`-Wanalyzer-deref-before-check` |gol|
:option:`-Wanalyzer-double-fclose` |gol|
:option:`-Wanalyzer-double-free` |gol|
:option:`-Wanalyzer-exposure-through-output-file` |gol|
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2022-11-14 3:04 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-11-14 3:04 [gcc(refs/users/marxin/heads/revert-sphinx-v2)] Partially revert 5c6546ca7d8cab1f1c129f5b55f709e2ceee0f94 Martin Liska
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).