[Bug tree-optimization/31521] / conversion to >> is not done when the divisor can be zero

["dnovillo at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

------- Comment #4 from dnovillo at gcc dot gnu dot org  2007-08-03 13:08 -------
Subject: Bug 31521

Author: dnovillo
Date: Fri Aug  3 13:08:29 2007
New Revision: 127180

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=127180
Log:
2007-08-03  Andrew Pinski  <andrew_pinski@playstation.sony.com>
            Diego Novillo  <dnovillo@google.com>

        PR 31521
        * tree-vrp.c (simplify_div_or_mod_using_ranges): Also simplify
        if the range includes 0.

2007-08-03  Diego Novillo  <dnovillo@google.com>

        PR 31521
        * gcc.dg/tree-ssa/pr31521.c: New test.


Added:
    trunk/gcc/testsuite/gcc.dg/tree-ssa/pr31521.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vrp.c


-- 


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