[Bug tree-optimization/25148] compare_values assumes that CST in a + CST (and a - CST) is always postive

[rguenth at gcc dot gnu dot org]

------- Comment #9 from rguenth at gcc dot gnu dot org  2006-04-27 13:52 -------
Subject: Bug 25148

Author: rguenth
Date: Thu Apr 27 13:52:44 2006
New Revision: 113298

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=113298
Log:
2006-04-27  Richard Guenther  <[EMAIL PROTECTED]>

        PR tree-optimization/25148
        * tree-vrp.c (compare_values): Remove code dealing with
        comparisons against type min/max value.  Honour overflow
        and negative constants in code dealing with comparisons
        of plus and minus expressions.
        (value_inside_range): Use fold_binary with LE_EXPR and
        GE_EXPR rather than compare_values.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/tree-vrp.c


-- 


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