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

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

gcc/ChangeLog

+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.

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