[Bug middle-end/42363] [4.5 Regression] ICE: verify_flow_info failed for gcc.c-torture/compile/pr37913.c -O1 -g

[rguenth at gcc dot gnu dot org]

------- 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