Pointers Are Complicated III, or: Pointer-integer casts exposed

[RalfJung]

@davidchisnall

Arithmetic on pointers / [u]intptr use a get-address intrinsic, then the op, then a set-address intrinsic. This propagates the provenance.

If x and y are both uintptr_t, then what does x+y return? Which side’s provenance does it use?

@DavidSpickett

(one typo, “hold arbitrary data in a container of a given time” should be “type”?)

oops thanks for pointing that out!