We should only zap returns in functions, where all live users have a
replace-able value (are not overdefined). Unused return values should be
This should make it easier to detect bugs like in PR42738.
Alternatively we could bail out of zapping the function returns, but I
think it would be better to address those divergences between function
and call-site values where they are actually caused.