diff options
| author | Martin Liska <mliska@suse.cz> | 2022-11-13 21:55:18 +0100 |
|---|---|---|
| committer | Martin Liska <mliska@suse.cz> | 2022-11-14 09:35:03 +0100 |
| commit | 274462ef9ac65b4ce119d083eda59284714a760c (patch) | |
| tree | 3c7520b2e6179094e49ec19071137f7f642652dc /gcc | |
| parent | c9cd0c4e0ea72522adfc515fe01bd8fb5b993112 (diff) | |
| download | gcc-274462ef9ac65b4ce119d083eda59284714a760c.zip gcc-274462ef9ac65b4ce119d083eda59284714a760c.tar.gz gcc-274462ef9ac65b4ce119d083eda59284714a760c.tar.bz2 | |
Partially revert 5c6546ca7d8cab1f1c129f5b55f709e2ceee0f94
gcc/ChangeLog:
* doc/gcc/gcc-command-options/options-that-control-static-analysis.rst:
Revert.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/doc/gcc/gcc-command-options/options-that-control-static-analysis.rst | 29 |
1 files changed, 0 insertions, 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 09bf049..c0e06ea 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| |