This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/23604] [4.1 Regression] wrong code due to VRP
- From: "cvs-commit at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 1 Oct 2005 13:57:50 -0000
- Subject: [Bug tree-optimization/23604] [4.1 Regression] wrong code due to VRP
- References: <20050828194312.23604.pinskia@gcc.gnu.org>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Additional Comments From cvs-commit at gcc dot gnu dot org 2005-10-01 13:57 -------
Subject: Bug 23604
CVSROOT: /cvs/gcc
Module name: gcc
Changes by: dnovillo@gcc.gnu.org 2005-10-01 13:57:30
Modified files:
gcc/testsuite : ChangeLog
gcc : ChangeLog tree-vrp.c
Added files:
gcc/testsuite/gcc.c-torture/execute: pr23604.c
Log message:
PR 23604
* tree-vrp.c (extract_range_from_assert): For !=
assertions, only build an anti-range if LIMIT is a
single-valued range.
testsuite/
PR 23604
* gcc.c-torture/execute/pr23604.c: New test.
Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.6120&r2=1.6121
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.c-torture/execute/pr23604.c.diff?cvsroot=gcc&r1=NONE&r2=1.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.10060&r2=2.10061
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-vrp.c.diff?cvsroot=gcc&r1=2.57&r2=2.58
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23604