| 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;
|
| +}
|
|
|