OSDN Git Service

PR middle-end/38934
authorjakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 28 Jan 2009 10:40:06 +0000 (10:40 +0000)
committerjakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 28 Jan 2009 10:40:06 +0000 (10:40 +0000)
commit613498113654a9e3b6bdcf4c53e6a77d93f0dac8
tree44a21a789fae6acc5ec9e7170f32184ee9138836
parenta98de126cfd13cabfca02b8238374bb2cd8b6f0f
PR middle-end/38934
* tree-vrp.c (extract_range_from_assert): For LE_EXPR and LT_EXPR
set to varying whenever max has TREE_OVERFLOW set, similarly
for GE_EXPR and GT_EXPR and TREE_OVERFLOW min.

* gcc.dg/pr38934.c: New test.

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