// PR c++/70135
// { dg-do run }
// { dg-options "-fsanitize=bounds -std=c++14" }

template <bool... b>
struct S {
  static constexpr bool c[] {b...};
  static constexpr auto foo ()
  {
    unsigned long n = 0;
    for (unsigned long i = 0; i < sizeof (c); i++)
      if (!c[i])
	++n;
    return n;
  }
  static constexpr auto n = foo () + 1;
  static constexpr auto bar ()
  {
    int h = 0;
    for (int g = 0, i = 0; g < n; ++g)
      {
	while (i < sizeof...(b) && c[i++])
	  ++h;
	h += 64;
      }
    return h;
  }
};

int
main ()
{
  S <true, false, false, true, true, true, false, true> s;
  constexpr auto c = s.bar ();
  static_assert (s.bar () == 4 * 64 + 5, "");
}