[Bug tree-optimization/23445] [4.1 Regression] ICE with -O1 -ftree-vrp -fdelete-null-pointer-checks

["cvs-commit at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

------- Comment #6 from cvs-commit at gcc dot gnu dot org  2005-10-04 03:02 -------
Subject: Bug 23445

CVSROOT:        /cvs/gcc
Module name:    gcc
Changes by:     dnovillo@gcc.gnu.org    2005-10-04 03:02:20

Modified files:
        gcc            : ChangeLog tree-vrp.c 
        gcc/testsuite  : ChangeLog 
Added files:
        gcc/testsuite/gcc.c-torture/compile: pr23445.c 

Log message:
        PR 23445
        * tree-vrp.c (extract_range_from_assert): If the new numeric
        range created out of the assertion contradicts the existing
        numeric range of the ASSERT_EXPR variable, make the new range
        varying.

        testsuite/
        PR 23445
        * gcc.c-torture/compile/pr23445.c: New test.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.10072&r2=2.10073
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-vrp.c.diff?cvsroot=gcc&r1=2.61&r2=2.62
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.6129&r2=1.6130
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.c-torture/compile/pr23445.c.diff?cvsroot=gcc&r1=NONE&r2=1.1


-- 


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