diff options
-rw-r--r-- | gcc/ChangeLog | 6 | ||||
-rw-r--r-- | gcc/coverage.c | 2 | ||||
-rw-r--r-- | gcc/doc/invoke.texi | 7 |
3 files changed, 11 insertions, 4 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 05d1e05..3a6e9de 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2018-07-04 Martin Liska <mliska@suse.cz> + Jonathan Wakely <jwakely@redhat.com> + + * coverage.c: Use correct type. + * doc/invoke.texi: Language correction. + 2018-07-03 H.J. Lu <hongjiu.lu@intel.com> PR target/85620 diff --git a/gcc/coverage.c b/gcc/coverage.c index 9c9d3db..da171c8 100644 --- a/gcc/coverage.c +++ b/gcc/coverage.c @@ -1227,7 +1227,7 @@ coverage_init (const char *filename) if (profile_data_prefix) { #if HAVE_DOS_BASED_FILE_SYSTEM - const char separator = "\\"; + const char *separator = "\\"; #else const char *separator = "/"; #endif diff --git a/gcc/doc/invoke.texi b/gcc/doc/invoke.texi index 56cd122..31d4f10 100644 --- a/gcc/doc/invoke.texi +++ b/gcc/doc/invoke.texi @@ -11352,9 +11352,10 @@ and used by @option{-fprofile-use} and @option{-fbranch-probabilities} and its related options. Both absolute and relative paths can be used. By default, GCC uses the current directory as @var{path}, thus the profile data file appears in the same directory as the object file. -In order to prevent filename clashing, if object file name is not an absolute -path, we mangle absolute path of @file{@var{sourcename}.gcda} file and -use it as file name of a @file{.gcda} file. +In order to prevent the file name clashing, if the object file name is +not an absolute path, we mangle the absolute path of the +@file{@var{sourcename}.gcda} file and use it as the file name of a +@file{.gcda} file. When an executable is run in a massive parallel environment, it is recommended to save profile to different folders. That can be done with variables |