29.9 Data Races
For an execution execution, two events E and D in
- If E and D are in a race in execution, then
- If E.[[Order]] is not
SeqCst or D.[[Order]] is notSeqCst , then- Return
true .
- Return
- If E and D have overlapping ranges, then
- Return
true .
- Return
- If E.[[Order]] is not
- Return
false .