aboutsummaryrefslogtreecommitdiff
path: root/gcc/profile.c
diff options
context:
space:
mode:
authorSteven Bosscher <steven@gcc.gnu.org>2012-07-21 23:37:02 +0000
committerSteven Bosscher <steven@gcc.gnu.org>2012-07-21 23:37:02 +0000
commit5e3dbb3bc14778f79d3c40e98c3660c16da3edc5 (patch)
treedf75e5ee68ddf8054bd8f764e8d7bb495b5fb564 /gcc/profile.c
parent55f7c48177d5fd042b0c19a45a2977d2ea0d450d (diff)
downloadgcc-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.c3
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