// PR c++/87152
// { dg-do run }
// { dg-options "-std=c++2a" }

template<typename T>
void foo ()
{
  int a[] = { 1, 2, 3, 4, 5 };

  for (T i = 1; auto x : a)
    if (i++ != x)
      __builtin_abort ();

  T i;
  for (i = 1; auto x : a)
    if (i++ != x)
      __builtin_abort ();

  i = 0;
  for (i++; auto x : a)
    if (i != 1)
      __builtin_abort ();

  for (T s[] = { 1, 1, 1 }; auto x : s)
    if (x != 1)
      __builtin_abort ();
}

int
main ()
{
  foo<int>();
}