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 /gcc/profile.c | |
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
Diffstat (limited to 'gcc/profile.c')
-rw-r--r-- | gcc/profile.c | 3 |
1 files changed, 3 insertions, 0 deletions
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 |