[PATCH] More out-of-bound array accesses

[Richard Guenther]

Committed.

Richard.

2010-08-26  Richard Guenther  <rguenther@suse.de>

	* gcc.dg/graphite/scop-0.c: Fix out-of-bound array accesses.
	* gcc.dg/graphite/scop-21.c: Likewise.

Index: gcc/testsuite/gcc.dg/graphite/scop-0.c
===================================================================
*** gcc/testsuite/gcc.dg/graphite/scop-0.c	(revision 163562)
--- gcc/testsuite/gcc.dg/graphite/scop-0.c	(working copy)
*************** int toto()
*** 5,11 ****
  {
    /* Scop 1. */
    int i, j, k;
!   int a[100][100];
    int b[100];
    int N = foo ();
  
--- 5,11 ----
  {
    /* Scop 1. */
    int i, j, k;
!   int a[201][100];
    int b[100];
    int N = foo ();
  
Index: gcc/testsuite/gcc.dg/graphite/scop-21.c
===================================================================
*** gcc/testsuite/gcc.dg/graphite/scop-21.c	(revision 163562)
--- gcc/testsuite/gcc.dg/graphite/scop-21.c	(working copy)
***************
*** 2,8 ****
  void foo (int);
  int test ()
  {
!   int a[N];
    unsigned i;
  
    for (i = 0; i < N; i++)
--- 2,8 ----
  void foo (int);
  int test ()
  {
!   int a[N+6];
    unsigned i;
  
    for (i = 0; i < N; i++)