CWG2933 Dangling references

Author: burblebee

source/basic.tex

@@ -5518,7 +5518,7 @@
 A pointer value $P$ is
 \indextext{value!valid in the context of an evaluation}%
 \defn{valid in the context of} an evaluation $E$
-if $P$ is a null pointer value, or
+if $P$ is a pointer to function or a null pointer value, or
 if it is a pointer to or past the end of an object $O$ and
 $E$ happens before the end of the duration of the region of storage for $O$.
 If a pointer value $P$ is used in an evaluation $E$ and

source/expressions.tex

@@ -336,9 +336,13 @@
 \indextext{expression!reference}%
 If an expression initially has the type ``reference to
 \tcode{T}''\iref{dcl.ref,dcl.init.ref}, the type is adjusted to
-\tcode{T} prior to any further analysis. The expression designates the
-object or function denoted by the reference, and the expression
-is an lvalue or an xvalue, depending on the expression.
+\tcode{T} prior to any further analysis;
+the value category of the expression is not altered.
+Let $X$ be the object or function denoted by the reference.
+If a pointer to $X$ would be valid in
+the context of the evalution of the expression\iref{basic.fundamental},
+the result designates $X$;
+otherwise, the behavior is undefined.
 \begin{note}
 Before the lifetime of the reference has started or after it has ended,
 the behavior is undefined (see~\ref{basic.life}).