diff --git a/source/expressions.tex b/source/expressions.tex index cc7556681a..b24b248021 100644 --- a/source/expressions.tex +++ b/source/expressions.tex @@ -7665,7 +7665,7 @@ If the value being stored in an object is read via another object that overlaps in any way the storage of the first object, then the overlap shall be exact and the two objects shall have the same type, otherwise the behavior is -undefined\ubdef{expr.ass.overlap}. +undefined\ubdef{expr.assign.overlap}. \begin{note} This restriction applies to the relationship between the left and right sides of the assignment operation; it is not a diff --git a/source/ub.tex b/source/ub.tex index e67b430d6c..09eb603193 100644 --- a/source/ub.tex +++ b/source/ub.tex @@ -860,10 +860,10 @@ \end{example} -\rSec2[ub.expr.ass]{Assignment and compound assignment operators} +\rSec2[ub.expr.assign]{Assignment and compound assignment operators} \pnum -\ubxref{expr.ass.overlap} \\ +\ubxref{expr.assign.overlap} \\ Overlap in the storage between the source and destination may result in undefined behavior. \pnum