[Bug middle-end/31115] [4.3 regression] libstdc++ 22_locale/num_get/get/char/2.cc 27_io/basic_ostream/inserters_arithmetic/char/6.cc

[rguenth at gcc dot gnu dot org]

------- Comment #13 from rguenth at gcc dot gnu dot org  2007-03-11 16:08 
-------
Subject: Bug 31115

Author: rguenth
Date: Sun Mar 11 16:08:35 2007
New Revision: 122821

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=122821
Log:
2007-03-11  Richard Guenther  <[EMAIL PROTECTED]>

        PR tree-optimization/31115
        * tree-vrp.c (extract_range_from_binary_expr): Make sure
        the shift count is positive and non-anti-range for RSHIFT_EXPR.
        A shift count of zero is not special as with *_DIV_EXPR.
        (vrp_int_const_binop): Handle RSHIFT_EXPR for determining overflow
        direction.

        * gcc.dg/torture/pr31115.c: New testcase.

Added:
    trunk/gcc/testsuite/gcc.dg/torture/pr31115.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vrp.c


-- 


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