Skip to content

Commit 8836ae4

Browse files
committed
[intro.races] Clarify conflicts for the case where no bits are changed
1 parent a470ff8 commit 8836ae4

File tree

1 file changed

+7
-1
lines changed

1 file changed

+7
-1
lines changed

source/basic.tex

Lines changed: 7 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6169,9 +6169,15 @@
61696169
\end{note}
61706170

61716171
\pnum
6172-
Two expression evaluations \defn{conflict} if one of them modifies a memory
6172+
Two expression evaluations \defn{conflict} if one of them modifies\iref{defns.access} a memory
61736173
location\iref{intro.memory} and the other one reads or modifies the same
61746174
memory location.
6175+
\begin{note}
6176+
A modification conflicts with another expression evaluation
6177+
at the same memory location
6178+
even if the modification alters no bits in the object representation
6179+
of the modified memory location.
6180+
\end{note}
61756181

61766182
\pnum
61776183
The library defines a number of atomic operations\iref{atomics} and

0 commit comments

Comments
 (0)