re PR gcov-profile/32543 (Gcov: profile.c total_num_edges_instrumented never incremen...
authorSteven Bosscher <steven@gcc.gnu.org>
Sat, 21 Jul 2012 23:37:02 +0000 (23:37 +0000)
committerSteven Bosscher <steven@gcc.gnu.org>
Sat, 21 Jul 2012 23:37:02 +0000 (23:37 +0000)
commit5e3dbb3bc14778f79d3c40e98c3660c16da3edc5
treedf75e5ee68ddf8054bd8f764e8d7bb495b5fb564
parent55f7c48177d5fd042b0c19a45a2977d2ea0d450d
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
gcc/profile.c