public inbox for gcc-cvs@sourceware.org help / color / mirror / Atom feed
From: Martin Liska <marxin@gcc.gnu.org> To: gcc-cvs@gcc.gnu.org Subject: [gcc(refs/users/marxin/heads/revert-sphinx-v2)] Partially revert 5c6546ca7d8cab1f1c129f5b55f709e2ceee0f94 Date: Mon, 14 Nov 2022 03:04:45 +0000 (GMT) [thread overview] Message-ID: <20221114030445.CE4EF382F105@sourceware.org> (raw) 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|
reply other threads:[~2022-11-14 3:04 UTC|newest] Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions: You may reply publicly to this message via plain-text email using any one of the following methods: * Save the following mbox file, import it into your mail client, and reply-to-all from there: mbox Avoid top-posting and favor interleaved quoting: https://en.wikipedia.org/wiki/Posting_style#Interleaved_style * Reply using the --to, --cc, and --in-reply-to switches of git-send-email(1): git send-email \ --in-reply-to=20221114030445.CE4EF382F105@sourceware.org \ --to=marxin@gcc.gnu.org \ --cc=gcc-cvs@gcc.gnu.org \ /path/to/YOUR_REPLY https://kernel.org/pub/software/scm/git/docs/git-send-email.html * If your mail client supports setting the In-Reply-To header via mailto: links, try the mailto: linkBe sure your reply has a Subject: header at the top and a blank line before the message body.
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).