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

#include <iostream>


struct B {
virtual ~B() { }
};
struct D : B {
~D() { }
};
D D_object;
typedef B B_alias;
B* B_ptr = &D_object;
void f() {
D_object.B::~B(); // calls B’s destructor
B_ptr->~B(); // calls D’s destructor
B_ptr->~B_alias(); // calls D’s destructor
B_ptr->B_alias::~B(); // calls B’s destructor
B_ptr->B_alias::~B_alias(); // calls B’s destructor
}

void* operator new(std::size_t, void* p) { return p; }
struct X {
X(int);
~X();
};
void f(X* p);
void g() { // rare, specialized use:
char* buf = new char[sizeof(X)];
X* p = new(buf) X(222); // use buf[] and initialize
f(p);
p->X::~X(); // cleanup
}

typedef int I;
I* p;
p->I::~I();


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

$ ./cppgl17.sh p290
$ clang++ p290.cpp
p290.cpp:26:7: error: 'operator new' is missing exception specification 'noexcept'
void* operator new(std::size_t, void* p) { return p; }
      ^
                                         noexcept
/usr/local/Cellar/llvm/6.0.0/include/c++/v1/new:215:70: note: previous declaration is here
_LIBCPP_NODISCARD_AFTER_CXX17 inline _LIBCPP_INLINE_VISIBILITY void* operator new  (std::size_t, void* __p) _NOEXCEPT {return __p;}
                                                                     ^
p290.cpp:41:1: error: unknown type name 'p'
p->I::~I();
^
p290.cpp:41:2: error: cannot use arrow operator on a type
p->I::~I();
 ^
3 errors generated.

$ g++-7 p290.cpp
p290.cpp: In function 'void* operator new(std::size_t, void*)':
p290.cpp:26:7: error: redefinition of 'void* operator new(std::size_t, void*)'
 void* operator new(std::size_t, void* p) { return p; }
       ^~~~~~~~
In file included from /usr/local/Cellar/gcc/7.3.0_1/include/c++/7.3.0/bits/exception_ptr.h:40:0,
                 from /usr/local/Cellar/gcc/7.3.0_1/include/c++/7.3.0/exception:142,
                 from /usr/local/Cellar/gcc/7.3.0_1/include/c++/7.3.0/ios:39,
                 from /usr/local/Cellar/gcc/7.3.0_1/include/c++/7.3.0/ostream:38,
                 from /usr/local/Cellar/gcc/7.3.0_1/include/c++/7.3.0/iostream:39,
                 from p290.cpp:6:
/usr/local/Cellar/gcc/7.3.0_1/include/c++/7.3.0/new:168:14: note: 'void* operator new(std::size_t, void*)' previously defined here
 inline void* operator new(std::size_t, void* __p) _GLIBCXX_USE_NOEXCEPT
              ^~~~~~~~
p290.cpp: At global scope:
p290.cpp:41:1: error: 'p' does not name a type
 p->I::~I();
 ^