diff options
Diffstat (limited to 'gcc/opts.c')
| -rw-r--r-- | gcc/opts.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gcc/opts.c b/gcc/opts.c index e4c9ad45494..6439e26670f 100644 --- a/gcc/opts.c +++ b/gcc/opts.c @@ -1182,6 +1182,14 @@ common_handle_option (size_t scode, const char *arg, profile_arc_flag = value; break; + case OPT_fprofile_values: + flag_profile_values = value; + break; + + case OPT_fvpt: + flag_value_profile_transformations = value; + break; + case OPT_frandom_seed: /* The real switch is -fno-random-seed. */ if (value) |