[Bug rtl-optimization/24626] [4.1/4.2 Regression] internal compiler error: verify_flow_info failed

[dave at hiauly1 dot hia dot nrc dot ca]

------- Comment #26 from dave at hiauly1 dot hia dot nrc dot ca  2006-01-13 00:12 -------
Subject: Re:  [4.1/4.2 Regression] internal compiler error: verify_flow_info
failed

> ------- Comment #25 from steven at gcc dot gnu dot org  2006-01-12 22:56 -------
> I can not reproduce this ICE.  We really need some way to reproduce the problem
> that Mustafa's patch was supposed to fix.

This is still present in the trunk as of today.  I can reproduce it using
the testcase in comment #2 on hppa-unknown-linux-gnu.  This is the jump_insn:

(gdb) p debug_rtx (insn)
(jump_insn 21 19 31 2 (parallel [
            (set (pc)
                (if_then_else (eq (reg:SI 28 %r28)
                        (const_int 0 [0x0]))
                    (label_ref 31)
                    (pc)))
            (set (reg/v:SI 3 %r3 [orig:94 call_result ] [94])
                (reg:SI 28 %r28))
        ]) 227 {*pa.md:8779} (insn_list:REG_DEP_TRUE 19 (nil))
    (expr_list:REG_DEAD (reg:SI 28 %r28)
        (expr_list:REG_BR_PROB (const_int 10000 [0x2710])
            (nil))))

n_branch == 0.

Did you try the testcase in #24 "without" Mustafa's patch to cfgrtl.c?

Dave


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24626