[04/11,analyzer] Add params to plugin.opt

Message ID 1574284430-8776-5-git-send-email-dmalcolm@redhat.com
State New
Headers show
  • Static analysis v2
Related show

Commit Message

David Malcolm Nov. 20, 2019, 9:13 p.m.
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

from the original version of the patch kit.

	* analyzer/plugin.opt (-param=analyzer-bb-explosion-factor=): New
	(-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.
+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.
+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.
+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.
+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.
 Common Var(warn_analyzer_double_fclose) Init(1) Warning
 Warn about code paths in which a stdio FILE can be closed more than once.