[Bug tree-optimization/37005] [4.4 Regression] GNAT Bug Box for cd2a24e.adb:37 at tree-vrp.c:392

[rguenth at gcc dot gnu dot org]

------- Comment #6 from rguenth at gcc dot gnu dot org  2008-08-28 08:33 -------
Subject: Bug 37005

Author: rguenth
Date: Thu Aug 28 08:31:37 2008
New Revision: 139702

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=139702
Log:
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.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/fold-const.c


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37005