CWG2823 Implicit undefined behavior when dereferencing pointers

cplusplus · Nov 14, 2023 · 86bf2f5 · 86bf2f5
1 parent 8f40ad6
commit 86bf2f5
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/source/expressions.tex b/source/expressions.tex
@@ -4561,7 +4561,9 @@
 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.
+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