The Store instruction stores Val at address Addr. Stores can be of arbitrary types.

Pos() returns the position of the source-level construct most closely associated with the memory store operation. Since implicit memory stores are numerous and varied and depend upon implementation choices, the details are not specified.

Example printed form:

*x = y

Store is referenced in 16 repositories