Index: gcc/gcc/params.c |
diff --git a/gcc/gcc/params.c b/gcc/gcc/params.c |
index d7179c085fcc4c39ec65855fd931f844f17a2457..04eff112055f8bd488bb1ce6a2fe96ce3418717f 100644 |
--- a/gcc/gcc/params.c |
+++ b/gcc/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; |
+} |