// We allocate a cookie to help us run the destructor even if it's deleted.
// { dg-options -std=c++0x }
// { dg-do run }

struct A
{
  ~A() = delete;
};

void *p = 0;
void *operator new[](__SIZE_TYPE__ t)
{
  p = ::operator new (t);
  return p;
}

int main()
{
  A* ap = new A[5];
  return ap == p;
}