[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