This confused me quite a bit in JDK-8371581 investigations.

With JDK-8346184, I see we have moved the block in LoadNode::Value that produced bottom values for the block that "If we are loading from a freshly-allocated object, produce a zero, if the load is provably beyond the header of the object." This comment is misleading, and really related to the old place, which actually returns zeroes.

It would be better to clean this up to avoid further confusion. There should be no semantic change, only the cleanup.