OSDN Git Service

PR 23445
authordnovillo <dnovillo@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 4 Oct 2005 03:02:19 +0000 (03:02 +0000)
committerdnovillo <dnovillo@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 4 Oct 2005 03:02:19 +0000 (03:02 +0000)
commit8dd0dafee8cd2f161826d270bcae8d841ed4394d
treebad0acaaba7970ed145f998726734ce13187ad34
parenta64813cd3303033f6b33e25be09555057417440b
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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@104936 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.c-torture/compile/pr23445.c [new file with mode: 0644]
gcc/tree-vrp.c