1 files changed, 15 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/params.c b/gcc-4.9/gcc/params.c
index ab3c7c761..03b769cfd 100644
--- a/gcc-4.9/gcc/params.c
+++ b/gcc-4.9/gcc/params.c
@@ -190,3 +190,18 @@ get_num_compiler_params (void)
 {
   return num_compiler_params;
 }
+
+/* Dump values of parameters.  */
+
+void
+dump_params (int *params, int *params_set)
+{
+  size_t i;
+
+  /* Scan the parameter table to find a matching entry.  */
+  for (i = 0; i < num_compiler_params; ++i)
+    {
+      fprintf (stderr, "%s\t%d (%s)\n", compiler_params[i].option,
+               params[i], params_set[i] ? "explicit" : "implicit");
+    }
+}