diff options
Diffstat (limited to 'gcc/coverage.c')
| -rw-r--r-- | gcc/coverage.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gcc/coverage.c b/gcc/coverage.c index d6322b2..6d6f3b8 100644 --- a/gcc/coverage.c +++ b/gcc/coverage.c @@ -316,7 +316,9 @@ get_coverage_counts (unsigned counter, unsigned expected, static int warned = 0; if (!warned++) - inform ("file %s not found, execution counts assumed to be zero", + inform ((flag_guess_branch_prob + ? "file %s not found, execution counts estimated" + : "file %s not found, execution counts assumed to be zero"), da_file_name); return NULL; } |