OSDN Git Service

(root) / pf3gnuchains / gcc-fork.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ad7fa0f) | patch
* tree-vrp.c (extract_range_from_assert): Refine the result range
authorlaw <law@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 19 Jan 2006 16:30:59 +0000 (16:30 +0000)
committerlaw <law@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 19 Jan 2006 16:30:59 +0000 (16:30 +0000)
commit2800958c6a33273c20c49834e1433f372b5c40c1
tree0314e41a5ca217936798a6d6277c096007ed8adftree | snapshot
parentad7fa0f98e3e9760fcd6812ea0c68aa883345a51commit | diff
* 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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@109968 138bc75d-0d04-0410-961f-82ee72b054a4
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
About OSDN
Find Software
Develop Software
Help