This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/48641] [4.7 Regression] ICE: verify_flow_info failed: Wrong frequency of block 77 -419530 with -O -fno-tree-ccp -fno-tree-copy-prop
- From: "hubicka at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Fri, 23 Dec 2011 19:14:12 +0000
- Subject: [Bug tree-optimization/48641] [4.7 Regression] ICE: verify_flow_info failed: Wrong frequency of block 77 -419530 with -O -fno-tree-ccp -fno-tree-copy-prop
- Auto-submitted: auto-generated
- References: <bug-48641-4@http.gcc.gnu.org/bugzilla/>
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48641
--- Comment #3 from Jan Hubicka <hubicka at gcc dot gnu.org> 2011-12-23 19:14:12 UTC ---
The frequencies are initially scaled to be in range 0...BB_FREQ_MAX, but
subsequent transformations may break the invariant (when two basic blocks are
unified). If it turns out to be neccessary we probably will add a capping.
Because the function is loopless, the frequencies should not get above sum of
all frequencies in the function no matter what threading does. So it seems we
just propagate some misupdated profile?
Honza