I don't think that any of the gateway redundancy protocols replace the actual IP address on the primary or backup devices. The actually physical interface addresses are distinct from the additional address (virtual IP address) which the device hears on if it is the master router.