From 0a39c2ce576547e66fec1570382e9ec28444380d Mon Sep 17 00:00:00 2001 From: Eisenwave Date: Mon, 21 Oct 2024 20:29:10 +0200 Subject: [PATCH] [intro.races] Clarify conflicts for the case where no bits are changed --- source/basic.tex | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/source/basic.tex b/source/basic.tex index 9524265f81..bd670465a5 100644 --- a/source/basic.tex +++ b/source/basic.tex @@ -6169,9 +6169,13 @@ \end{note} \pnum -Two expression evaluations \defn{conflict} if one of them modifies a memory +Two expression evaluations \defn{conflict} if one of them modifies\iref{defns.access} a memory location\iref{intro.memory} and the other one reads or modifies the same memory location. +\begin{note} +A modification can still conflict +even if it does not alter the value of any bits. +\end{note} \pnum The library defines a number of atomic operations\iref{atomics} and