Assertion: variable's value | /r/AtLocation | foo
Facets:
value: to 0
type: OTHER
Source sentences:
text: In this example, the code sets the value stored in foo to 0 .
text: An optimizing compiler will notice that no other code can possibly change the value stored in foo , and will assume that it will remain equal to 0 at all times.