aboutsummaryrefslogtreecommitdiff
path: root/gcc/common.opt
diff options
context:
space:
mode:
authorMartin Liska <mliska@suse.cz>2019-07-03 10:29:08 +0200
committerMartin Liska <marxin@gcc.gnu.org>2019-07-03 08:29:08 +0000
commit8e37c995c69b40b3cc3ec015e6bbfe0567a020a0 (patch)
tree05796cb776b5759125071800eac8dd76d118e8ff /gcc/common.opt
parenta7b3509eb6aa51d696be5edba6f4e451ceff03a0 (diff)
downloadgcc-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.opt4
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.