[Bug rtl-optimization/33737] [4.3 Regression] verify_flow_info failed: Wrong probability of edge 94->1 -6651

["ebotcazou at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

------- Comment #11 from ebotcazou at gcc dot gnu dot org  2007-11-07 22:05 -------
Subject: Bug 33737

Author: ebotcazou
Date: Wed Nov  7 22:05:37 2007
New Revision: 129973

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=129973
Log:
        PR rtl-optimization/33737
        * cfgcleanup.c (try_crossjump_to_edge): Add count and frequency of
        target block after computing the probabilities of outgoing edges.
        Cap the frequency to BB_FREQ_MAX.
        * tree-ssa-threadupdate.c (redirect_edges): Also adjust count and
        frequency of the basic block if it has been reused.


Added:
    trunk/gcc/testsuite/gcc.c-torture/compile/20071107-1.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/cfgcleanup.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-threadupdate.c


-- 


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