Assertion: alias | /r/AtLocation | sequence
Facets:
value: in a program text
type: LOCATION
Source sentences:
text: If two write accesses which alias occur in sequence in a program text, they must occur in sequence in the final machine code.
text: However, if two read accesses which alias occur in sequence in a program text, they need not occur in the same sequence in the machine code - aliasing read accesses are safe to re-order.