CWG2523 Undefined behavior via omitted destructor call in constant expressions

Author: burblebee

source/basic.tex

@@ -3409,8 +3409,11 @@
 A \grammarterm{delete-expression}\iref{expr.delete} invokes the destructor
 prior to releasing the storage.
 \end{note}
-In this case, the destructor is not implicitly invoked and any program that
-depends on the side effects produced by the destructor has undefined behavior.
+In this case, the destructor is not implicitly invoked.
+\begin{note}
+The correct behavior of a program often depends on
+the destructor being invoked for each object of class type.
+\end{note}
 
 \pnum
 Before the lifetime of an object has started but after the storage which