1  /* { dg-do compile } */
       2  /* { dg-require-effective-target vect_int } */
       3  /* { dg-additional-options "-fdump-tree-vect-all" } */
       4  
       5  short *a;
       6  int c;
       7  void n(void)
       8  {
       9    for (int i = 0; i<c;i++)
      10      a[i]++;
      11  }
      12  
      13  /* { dg-final { scan-tree-dump-not "Invalid sum of " "vect" } } */