Remove class.dtor.not.class.type (#7835)

cplusplus · jensmaurer · Apr 5, 2025 · Apr 5, 2025 · Apr 11, 2025 · Apr 11, 2025
commit a6064c641f94f6f4efe6133eb1092e278aeaa7dc
diff --git a/source/classes.tex b/source/classes.tex
@@ -2289,7 +2289,7 @@
 that is, if the object is not of the destructor's class type and
 not of a class derived from the destructor's class type (including when
 the destructor is invoked via a null pointer value), the program has
-undefined behavior\ubdef{class.dtor.not.class.type}.
+undefined behavior.
 \begin{note}
 Invoking \keyword{delete} on a null pointer does not call the
 destructor; see \ref{expr.delete}.

diff --git a/source/ub.tex b/source/ub.tex
@@ -1180,48 +1180,6 @@

 \rSec2[ub.class.dtor]{Destructors}

-\pnum
-\ubxref{class.dtor.not.class.type} \\
-The invocation of a destructor is subject to the usual rules for
-member functions \iref{class.mfct}; that is, if the object is not of the destructor's class type and not of a class derived
-from the destructor's class type (including when the destructor is invoked via a null pointer value), the
-program has undefined behavior.
-
-\pnum
-\begin{example}
-\begin{codeblock}
-#include <new>
-
-struct X {};
-
-void f() {
-  X *x = nullptr;
-  x->~X();              // undefined behavior, invoked using a null pointer value
-}
-
-struct Y {};
-void h() {
-  alignas(X) char buf[sizeof(X)];
-  X *p = new (buf) X(); // use \tcode{buf[] }and initialize
-
-  Y *yp = reinterpret_cast<Y *>(p);
-  yp->Y::~Y();          // undefined behavior, destructor of \tcode{Y} called for object of type \tcode{X}
-}
-
-struct Base {
-  virtual ~Base();
-};
-struct Derived : Base {};
-
-int k() {
-  Base *b = new Base;
-  Derived *d = static_cast<Derived *>(b);
-  d->~Derived();        // undefined behavior, destructor of Derived call for object of
-                        // type \tcode{Base}
-}
-\end{codeblock}
-\end{example}
-
 \pnum
 \ubxref{class.dtor.no.longer.exists} \\
 Once a destructor is invoked for an object, the object no longer exists; the behavior is undefined if the