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
