This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r109968 - in /trunk/gcc: ChangeLog testsuite/Ch...
- From: law at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Thu, 19 Jan 2006 16:31:02 -0000
- Subject: r109968 - in /trunk/gcc: ChangeLog testsuite/Ch...
Author: law
Date: Thu Jan 19 16:30:59 2006
New Revision: 109968
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=109968
Log:
* tree-vrp.c (extract_range_from_assert): Refine the result range
if the variable referenced by the ASSERT_EXPR has a range and
either the tentative result range or the previous range is a
VR_ANTI_RANGE.
* gcc.dg/tree-ssa/vrp25.c: New test.
Added:
trunk/gcc/testsuite/gcc.dg/tree-ssa/vrp25.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/testsuite/ChangeLog
trunk/gcc/tree-vrp.c