diff options
| author | Steven Bosscher <steven@gcc.gnu.org> | 2012-07-21 23:37:02 +0000 |
|---|---|---|
| committer | Steven Bosscher <steven@gcc.gnu.org> | 2012-07-21 23:37:02 +0000 |
| commit | 5e3dbb3bc14778f79d3c40e98c3660c16da3edc5 (patch) | |
| tree | df75e5ee68ddf8054bd8f764e8d7bb495b5fb564 | |
| parent | 55f7c48177d5fd042b0c19a45a2977d2ea0d450d (diff) | |
| download | gcc-5e3dbb3bc14778f79d3c40e98c3660c16da3edc5.zip gcc-5e3dbb3bc14778f79d3c40e98c3660c16da3edc5.tar.gz gcc-5e3dbb3bc14778f79d3c40e98c3660c16da3edc5.tar.bz2 | |
re PR gcov-profile/32543 (Gcov: profile.c total_num_edges_instrumented never incremented (patch included))
PR gcov-profile/32543
* profile.c (branch_prob): Update total_num_edges_instrumented and
report the number of edges to instrument.
From-SVN: r189748
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/profile.c | 3 |
2 files changed, 9 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 51b2482..28f9615 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2012-07-21 Steven Bosscher <steven@gcc.gnu.org> + + PR gcov-profile/32543 + * profile.c (branch_prob): Update total_num_edges_instrumented and + report the number of edges to instrument. + 2012-07-21 Oleg Endo <olegendo@gcc.gnu.org> * config/sh/sh.md: Correct comment regarding clrt and sett insns. diff --git a/gcc/profile.c b/gcc/profile.c index 99a22f2..f8debfc 100644 --- a/gcc/profile.c +++ b/gcc/profile.c @@ -1133,6 +1133,9 @@ branch_prob (void) if (dump_file) fprintf (dump_file, "%d ignored edges\n", ignored_edges); + total_num_edges_instrumented += num_instrumented; + if (dump_file) + fprintf (dump_file, "%d instrumentation edges\n", num_instrumented); /* Compute two different checksums. Note that we want to compute the checksum in only once place, since it depends on the shape |