From: Steven Bosscher Date: Sat, 21 Jul 2012 23:37:02 +0000 (+0000) Subject: re PR gcov-profile/32543 (Gcov: profile.c total_num_edges_instrumented never incremen... X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5e3dbb3bc14778f79d3c40e98c3660c16da3edc5;p=gcc.git 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 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 51b24829e95..28f96158b86 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2012-07-21 Steven Bosscher + + 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 * config/sh/sh.md: Correct comment regarding clrt and sett insns. diff --git a/gcc/profile.c b/gcc/profile.c index 99a22f274a8..f8debfc38d4 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