[Bug middle-end/22429] [4.1 Regression] -1073741824 <= n && n <= 1073741823 is true where n is 1073741824

[rth at gcc dot gnu dot org]

------- Comment #13 from rth at gcc dot gnu dot org  2005-11-02 21:44 -------
Subject: Bug 22429

Author: rth
Date: Wed Nov  2 21:44:17 2005
New Revision: 106400

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=106400
Log:
        PR 22429
        * fold-const.c (build_range_check): Use unsigned when signed
        overflow is undefined also.  If etype is subtype, make sure that
        the subtraction is in the supertype.

Added:
    trunk/gcc/testsuite/gcc.c-torture/execute/pr22429.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/fold-const.c


-- 


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