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

[law at gcc dot gnu dot org]

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

Author: law
Date: Tue May  2 19:54:20 2006
New Revision: 113481

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=113481
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:
    trunk/gcc/testsuite/gcc.c-torture/execute/pr27364.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vrp.c


-- 


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