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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@158727 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 20e07e3..15e6155 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,12 @@
+2010-04-26  Jie Zhang  <jie@codesourcery.com>
+
+       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.
+
 2010-04-26  Jan Hubicka  <jh@suse.cz>
 
        * cgraphunit.c (cgraph_copy_node_for_versioning): Fix profile updating.

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index e8dcef5..8d5e56a 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2010-04-26  Jie Zhang  <jie@codesourcery.com>
+
+       PR tree-optimization/43833
+       gcc.dg/Warray-bounds-8.c: New test case.
+
 2010-04-26  Richard Guenther  <rguenther@suse.de>
 
        PR lto/43080