2009-12-01 Grigori Fursin <grigori.fursin@inria.fr>

[thirdparty/gcc.git] / gcc / params.c

diff --git a/gcc/params.c b/gcc/params.c
index d7179c085fcc4c39ec65855fd931f844f17a2457..04eff112055f8bd488bb1ce6a2fe96ce3418717f 100644 (file)
--- a/gcc/params.c
+++ b/gcc/params.c
@@ -32,7 +32,6 @@ along with GCC; see the file COPYING3.  If not see
 param_info *compiler_params;
 
 /* The number of entries in the table.  */
-
 static size_t num_compiler_params;
 
 /* Add the N PARAMS to the current list of compiler parameters.  */
@@ -85,3 +84,12 @@ set_param_value (const char *name, int value)
   /* If we didn't find this parameter, issue an error message.  */
   error ("invalid parameter %qs", name);
 }
+
+/* Return the current value of num_compiler_params, for the benefit of
+   plugins that use parameters as features.  */
+
+size_t
+get_num_compiler_params (void)
+{
+  return num_compiler_params;
+}