This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
[PATCH 04/11] [analyzer] Add params to plugin.opt
- From: David Malcolm <dmalcolm at redhat dot com>
- To: gcc-patches at gcc dot gnu dot org
- Cc: David Malcolm <dmalcolm at redhat dot com>
- Date: Wed, 20 Nov 2019 16:13:43 -0500
- Subject: [PATCH 04/11] [analyzer] Add params to plugin.opt
- References: <1574284430-8776-1-git-send-email-dmalcolm@redhat.com>
Various commits on 2019-11-12 including r278083 through r278087
reimplemented parameter-handling in terms of options, so that
params are defined in params.opt rather than params.def.
This patch adds the params for the analyzer to plugin.opt,
replacing the patch:
[PATCH 22/49] analyzer: params.def: new parameters
https://gcc.gnu.org/ml/gcc-patches/2019-11/msg01520.html
from the original version of the patch kit.
gcc/ChangeLog:
* analyzer/plugin.opt (-param=analyzer-bb-explosion-factor=): New
param.
(-param=analyzer-max-enodes-per-program-point=): New param.
(-param=analyzer-max-recursion-depth=): New param.
(-param=analyzer-min-snodes-for-call-summary=): New param.
---
gcc/analyzer/plugin.opt | 16 ++++++++++++++++
1 file changed, 16 insertions(+)
diff --git a/gcc/analyzer/plugin.opt b/gcc/analyzer/plugin.opt
index 55f54bb..8408f1c 100644
--- a/gcc/analyzer/plugin.opt
+++ b/gcc/analyzer/plugin.opt
@@ -22,6 +22,22 @@
; Please try to keep this file in ASCII collating order.
+-param=analyzer-bb-explosion-factor=
+Common Joined UInteger Var(param_analyzer_bb_explosion_factor) Init(5) Param
+The maximum number of 'after supernode' exploded nodes within the analyzer per supernode, before terminating analysis.
+
+-param=analyzer-max-enodes-per-program-point=
+Common Joined UInteger Var(param_analyzer_max_enodes_per_program_point) Init(8) Param
+The maximum number of exploded nodes per program point within the analyzer, before terminating analysis of that point.
+
+-param=analyzer-max-recursion-depth=
+Common Joined UInteger Var(param_analyzer_max_recursion_depth) Init(2) Param
+The maximum number of times a callsite can appear in a call stack within the analyzer, before terminating analysis of a call tha would recurse deeper.
+
+-param=analyzer-min-snodes-for-call-summary=
+Common Joined UInteger Var(param_analyzer_min_snodes_for_call_summary) Init(10) Param
+The minimum number of supernodes within a function for the analyzer to consider summarizing its effects at call sites.
+
Wanalyzer-double-fclose
Common Var(warn_analyzer_double_fclose) Init(1) Warning
Warn about code paths in which a stdio FILE can be closed more than once.
--
1.8.5.3