diff --git a/source/basic.tex b/source/basic.tex index f33d0dc648..761a5bf5f6 100644 --- a/source/basic.tex +++ b/source/basic.tex @@ -3772,11 +3772,15 @@ 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} Objects with static or thread storage duration are zero-initialized, see~\ref{basic.start.static}. \end{note} +\begin{note} +The behavior of lvalue-to-rvalue conversion\iref{conv.lval} is undefined +if the erroneous value of an object is not valid for its type. +\end{note} \pnum Except in the following cases,