From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 8066 invoked by alias); 4 Oct 2005 03:02:26 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org Received: (qmail 8040 invoked by alias); 4 Oct 2005 03:02:24 -0000 Date: Tue, 04 Oct 2005 03:02:00 -0000 Message-ID: <20051004030224.8039.qmail@sourceware.org> X-Bugzilla-Reason: CC References: Subject: [Bug tree-optimization/23445] [4.1 Regression] ICE with -O1 -ftree-vrp -fdelete-null-pointer-checks In-Reply-To: Reply-To: gcc-bugzilla@gcc.gnu.org To: gcc-bugs@gcc.gnu.org From: "cvs-commit at gcc dot gnu dot org" X-SW-Source: 2005-10/txt/msg00263.txt.bz2 List-Id: ------- 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