[Bug middle-end/33589] [4.3 regression] ICE on valid code at -O2: verify_flow_info failed

[rguenth at gcc dot gnu dot org]

------- Comment #1 from rguenth at gcc dot gnu dot org  2007-09-29 19:05 -------
Confirmed.  Happens after final_cleanup of the following function:

;; Function void somefunction() (_Z12somefunctionv)

void somefunction() ()
{
  # BLOCK 2 freq:10000
  # PRED: ENTRY [100.0%]  (fallthru,exec)
  somemethod (0B);
  goto <bb 4>;
  # SUCC: 3 (ab,eh,exec) 4 [100.0%]  (fallthru,exec)

  # BLOCK 3
  # PRED: 2 (ab,eh,exec)
<L3>:;
  <<<exception object>>> = <<<exception object>>>;
  <<<filter object>>> = <<<filter object>>>;
  resx 1;
  # SUCC:

  # BLOCK 4 freq:10000
  # PRED: 2 [100.0%]  (fallthru,exec)
  return;
  # SUCC: EXIT [100.0%]

}


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rguenth at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |NEW
          Component|c++                         |middle-end
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2007-09-29 19:05:05
               date|                            |
   Target Milestone|---                         |4.3.0


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