CWG2458 Value category of expressions denoting non-static member functions

Author: jensmaurer

source/expressions.tex

@@ -1581,15 +1581,23 @@
 \grammarterm{decltype-specifier} \tcode{::} \tcode{\~} \grammarterm{type-name}.
 
 \pnum
-The result of a \grammarterm{qualified-id} is
+The result of a \grammarterm{qualified-id} $Q$ is
 the entity it denotes\iref{basic.lookup.qual}.
 The type of the expression is the type of the result.
 The result is an lvalue if the member is
-a function,
+\begin{itemize}
+\item
+a function other than a non-static member function,
+\item
+a non-static member function
+if $Q$ is the operand of a unary \tcode{\&} operator,
+\item
 a variable,
-a structured binding\iref{dcl.struct.bind},
-a static member function, or
+\item
+a structured binding\iref{dcl.struct.bind}, or
+\item
 a data member,
+\end{itemize}
 and a prvalue otherwise.
 
 \rSec3[expr.prim.id.dtor]{Destruction}
@@ -4313,22 +4321,21 @@
 \pnum
 \indextext{name!address of cv-qualified}%
 \indextext{expression!pointer-to-member constant}%
-The result of the unary \tcode{\&} operator is a pointer to its operand.
+The operand of the unary \tcode{\&} operator
+shall be an lvalue of some type \tcode{T}.
+The result is a prvalue.
 \begin{itemize}
 \item
 If the operand is a \grammarterm{qualified-id} naming a non-static or variant member \tcode{m}
-of some class \tcode{C} with type \tcode{T}, the result has type ``pointer to member
-of class \tcode{C} of type \tcode{T}'' and is a prvalue designating \tcode{C::m}.
+of some class \tcode{C}, the result has type ``pointer to member
+of class \tcode{C} of type \tcode{T}'' and designates \tcode{C::m}.
 \item
-Otherwise, if the operand is an lvalue of type \tcode{T},
-the resulting expression is a prvalue of type ``pointer to \tcode{T}''
-whose result is a pointer to the designated object\iref{intro.memory} or function.
+Otherwise, the result has type ``pointer to \tcode{T}'' and points to
+the designated object\iref{intro.memory} or function\iref{basic.compound}.
 \begin{note}
 In particular, taking the address of a variable of type ``\cv{}~\tcode{T}''
 yields a pointer of type ``pointer to \cv{}~\tcode{T}''.
 \end{note}
-\item
-Otherwise, the program is ill-formed.
 \end{itemize}
 \begin{example}
 \begin{codeblock}