[P3144] Deleting a pointer to incomplete type is illformed

Author: AlisdairM

source/compatibility.tex

@@ -33,6 +33,29 @@
 \end{codeblock}
 \end{example}
 
+
+
+\diffref{expr.delete}
+\change
+Calling \tcode{delete} on a pointer to an incomplete class is ill-formed.
+\rationale
+Reduce undefined behavior.
+\effect
+A valid \CppXXIII{} program that that calls \tcode{delete} on an incomplete
+class type becomes ill-formed.
+\begin{example}
+\begin{codeblock}
+struct S;
+
+void f(S *p) {
+  delete p;     // valid in \CppXXIII{}, ill-formed in this document
+}
+
+struct S {};
+\end{codeblock}
+\end{example}
+
+
 \rSec2[diff.cpp23.dcl.dcl]{\ref{dcl.dcl}: Declarations}
 
 \diffref{dcl.init.list}

source/expressions.tex

@@ -5839,9 +5839,8 @@
 
 \pnum
 \indextext{type!incomplete}%
-If the object being deleted has incomplete class type at the point of
-deletion and the complete class has a non-trivial destructor or a
-deallocation function, the behavior is undefined.
+If the object being deleted has incomplete class type at the point of deletion,
+the program is ill-formed.
 
 \pnum
 \indextext{\idxcode{delete}!destructor and}%