diff --git a/source/basic.tex b/source/basic.tex index f33d0dc648..f34e20dde6 100644 --- a/source/basic.tex +++ b/source/basic.tex @@ -3772,7 +3772,11 @@ If any bit in the value representation has an indeterminate value, the object has an indeterminate value; otherwise, if any bit in the value representation has an erroneous value, -the object has an erroneous value\iref{conv.lval}. +the object has an erroneous value. +\begin{note} +Lvalue-to-rvalue conversion has undefined behavior +if the erroneous value of an object is not valid for its type\iref{conv.lval}. +\end{note} \begin{note} Objects with static or thread storage duration are zero-initialized, see~\ref{basic.start.static}.