fold-const.c (build_range_check): Make sure to use a valid type to apply the "(c...
authorEric Botcazou <ebotcazou@adacore.com>
Thu, 9 Mar 2006 16:11:00 +0000 (16:11 +0000)
committerEric Botcazou <ebotcazou@gcc.gnu.org>
Thu, 9 Mar 2006 16:11:00 +0000 (16:11 +0000)
commitf8fe05458d2116e5dcd2aa3eac9dff868be27cfb
tree5bedf0f0da9dcfb87f673767d4565f885cf8cb74
parentd56ee62bfe7847ec4a100f3773827c2e3697879a
fold-const.c (build_range_check): Make sure to use a valid type to apply the "(c>=low) && (c<=high) into...

* 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.

From-SVN: r111866
gcc/ChangeLog
gcc/fold-const.c