re PR tree-optimization/37005 (GNAT Bug Box for cd2a24e.adb:37 at tree-vrp.c:392)
authorRichard Guenther <rguenther@suse.de>
Thu, 28 Aug 2008 08:31:37 +0000 (08:31 +0000)
committerRichard Biener <rguenth@gcc.gnu.org>
Thu, 28 Aug 2008 08:31:37 +0000 (08:31 +0000)
commit0b45fd7ad2610727101fd43d07cbd8db13ef171a
treef4a4e7f2ac44132dcb34b9ca2977087e5dd6f259
parent4717882f05433fbd40ad542009015ae669f1d4a6
re PR tree-optimization/37005 (GNAT Bug Box for cd2a24e.adb:37 at tree-vrp.c:392)

2008-08-28  Richard Guenther  <rguenther@suse.de>

PR middle-end/37005
* fold-const.c (maybe_canonicalize_comparison_1): Require
undefined overflow only for canonicalizing A +- CST cmp CST.
Make sure to not generate new constants that are not inside
their TYPE_MIN/MAX_VALUE range.
(maybe_canonicalize_comparison): Remove undefined overflow
checking from here.
(fold_binary): Remove now duplicate folding.

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