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

[steven at gcc dot gnu dot org]

------- Comment #7 from steven at gcc dot gnu dot org  2007-11-05 22:19 -------
Re. comment #5, yes the code is right to add the frequencies together. After
cross jumping, the tail-merged block is traversed with the combined frequencies
of the new incoming edges, so adding the frequencies is correct.

In the summation, the numerator overflows.  I'm not sure how to catch this
easily.


-- 


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