* tree-vrp.c (extract_range_from_assert): Set the range to VARYING
commitad2a47a557fc500553d32b03f84458d2c5beadfc
authorebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 25 May 2006 07:42:28 +0000 (25 07:42 +0000)
committerebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 25 May 2006 07:42:28 +0000 (25 07:42 +0000)
treeffe30e35826d449fa90b712b1bfaec8d72d8da2a
parentec3324dba077bf5b3816cee602102a0b34bd0672
* tree-vrp.c (extract_range_from_assert): Set the range to VARYING
for LT and GT if the computed range is effectively empty.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@114108 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/tree-vrp.c