Additional notes (July, 2023)

This issue is a subset of issue 2757.

Notes from the December, 2016 teleconference:

The consensus view was that this should be undefined behavior.

What happens if the storage for an object is deallocated in its period of destruction? Consider:

  struct Base {
    virtual ~Base() {
      ::operator delete(this);
    }
    void operator delete(void*) {}
  };

  struct Derived : Base {};

  int main() {
    delete new Derived;
  } 

This ought to be undefined behavior, but the standard is silent on the matter.