[Bug gcov-profile/32543] Gcov: profile.c total_num_edges_instrumented never incremented (patch included)

[steven at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32543

--- Comment #1 from Steven Bosscher <steven at gcc dot gnu.org> 2012-07-21 
23:37:05 UTC ---
Author: steven
Date: Sat Jul 21 23:37:02 2012
New Revision: 189748

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=189748
Log:
    PR gcov-profile/32543
    * profile.c (branch_prob): Update total_num_edges_instrumented and
    report the number of edges to instrument.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/profile.c