CWG2939 Do not allow reinterpret_cast from prvalue to rvalue reference

Author: burblebee

source/expressions.tex

@@ -266,7 +266,7 @@
 \end{note}
 
 \pnum
-Unless otherwise specified\iref{expr.const.cast},
+Unless otherwise specified\iref{expr.reinterpret.cast, expr.const.cast},
 whenever a prvalue appears as an operand of an operator that
 expects a glvalue for that operand, the
 temporary materialization conversion\iref{conv.rval} is
@@ -4432,9 +4432,6 @@
 \tcode{T2}'' (where \tcode{T1} and \tcode{T2} are function types) and
 back to its original type yields the original pointer value, the result
 of such a pointer conversion is unspecified.
-\begin{note}
-See also~\ref{conv.ptr} for more details of pointer conversions.
-\end{note}
 
 \pnum
 An object pointer
@@ -4509,22 +4506,25 @@
 \indextext{cast!reinterpret!reference}%
 \indextext{cast!reference}%
 \indextext{type pun}%
-A glvalue of type \tcode{T1},
+If \tcode{v} is a glvalue of type \tcode{T1},
 designating an object or function \placeholder{x},
-can be cast to the type ``reference to \tcode{T2}''
+it can be cast to the type ``reference to \tcode{T2}''
 if an expression of type ``pointer to \tcode{T1}''
 can be explicitly converted to the type ``pointer to \tcode{T2}''
 using a \keyword{reinterpret_cast}.
 The result is that of \tcode{*reinterpret_cast<T2 *>(p)}
 where \tcode{p} is a pointer to \placeholder{x}
 of type ``pointer to \tcode{T1}''.
-No temporary is created, no copy is made, and
+\begin{note}
+No temporary is materialized\iref{conv.rval} or created,
+no copy is made, and
 no constructors\iref{class.ctor} or conversion
 functions\iref{class.conv} are called.
 \begin{footnote}
 This is sometimes referred to as a type pun
 when the result refers to the same object as the source glvalue.
 \end{footnote}
+\end{note}
 
 \rSec3[expr.const.cast]{Const cast}