[Bug tree-optimization/26447] [4.2 Regression] verify_flow_info failed, load PRE with java program

[rguenth at gcc dot gnu dot org]

------- Comment #20 from rguenth at gcc dot gnu dot org  2006-05-03 12:09 -------
Created an attachment (id=11366)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=11366&action=view)
patch

Another patch that implements the suggested basic block splitting by
re-inserting
on the fallthrough edge in realify_fake_stores.

2006-05-03  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/26447
        * tree-ssa-pre.c (insert_fake_stores): Do not insert fake
        stores in a basic block that contains abnormal control flow
        but more than just a fallthrough edge.
        (realify_fake_stores): For basic blocks with abnormal control
        flow, re-insert the store on the fallthrough edge.

bootstrap/testing in progress.


-- 


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