[Bug tree-optimization/27364] [4.1/4.2 Regression] VRP miscompiles some unsigned math

[law at gcc dot gnu dot org]

------- Comment #16 from law at gcc dot gnu dot org  2006-05-02 19:44 -------
Subject: Bug 27364

Author: law
Date: Tue May  2 19:44:46 2006
New Revision: 113480

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=113480
Log:

        PR tree-optimization/27364
        * tree-vrp.c (vrp_int_const_binop): Fix detection of overflow from
        multiply expressions.

        * gcc.c-torture/execute/pr27364.c: New test.


Added:
    branches/gcc-4_1-branch/gcc/testsuite/gcc.c-torture/execute/pr27364.c
Modified:
    branches/gcc-4_1-branch/gcc/ChangeLog
    branches/gcc-4_1-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_1-branch/gcc/tree-vrp.c


-- 


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