[Bug tree-optimization/36218] [4.2/4.3/4.4 regression] VRP causes stack overflow while building libgcj

[rguenth at gcc dot gnu dot org]

------- Comment #15 from rguenth at gcc dot gnu dot org  2008-08-22 19:28 -------
This should be fixed on the trunk by

2008-08-20  Richard Guenther  <rguenther@suse.de>

        * tree-vrp.c (found_in_subgraph): Remove.
        (live): New global static.
        (live_on_edge): New function.
        (blocks_visited): Remove.
        (register_edge_assert_for_2): Use live_on_edge.
        (find_conditional_asserts): Remove code dealing with
        found_in_subgraph.  Do not walk the CFG.
        (find_switch_asserts): Likewise.
        (find_assert_locations_1): Renamed from find_assert_locations.
        Move finding assert locations for conditional and switch
        statements first.  Update live bitmap.  Do not walk the CFG.
        (find_assert_locations): New function.
        (insert_range_assertions): Remove entry of CFG walk.
        Adjust call to find_assert_locations.


can someone verify this?  Thanks.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |WAITING


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