/* { dg-do compile } */


int f(int **__restrict a, int ** __restrict b)
{
  int i;
  for(i= 0;i<32;i++)
    a[i] = b[i] + 1;
}

/* { dg-final { cleanup-tree-dump "vect" } } */