[gcc r11-7644] analyzer: document new param

Martin Liska marxin@gcc.gnu.org
Fri Mar 12 08:45:40 GMT 2021


https://gcc.gnu.org/g:0df3eb2622d80aed22b2c3814d51e1f455d5e5a1

commit r11-7644-g0df3eb2622d80aed22b2c3814d51e1f455d5e5a1
Author: Martin Liska <mliska@suse.cz>
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.


More information about the Gcc-cvs mailing list