http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56131
Steven Bosscher <steven at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|RESOLVED |REOPENED
CC| |steven at gcc dot gnu.org
Resolution|FIXED |
--- Comment #13 from Steven Bosscher <steven at gcc dot gnu.org> 2013-02-21
10:29:25 UTC ---
The fix for this PR is wrong.
Nothing even trying to look at the CFG after freeing it, so the looks at
BLOCK_FOR_INSN in delete_insn are non-sense. Looking for the basic block
anywhere at all at this point makes no sense, basic block contents and
boundaries are not maintained and may be scrambled enough to make even
the basic block notes unreliable.
Also, "If the label is not marked with a bb, assume it's the same bb"
is wrong if the label is a marker for a constant pool or a jump table.
