CWG1642 Missing requirements for prvalue operands

Author: burblebee

source/declarations.tex

@@ -4696,8 +4696,9 @@
 \item
 Otherwise, the initial value of the object being initialized is
 the (possibly converted) value of the initializer expression.
-A standard conversion sequence\iref{conv} will be used, if necessary,
-to convert the initializer expression to the cv-unqualified version of
+A standard conversion sequence\iref{conv} is used
+to convert the initializer expression to
+a prvalue of the cv-unqualified version of
 the destination type;
 no user-defined conversions are considered.
 If the conversion cannot

source/expressions.tex

@@ -246,7 +246,7 @@
 
 \pnum
 Whenever a glvalue appears as an operand of an operator that
-expects a prvalue for that operand, the
+requires a prvalue for that operand, the
 lvalue-to-rvalue\iref{conv.lval}, array-to-pointer\iref{conv.array},
 or function-to-pointer\iref{conv.func} standard conversions are
 applied to convert the expression to a prvalue.
@@ -518,7 +518,8 @@
 conversions.
 \end{note}
 A standard conversion sequence will be applied to
-an expression if necessary to convert it to a required destination type.
+an expression if necessary to convert it to an expression having
+a required destination type and value category.
 
 \pnum
 \begin{note}
@@ -1120,6 +1121,10 @@
 which are defined as follows:
 
 \begin{itemize}
+\item The lvalue-to-rvalue conversion\iref{conv.lval}
+is applied to each operand and
+the resulting prvalues are used in place of the original operands
+for the remainder of this section.
 \item If either operand is of scoped enumeration type\iref{dcl.enum}, no conversions
 are performed; if the other operand does not have the same type, the expression is
 ill-formed.
@@ -3169,10 +3174,10 @@
 The postfix expression shall
 have function type or function pointer type.
 For a call to a non-member function or to a static member function,
-the postfix expression shall either be an lvalue that refers to a
+the postfix expression shall be either an lvalue that refers to a
 function (in which case the function-to-pointer standard
 conversion\iref{conv.func} is suppressed on the postfix expression),
-or have function pointer type.
+or a prvalue of function pointer type.
 
 \pnum
 If the selected
@@ -4611,14 +4616,16 @@
 
 \pnum
 \indextext{operator!unary plus}%
-The operand of the unary \tcode{+} operator shall have arithmetic, unscoped
+The operand of the unary \tcode{+} operator shall be a prvalue of
+arithmetic, unscoped
 enumeration, or pointer type and the result is the value of the
 argument. Integral promotion is performed on integral or enumeration
 operands. The type of the result is the type of the promoted operand.
 
 \pnum
 \indextext{operator!unary minus}%
-The operand of the unary \tcode{-} operator shall have arithmetic or unscoped
+The operand of the unary \tcode{-} operator shall be a prvalue of
+arithmetic or unscoped
 enumeration type and the result is the negative of its operand. Integral
 promotion is performed on integral or enumeration operands. The negative
 of an unsigned quantity is computed by subtracting its value from $2^n$,
@@ -4639,7 +4646,8 @@
 
 \pnum
 \indextext{operator!ones' complement}%
-The operand of the \tcode{\~{}} operator shall have integral or unscoped enumeration type.
+The operand of the \tcode{\~{}} operator shall be a prvalue of
+integral or unscoped enumeration type.
 Integral promotions are performed.
 The type of the result is the type of the promoted operand.
 % FIXME: [basic.fundamental]/p5 uses $x_i$; [expr] uses $\tcode{x}_i$.
@@ -5655,15 +5663,16 @@
 that consists of empty square brackets can follow the \keyword{delete} keyword
 if the \grammarterm{lambda-expression} is enclosed in parentheses.
 \end{footnote}
-The operand shall be of pointer to object type or of class type. If of
-class type, the operand is contextually implicitly converted\iref{conv}
+If the operand is of
+class type, it is contextually implicitly converted\iref{conv}
 to a pointer to object
 type.
 \begin{footnote}
 This implies that an object
 cannot be deleted using a pointer of type
 \tcode{\keyword{void}*} because \keyword{void} is not an object type.
 \end{footnote}
+Otherwise, it shall be a prvalue of pointer to object type.
 The \grammarterm{delete-expression} has type
 \keyword{void}.
 
@@ -6020,6 +6029,7 @@
 
 \pnum
 The binary operator \tcode{.*} binds its second operand, which shall be
+a prvalue
 of type ``pointer to member of \tcode{T}'' to its first operand, which shall be
 a glvalue
 of
@@ -6029,6 +6039,7 @@
 
 \pnum
 The binary operator \tcode{->*} binds its second operand, which shall be
+a prvalue
 of type ``pointer to member of \tcode{T}'' to its first operand, which shall be of
 type ``pointer to \tcode{U}''
 where \tcode{U} is either \tcode{T} or
@@ -6152,9 +6163,14 @@
 \indextext{operator!additive}
 
 \pnum
-The additive operators \tcode{+} and \tcode{-} group left-to-right. The
-usual arithmetic conversions\iref{expr.arith.conv} are performed for operands of arithmetic or
-enumeration type.
+The additive operators \tcode{+} and \tcode{-} group left-to-right.
+Each operand shall be a prvalue.
+If both operands have arithmetic or unscoped enumeration type,
+the usual arithmetic conversions\iref{expr.arith.conv} are performed.
+Otherwise, if one operand has arithmetic or unscoped enumeration type,
+integral promotion is applied\iref{conv.prom} to that operand.
+A converted or promoted operand is used in place of
+the corresponding original operand for the remainder of this section.
 
 \indextext{operator!addition}%
 \indextext{addition operator|see{operator, addition}}%
@@ -6171,22 +6187,22 @@
 \end{bnf}
 
 \indextext{incomplete}%
-For addition, either both operands shall have arithmetic or unscoped enumeration
+For addition, either both operands shall have arithmetic
 type, or one operand shall be a pointer to a completely-defined object
-type and the other shall have integral or unscoped enumeration type.
+type and the other shall have integral type.
 
 \pnum
 For subtraction, one of the following shall hold:
 \begin{itemize}
-\item both operands have arithmetic or unscoped enumeration type; or
+\item both operands have arithmetic type; or
 
 \item
 \indextext{arithmetic!pointer}%
 both operands are pointers to cv-qualified or cv-unqualified
 versions of the same completely-defined object type; or
 
 \item the left operand is a pointer to a completely-defined object type
-and the right operand has integral or unscoped enumeration type.
+and the right operand has integral type.
 \end{itemize}
 
 \pnum
@@ -6289,7 +6305,7 @@
     shift-expression \terminal{>>} additive-expression
 \end{bnf}
 
-The operands shall be of integral or unscoped enumeration type and integral
+The operands shall be prvalues of integral or unscoped enumeration type and integral
 promotions are performed. The type of the result is that of the promoted
 left operand.
 \indextext{left shift!undefined}%