// N4606 Committee Draft, Standard for Programming Language C++
// http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/n4606.pdf 
#define msg "p291.cpp(141)12.5 Free store [class.free]"
// Edited by Dr. Ogawa Kiyoshi. Compile procedure and results record.

#include <iostream>

class Arena;
struct B {
void* operator new(std::size_t, Arena*);
};
struct D1 : B {
};
Arena* ap;
void foo(int i) {
new (ap) D1; // calls B::operator new(std::size_t, Arena*)
new D1[i]; // calls ::operator new[](std::size_t)
new D1; // ill-formed: ::operator new(std::size_t) hidden
}

class X {
void operator delete(void*);
void operator delete[](void*, std::size_t);
};
class Y {
void operator delete(void*, std::size_t);
void operator delete[](void*);
};

struct B2 {
virtual ~B2();
void operator delete(void*, std::size_t);
};
struct D2 : B2 {
void operator delete(void*);
};
void f() {
B2* bp = new D2;
delete bp; //1: uses D2::operator delete(void*)
}

struct B3 {
virtual ~B3();
void operator delete[](void*, std::size_t);
};
struct D3 : B3 {
void operator delete[](void*, std::size_t);
};
void f(int i) {
D3* dp = new D3[i];
delete [] dp; // uses 3D::operator delete[](void*, std::size_t)
B3* bp = new D3[i];
delete[] bp; // undefined behavior
}

int main(){
  std::cout<< msg << std::endl;
  return EXIT_SUCCESS;
}

$ ./cppgl17.sh p291
$ clang++ p291.cpp
p291.cpp:18:1: error: no matching function for call to 'operator new'
new D1; // ill-formed: ::operator new(std::size_t) hidden
^
p291.cpp:10:7: note: candidate function not viable: requires 2 arguments, but 1 was provided
void* operator new(std::size_t, Arena*);
      ^
1 error generated.

$ g++-7 p291.cpp
p291.cpp: In function 'void foo(int)':
p291.cpp:18:5: error: no matching function for call to 'D1::operator new(sizetype)'
 new D1; // ill-formed: ::operator new(std::size_t) hidden
     ^~
p291.cpp:10:7: note: candidate: static void* B::operator new(std::size_t, Arena*)
 void* operator new(std::size_t, Arena*);
       ^~~~~~~~
p291.cpp:10:7: note:   candidate expects 2 arguments, 1 provided