We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 811e9bb commit dd306a5Copy full SHA for dd306a5
1 file changed
source/basic.tex
@@ -6537,8 +6537,8 @@
6537
6538
\pnum
6539
\begin{note}
6540
-Transformations that introduce a speculative read of a potentially
6541
-shared memory location might not preserve the semantics of the \Cpp{} program as
+It is possible that transformations that introduce a speculative read of a potentially
+shared memory location do not preserve the semantics of the \Cpp{} program as
6542
defined in this document, since they potentially introduce a data race. However,
6543
they are typically valid in the context of an optimizing compiler that targets a
6544
specific machine with well-defined semantics for data races. They would be
0 commit comments