Pointers have an address, in the sense that it is semantically correct to take their address. If they happen to reside in a register at a given moment, that is

Pointers have an address, in the sense that it is semantically correct to take their address. If they happen to reside in a register at a given moment, that is an optimization and doesn't change their semantics.