[Bug tree-optimization/24840] [4.1 Regression] ICE process_assert_insertions_for, at tree-vrp.c:2807

[dnovillo at gcc dot gnu dot org]

------- Comment #10 from dnovillo at gcc dot gnu dot org  2005-11-15 02:59 
-------
Subject: Bug 24840

Author: dnovillo
Date: Tue Nov 15 02:59:03 2005
New Revision: 106930

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=106930
Log:

        PR 24840
        * tree-vrp.c (infer_value_range): Return false if STMT is a
        block terminator and its basic block has no successors.

testsuite/

        PR 24840
        * gcc.dg/tree-ssa/pr24840.c: New test.


Added:
    trunk/gcc/testsuite/gcc.dg/tree-ssa/pr24840.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vrp.c


-- 


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