|
@@ -251,12 +251,13 @@ And there are a number of things that _must_ or _must_not_ be assumed:
|
|
|
|
|
|
And for:
|
|
|
|
|
|
- *A = X; Y = *A;
|
|
|
+ *A = X; *(A + 4) = Y;
|
|
|
|
|
|
- we may get either of:
|
|
|
+ we may get any of:
|
|
|
|
|
|
- STORE *A = X; Y = LOAD *A;
|
|
|
- STORE *A = Y = X;
|
|
|
+ STORE *A = X; STORE *(A + 4) = Y;
|
|
|
+ STORE *(A + 4) = Y; STORE *A = X;
|
|
|
+ STORE {*A, *(A + 4) } = {X, Y};
|
|
|
|
|
|
|
|
|
=========================
|