[Bug tree-optimization/22493] [4.1 Regression] with -fwrapv -INT_MIN is still not positive

[phython at gcc dot gnu dot org]

------- Additional Comments From phython at gcc dot gnu dot org  2005-07-23 
08:25 -------
Created an attachment (id=9336)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=9336&action=view)
Updated patch

 This should also fix:
/* { dg-do run } */
/* { dg-options "-O1 -ftree-vrp" } */

extern void abort ();
extern void exit (int);

int f (int a) {
        if (a != 2) {
                a = -a;
                if (a == 2)
                  return 0;
                return 1;
        }
        return 1;
}

int main (int argc, char *argv[]) {
        if (f (-2))
                abort ();
        exit (0);
}

 which fails right now.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |phython at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED


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