From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1851) id D71A3398B409; Fri, 12 Mar 2021 08:45:40 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org D71A3398B409 MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: Martin Liska To: gcc-cvs@gcc.gnu.org Subject: [gcc r11-7644] analyzer: document new param X-Act-Checkin: gcc X-Git-Author: Martin Liska X-Git-Refname: refs/heads/master X-Git-Oldrev: a7ac3e92ecf251d5528eea4b46b5f42fd0168e43 X-Git-Newrev: 0df3eb2622d80aed22b2c3814d51e1f455d5e5a1 Message-Id: <20210312084540.D71A3398B409@sourceware.org> Date: Fri, 12 Mar 2021 08:45:40 +0000 (GMT) X-BeenThere: gcc-cvs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-cvs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 12 Mar 2021 08:45:40 -0000 https://gcc.gnu.org/g:0df3eb2622d80aed22b2c3814d51e1f455d5e5a1 commit r11-7644-g0df3eb2622d80aed22b2c3814d51e1f455d5e5a1 Author: Martin Liska Date: Fri Mar 12 09:43:54 2021 +0100 analyzer: document new param gcc/ChangeLog: * doc/invoke.texi: Add missing param documentation. Diff: --- gcc/doc/invoke.texi | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/gcc/doc/invoke.texi b/gcc/doc/invoke.texi index 4a3c1e2fa0f..7a368959e5e 100644 --- a/gcc/doc/invoke.texi +++ b/gcc/doc/invoke.texi @@ -14362,6 +14362,10 @@ recurse deeper. The maximum depth of a symbolic value, before approximating the value as unknown. +@item analyzer-max-infeasible-edges +The maximum number of infeasible edges to reject before declaring +a diagnostic as infeasible. + @item gimple-fe-computed-hot-bb-threshold The number of executions of a basic block which is considered hot. The parameter is used only in GIMPLE FE.