[Bug tree-optimization/43833] false warning: array subscript is above array bounds with -O3

[jiez at gcc dot gnu dot org]

------- Comment #3 from jiez at gcc dot gnu dot org  2010-04-26 10:59 -------
Subject: Bug 43833

Author: jiez
Date: Mon Apr 26 10:59:34 2010
New Revision: 158727

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=158727
Log:
        PR tree-optimization/43833
        * tree-vrp.c (range_int_cst_p): New.
        (range_int_cst_singleton_p): New.
        (extract_range_from_binary_expr): Optimize BIT_AND_EXPR case
        when both operands are constants.  Use range_int_cst_p in
        BIT_IOR_EXPR case.

        testsuite/
        PR tree-optimization/43833
        gcc.dg/Warray-bounds-8.c: New test case.

Added:
    trunk/gcc/testsuite/gcc.dg/Warray-bounds-8.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vrp.c


-- 


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