// PR c++/79655
// { dg-do compile { target c++14 } }

constexpr int
foo (int x, int y)
{
  int a[6] = { 1, 2, 3, 4, 5, 6 };
  a[x] = 0;
  return a[y];
}

constexpr int b = foo (0, -1);	// { dg-error "is outside the bounds" }
constexpr int c = foo (0, 6);	// { dg-error "is outside the bounds" }
constexpr int d = foo (6, 0);	// { dg-error "is outside the bounds" }
constexpr int e = foo (-1, 0);	// { dg-error "is outside the bounds" }
static_assert (foo (5, 5) == 0, "");
static_assert (foo (4, 5) == 6, "");
static_assert (foo (5, 4) == 5, "");