[Bug other/43949] bogus warning: array subscript is above array bounds

[rguenth at gcc dot gnu dot org]

------- Comment #2 from rguenth at gcc dot gnu dot org  2010-05-01 21:30 -------
Subject: Bug 43949

Author: rguenth
Date: Sat May  1 21:30:26 2010
New Revision: 158965

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=158965
Log:
2010-05-01  Richard Guenther  <rguent...@suse.de>

        PR tree-optimization/43949
        * tree-vrp.c (ssa_name_nonnegative_p): Return true for unsigned
        types.
        (extract_range_from_binary_expr): Handle *_MOD_EXPR.

        * g++.dg/warn/Warray-bounds-5.C: New testcase.

Added:
    trunk/gcc/testsuite/g++.dg/warn/Warray-bounds-5.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vrp.c


-- 


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