diff options
author | Martin Liska <mliska@suse.cz> | 2019-07-03 10:29:08 +0200 |
---|---|---|
committer | Martin Liska <marxin@gcc.gnu.org> | 2019-07-03 08:29:08 +0000 |
commit | 8e37c995c69b40b3cc3ec015e6bbfe0567a020a0 (patch) | |
tree | 05796cb776b5759125071800eac8dd76d118e8ff /gcc/common.opt | |
parent | a7b3509eb6aa51d696be5edba6f4e451ceff03a0 (diff) | |
download | gcc-8e37c995c69b40b3cc3ec015e6bbfe0567a020a0.zip gcc-8e37c995c69b40b3cc3ec015e6bbfe0567a020a0.tar.gz gcc-8e37c995c69b40b3cc3ec015e6bbfe0567a020a0.tar.bz2 |
Add -fprofile-note option.
2019-07-03 Martin Liska <mliska@suse.cz>
* common.opt: Add fprofile-note.
* coverage.c (coverage_init): Append the option
to bbg_file_name.
* doc/invoke.texi: Document -fprofile-note.
From-SVN: r272990
Diffstat (limited to 'gcc/common.opt')
-rw-r--r-- | gcc/common.opt | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/common.opt b/gcc/common.opt index a1544d0..c1b9056 100644 --- a/gcc/common.opt +++ b/gcc/common.opt @@ -2096,6 +2096,10 @@ Common Joined RejectNegative Var(profile_data_prefix) Set the top-level directory for storing the profile data. The default is 'pwd'. +fprofile-note= +Common Joined RejectNegative Var(profile_note_location) +Select the name for storing the profile note file. + fprofile-correction Common Report Var(flag_profile_correction) Enable correction of flow inconsistent profile data input. |