diff options
-rw-r--r-- | gcc/ChangeLog | 4 | ||||
-rw-r--r-- | gcc/coverage.c | 2 |
2 files changed, 5 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 44f09c8..326250b 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,9 @@ 2020-01-28 Jan Hubicka <hubicka@ucw.cz> + * coverage.c (read_counts_file): Make error message lowercase. + +2020-01-28 Jan Hubicka <hubicka@ucw.cz> + * profile-count.c (profile_quality_display_names): Fix ordering. 2020-01-28 Jan Hubicka <hubicka@ucw.cz> diff --git a/gcc/coverage.c b/gcc/coverage.c index 5e961b2..f29ff64 100644 --- a/gcc/coverage.c +++ b/gcc/coverage.c @@ -265,7 +265,7 @@ read_counts_file (void) else if (entry->lineno_checksum != lineno_checksum || entry->cfg_checksum != cfg_checksum) { - error ("Profile data for function %u is corrupted", fn_ident); + error ("profile data for function %u is corrupted", fn_ident); error ("checksum is (%x,%x) instead of (%x,%x)", entry->lineno_checksum, entry->cfg_checksum, lineno_checksum, cfg_checksum); |