A byte of storage
b is
reachable through a pointer value
that points to an object
Y
if there is an object
Z,
pointer-interconvertible with
Y,
such that
b is within the storage occupied by
Z, or
the immediately-enclosing array object if
Z is an array element
.