Today, after a load has been performed, and the oop is bad, it will go through a load barrier. The load barrier sometimes reloads the oop and returns a potentially different object to the one passed in. It would be easier to reason about what happens if the load barrier returns the same logical object that was passed in (or NULL if it is dead).