[Bug tree-optimization/26180] [4.1 Regression] wrong code due to VRP and unsigned multiplies with wraps

[dnovillo at gcc dot gnu dot org]

------- Comment #6 from dnovillo at gcc dot gnu dot org  2006-02-09 13:40 -------
Subject: Bug 26180

Author: dnovillo
Date: Thu Feb  9 13:40:52 2006
New Revision: 110795

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

        PR 26180
        * tree-vrp.c (vrp_int_const_binop): Detect overflow when
        multiplying unsigned values.
        Tidy comments.

testsuite

        PR 26180
        * gcc.dg/tree-ssa/pr26180.c: New test.

Added:
    branches/gcc-4_1-branch/gcc/testsuite/gcc.dg/tree-ssa/pr26180.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=26180