From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2209) id 486523858D38; Wed, 1 Feb 2023 02:22:16 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 486523858D38 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1675218136; bh=/JRP1atxcAWBfkGtMm1FAfDnm6pAeng9XUZV5kBdyiU=; h=From:To:Subject:Date:From; b=m11oWEme1UnCutszrPMZ3Eo4C27hbR2QqUAXHOfhMC/Zf6GwVEQKho8TOZbQ+thFq qVe1S/qmL6d8BERPXd1hDKaRZabsj65EqsT7g08jVcWCO3l2B0dc4ZasMWa08XGas8 J26b6N1xWvkbgsj4HaJLR7Bb1/aBCYLnB3zehgn8= MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: David Malcolm To: gcc-cvs@gcc.gnu.org Subject: [gcc r13-5613] doc: add notes about limitations of -fanalyzer X-Act-Checkin: gcc X-Git-Author: David Malcolm X-Git-Refname: refs/heads/master X-Git-Oldrev: 317525b03ebd1db7e04a900d7a735d7a079b3821 X-Git-Newrev: a90316c6ceddfbb47b3c2161baf446ccb87df5ff Message-Id: <20230201022216.486523858D38@sourceware.org> Date: Wed, 1 Feb 2023 02:22:16 +0000 (GMT) List-Id: https://gcc.gnu.org/g:a90316c6ceddfbb47b3c2161baf446ccb87df5ff commit r13-5613-ga90316c6ceddfbb47b3c2161baf446ccb87df5ff Author: David Malcolm Date: Tue Jan 31 21:18:00 2023 -0500 doc: add notes about limitations of -fanalyzer gcc/ChangeLog: * doc/invoke.texi (Static Analyzer Options): Add notes about limitations of -fanalyzer. Signed-off-by: David Malcolm Diff: --- gcc/doc/invoke.texi | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/gcc/doc/invoke.texi b/gcc/doc/invoke.texi index d12f318adfd..b45b629069b 100644 --- a/gcc/doc/invoke.texi +++ b/gcc/doc/invoke.texi @@ -10064,6 +10064,13 @@ code, and issues warnings for problems found on them. This analysis is much more expensive than other GCC warnings. +In technical terms, it performs coverage-guided symbolic execution of +the code being compiled. It is neither sound nor complete: it can +have false positives and false negatives. It is a bug-finding tool, +rather than a tool for proving program correctness. + +The analyzer is only suitable for use on C code in this release. + Enabling this option effectively enables the following warnings: @gccoptlist{ @gol