Assertion: compiler | /r/CapableOf | make assumption
Facets:
value: in that address
type: LOCATION
value: after writing to it
type: TEMPORAL
value: about the value
type: OTHER
Source sentences:
text: This tells the compiler that this value may be modified by processes external to our code, so the compiler won’t make any assumptions about the value in that address after writing to it.