http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56131
--- Comment #16 from Steven Bosscher <steven at gcc dot gnu.org> 2013-02-22 16:33:58 UTC --- (In reply to comment #14) Yes, iff the CFG hasn't been freed, looking at BLOCK_FOR_INSN is of course OK. I was referring to the situation after freeing the CFG. Adding that comment to insn-notes.def seems like a good idea. The patch looks reasonable. Does it fix bug 56242?