aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMartin Liska <mliska@suse.cz>2021-03-12 09:43:54 +0100
committerMartin Liska <mliska@suse.cz>2021-03-12 09:43:54 +0100
commit0df3eb2622d80aed22b2c3814d51e1f455d5e5a1 (patch)
treee7e2b28a82a65652a1883a03c2acb9a2631b09bc
parenta7ac3e92ecf251d5528eea4b46b5f42fd0168e43 (diff)
downloadgcc-0df3eb2622d80aed22b2c3814d51e1f455d5e5a1.zip
gcc-0df3eb2622d80aed22b2c3814d51e1f455d5e5a1.tar.gz
gcc-0df3eb2622d80aed22b2c3814d51e1f455d5e5a1.tar.bz2
analyzer: document new param
gcc/ChangeLog: * doc/invoke.texi: Add missing param documentation.
-rw-r--r--gcc/doc/invoke.texi4
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/doc/invoke.texi b/gcc/doc/invoke.texi
index 4a3c1e2..7a36895 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.