1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fdump-tree-ivopts-details" } */
       3  int a[100];
       4  void t(unsigned int n)
       5  {
       6    unsigned int i;
       7    for (i=0; i<n; i++)
       8       a[i]++;
       9  }
      10  /* { dg-final { scan-tree-dump "Overflowness wrto loop niter:	No-overflow"  "ivopts" } } */