[conv.lval] Determine the value of a constant without accessing an object

jensmaurer · jensmaurer · commit 22e81c58d4ba · 2021-02-12T21:48:58.000+01:00
diff --git a/source/expressions.tex b/source/expressions.tex
@@ -628,7 +628,7 @@
       names a variable \tcode{x} that is not odr-used by
       $E_\tcode{x}$\iref{basic.def.odr},
 \end{itemize}
-the value contained in the referenced object is not accessed.
+the object designated by $E$ is not accessed.
 \begin{example}
 \begin{codeblock}
 struct S { int n; };
@@ -661,6 +661,10 @@
 type, the conversion copy-initializes the result object from
 the glvalue.
 
+\item Otherwise, if $E$ is a constant expression that designates an object
+that is usable in constant expressions ([expr.const]),
+the result is the value of that object.
+
 \item Otherwise, if the object to which the glvalue refers contains an invalid
 pointer value~(\ref{basic.stc.dynamic.deallocation},
 \ref{basic.stc.dynamic.safety}), the behavior is
