projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2e6f91e) | patch
tree-vrp.c (extract_range_from_assert): Refine the result range if the variable refer...
authorJeff Law <law@redhat.com>
Thu, 19 Jan 2006 16:30:59 +0000 (09:30 -0700)
committerJeff Law <law@gcc.gnu.org>
Thu, 19 Jan 2006 16:30:59 +0000 (09:30 -0700)
commit307d19feb13bd6ba0886ef8bda1f17bf5ab5362c
tree0314e41a5ca217936798a6d6277c096007ed8adftree
parent2e6f91e35ad631b4dc460990919282f4d20c84dccommit | diff
tree-vrp.c (extract_range_from_assert): Refine the result range if the variable referenced by the ASSERT_EXPR has a...

* 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.

From-SVN: r109968
gcc/ChangeLog diff | blob | history
gcc/testsuite/ChangeLog diff | blob | history
gcc/testsuite/gcc.dg/tree-ssa/vrp25.c [new file with mode: 0644] blob
gcc/tree-vrp.c diff | blob | history