mirror of
git://gcc.gnu.org/git/gcc.git
synced 2025-03-24 12:31:25 +08:00
re PR lto/45375 ([meta-bug] Issues with building Mozilla (i.e. Firefox) with LTO)
PR lto/45375 * profile.c (read_profile_edge_counts): Ignore profile inconistency when correcting profile. From-SVN: r168643
This commit is contained in:
parent
06c9eb5136
commit
c459c97b48
@ -1,3 +1,9 @@
|
||||
2011-01-10 Jan Hubicka <jh@suse.cz>
|
||||
|
||||
PR lto/45375
|
||||
* profile.c (read_profile_edge_counts): Ignore profile inconistency
|
||||
when correcting profile.
|
||||
|
||||
2011-01-10 Jan Hubicka <jh@suse.cz>
|
||||
|
||||
PR lto/46083
|
||||
|
@ -409,8 +409,17 @@ read_profile_edge_counts (gcov_type *exec_counts)
|
||||
e->count = exec_counts[exec_counts_pos++];
|
||||
if (e->count > profile_info->sum_max)
|
||||
{
|
||||
error ("corrupted profile info: edge from %i to %i exceeds maximal count",
|
||||
bb->index, e->dest->index);
|
||||
if (flag_profile_correction)
|
||||
{
|
||||
static bool informed = 0;
|
||||
if (!informed)
|
||||
inform (input_location,
|
||||
"corrupted profile info: edge count exceeds maximal count");
|
||||
informed = 1;
|
||||
}
|
||||
else
|
||||
error ("corrupted profile info: edge from %i to %i exceeds maximal count",
|
||||
bb->index, e->dest->index);
|
||||
}
|
||||
}
|
||||
else
|
||||
|
Loading…
x
Reference in New Issue
Block a user