------- Comment #1 from rguenth at gcc dot gnu dot org 2009-12-14 00:06 -------
Happens after copyprop.
(gdb) call debug_bb (bb)
;; basic block 2, loop depth 0, count 0
;; prev block 0, next block 1
;; pred: ENTRY (fallthru,exec)
;; succ:
<bb 2>:
i_1 = bar ();
# DEBUG i => i_1
we have a DEBUG stmt after a noreturn call.
Or rather it happens at into-SSA time already. We just don't verify
flow-info very often. Thus the initial insertion happens at the
wrong place already.
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Priority|P3 |P1
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42363
