From 85d8dc87618474377b68ddb36ea5b0bcb1b9a23e Mon Sep 17 00:00:00 2001 From: Jens Maurer Date: Sun, 13 Apr 2025 21:35:33 +0200 Subject: [PATCH] Rename label expr.ass.overlap to expr.assign.overlap --- source/expressions.tex | 2 +- source/ub.tex | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) 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