PR gcov-profile/32543

Submitted by Steven Bosscher on July 21, 2012, 11:35 p.m.

Details

Message ID CABu31nNCxiKXq=V15Deygs9MZ3XxnZO0kBMtW-CWqpr1rK2dcg@mail.gmail.com
State New
Headers show

Commit Message

Steven Bosscher July 21, 2012, 11:35 p.m.
Committed as obvious.

Patch hide | download patch | download mbox

Index: ChangeLog
===================================================================
--- ChangeLog	(revision 189747)
+++ ChangeLog	(working copy)
@@ -1,3 +1,9 @@ 
+2012-07-21  Steven Bosscher <steven at gcc dot gnu dot 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 at gcc dot gnu dot org>

 	* config/sh/sh.md: Correct comment regarding clrt and sett insns.
Index: profile.c
===================================================================
--- profile.c	(revision 189747)
+++ profile.c	(working copy)
@@ -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