[22/49] analyzer: params.def: new parameters
diff mbox series

Message ID 1573867416-55618-23-git-send-email-dmalcolm@redhat.com
State New
Headers show
Series
  • RFC: Add a static analysis framework to GCC
Related show

Commit Message

David Malcolm Nov. 16, 2019, 1:23 a.m. UTC
gcc/ChangeLog:
	* params.def (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/params.def | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)

Patch
diff mbox series

diff --git a/gcc/params.def b/gcc/params.def
index 4cb48d9..6715cf6 100644
--- a/gcc/params.def
+++ b/gcc/params.def
@@ -1487,6 +1487,31 @@  DEFPARAM(PARAM_SSA_NAME_DEF_CHAIN_LIMIT,
 	 "a value.",
 	 512, 0, 0)
 
+DEFPARAM(PARAM_ANALYZER_BB_EXPLOSION_FACTOR,
+	 "analyzer-bb-explosion-factor",
+	 "The maximum number of 'after supernode' exploded nodes within the "
+	 "analyzer per supernode, before terminating analysis.",
+	 5, 1, 0)
+
+DEFPARAM(PARAM_ANALYZER_MAX_ENODES_PER_PROGRAM_POINT,
+	 "analyzer-max-enodes-per-program-point",
+	 "The maximum number of exploded nodes per program point within the "
+	 "analyzer, before terminating analysis of that point.",
+	 8, 1, 0)
+
+DEFPARAM(PARAM_ANALYZER_MAX_RECURSION_DEPTH,
+	 "analyzer-max-recursion-depth",
+	 "The maximum number of times a callsite can appear in a call stack "
+	 " within the analyzer, before terminating analysis of a call that "
+	 " would recurse deeper.",
+	 2, 1, 0)
+
+DEFPARAM(PARAM_ANALYZER_MIN_SNODES_FOR_CALL_SUMMARY,
+	 "analyzer-min-snodes-for-call-summary",
+	 "The minimum number of supernodes within a function for the "
+	 "analyzer to consider summarizing its effects at call sites.",
+	 10, 1, 0)
+
 /*
 
 Local variables: