------- 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