Patchwork PR gcov-profile/32543

login
register
mail settings
Submitter Steven Bosscher
Date July 21, 2012, 11:35 p.m.
Message ID <CABu31nNCxiKXq=V15Deygs9MZ3XxnZO0kBMtW-CWqpr1rK2dcg@mail.gmail.com>
Download mbox | patch
Permalink /patch/172473/
State New
Headers show

Comments

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

Patch

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