| commit | 8dd0dafee8cd2f161826d270bcae8d841ed4394d | |
| author | dnovillo <dnovillo@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Tue, 4 Oct 2005 03:02:19 +0000 (4 03:02 +0000) | ||
| committer | dnovillo <dnovillo@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Tue, 4 Oct 2005 03:02:19 +0000 (4 03:02 +0000) | ||
| tree | bad0acaaba7970ed145f998726734ce13187ad34 | treesnapshot (tar.gz zip) |
| parent | a64813cd3303033f6b33e25be09555057417440b | commitdiff |
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
* 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 | diffblobblamehistory | |
| gcc/testsuite/ChangeLog | diffblobblamehistory | |
| gcc/testsuite/gcc.c-torture/compile/pr23445.c | [new file with mode: 0644] | blob |
| gcc/tree-vrp.c | diffblobblamehistory |