OSDN Git Service

* tree-vrp.c (set_value_range_to_nonnull): Declare inline.
authordnovillo <dnovillo@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 2 May 2005 22:54:37 +0000 (22:54 +0000)
committerdnovillo <dnovillo@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 2 May 2005 22:54:37 +0000 (22:54 +0000)
commite7d43f99d5f6cff947d59da58ddd004654a4b1cd
tree6ba2e39d33af8f80765511949ee8498a48006adc
parent6180212a0765d3732fa27ea54c0e37ef0bc67b35
* tree-vrp.c (set_value_range_to_nonnull): Declare inline.
(set_value_range_to_null): Likewise.
(set_value_range_to_varying): New function.  Use it in all
call sites that used to call set_value_range (vr, VR_VARYING, ...).
(extract_range_from_assert): If the integral type has a
super-type, and LIMIT is not within MIN and MAX values of that
type, set the resulting range to VR_VARYING.

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