OSDN Git Service

* fold-const.c (build_range_check): Make sure to use a valid type to
authorebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 9 Mar 2006 16:11:00 +0000 (16:11 +0000)
committerebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 9 Mar 2006 16:11:00 +0000 (16:11 +0000)
commit66108e20b629f15a17168beb60fdac947c5370e8
tree5bedf0f0da9dcfb87f673767d4565f885cf8cb74
parent4e35b483437408ae8cd39fa0b3cb9a0419af4a58
* fold-const.c (build_range_check): Make sure to use a valid type to
apply the "(c>=low) && (c<=high) into (c-low>=0) && (c-low<=high-low)"
transformation.

(range_predecessor): New static function.
(range_successor): Likewise.
(merge_ranges): Use them to compute predecessors and successors of
range bounds.

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