diff options
Diffstat (limited to 'gcc/profile.c')
-rw-r--r-- | gcc/profile.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/profile.c b/gcc/profile.c index 761c8ad4b07..6aca9179078 100644 --- a/gcc/profile.c +++ b/gcc/profile.c @@ -579,7 +579,7 @@ compute_branch_probabilities (void) if (informed == 0) { informed = 1; - inform ("correcting inconsistent profile data"); + inform (input_location, "correcting inconsistent profile data"); } correct_negative_edge_counts (); /* Set bb counts to the sum of the outgoing edge counts */ |