CWG2901 Unclear semantics for near-match aliased access

Author: burblebee

source/expressions.tex

@@ -688,8 +688,12 @@
 \end{codeblock}
 \end{example}
 
-\item Otherwise, the object indicated by the glvalue is read\iref{defns.access},
-and the value contained in the object is the prvalue result.
+\item Otherwise, the object indicated by the glvalue is read\iref{defns.access}.
+Let \tcode{V} be the value contained in the object.
+If \tcode{T} is an integer type,
+the prvalue result is
+the value of type \tcode{T} congruent\iref{basic.fundamental} to \tcode{V}, and
+\tcode{V} otherwise.
 \end{itemize}
 
 \pnum
@@ -3807,8 +3811,8 @@
 \indextext{operator!increment}%
 \indextext{\idxcode{++}|see{operator, increment}}%
 \indextext{postfix \tcode{++}}%
-The value of a postfix \tcode{++} expression is the value of its
-operand.
+The value of a postfix \tcode{++} expression is the value obtained by
+applying the lvalue-to-rvalue conversion\iref{conv.lval} to its operand.
 \begin{note}
 The value obtained is a copy of the original value.
 \end{note}
@@ -7340,9 +7344,13 @@
 \end{bnf}
 
 \pnum
-In simple assignment (\tcode{=}), the object referred to by the left operand
-is modified\iref{defns.access}
-by replacing its value with the result of the right operand.
+In simple assignment (\tcode{=}),
+let \tcode{V} be the result of the right operand;
+the object referred to by the left operand is
+modified\iref{defns.access} by replacing its value
+with \tcode{V} or,
+if the object is of integer type,
+with the value congruent\iref{basic.fundamental} to \tcode{V}.
 
 \pnum
 \indextext{assignment!conversion by}%