re PR gcov-profile/32543 (Gcov: profile.c total_num_edges_instrumented never incremen...

	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 51b24829e9553616459541339355c887ad62102b..28f96158b869f305f090de426b67f2c21ba25777 100644 (file)
--- 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 99a22f274a89ff5ed9676f2ae03c2691d79d4087..f8debfc38d4d3af2e03be1759fbfd14adab24123 100644 (file)
--- 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