2008-11-05 Martin Jambor <mjambor@suse.cz>

	PR middle-end/37861
	* tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Don't turn
	pointer arithmetics into array_ref if the array is accessed
	through an indirect_ref.
	* testsuite/gcc.dg/Warray-bounds-5.c: New file.
	* testsuite/gcc.dg/Warray-bounds-6.c: New file.
	


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

1 files changed, 24 insertions, 0 deletions

diff --git a/gcc/testsuite/gcc.dg/Warray-bounds-5.c b/gcc/testsuite/gcc.dg/Warray-bounds-5.c
new file mode 100644
index 00000000000..ba9cd2aa03f
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/Warray-bounds-5.c
@@ -0,0 +1,24 @@
+/* { dg-do compile } */
+/* { dg-options "-O3 -Wall" } */
+/* based on PR 37861 */
+
+extern int printf (__const char *__restrict __format, ...);
+
+static int f2(char formatstr[10][100])  
+{
+  int anz;
+  for( anz = 0; anz < 10; ++anz ) {
+    printf( "%d %s\n", anz, formatstr[anz] );
+  } 
+  return anz;
+}
+
+
+static   char formatstr[10][100];
+int main( void ) 
+{
+  int anz;
+  anz = f2(formatstr);
+  printf( "   %d\n",anz);
+  return 0;
+}