CWG2823 Implicit undefined behavior when dereferencing pointers

Author: burblebee

source/expressions.tex

@@ -4560,8 +4560,10 @@
 \indextext{dereferencing|see{indirection}}%
 Its operand shall be a prvalue of type ``pointer to \tcode{T}'',
 where \tcode{T} is an object or function type.
-The operator yields an lvalue of type \tcode{T}
-denoting the object or function to which the operand points.
+The operator yields an lvalue of type \tcode{T}.
+If the operand points to an object or function,
+the result denotes that object or function;
+otherwise, the behavior is undefined except as specified in \ref{expr.typeid}.
 \begin{note}
 \indextext{type!incomplete}%
 Indirection through a pointer to an incomplete type (other than