RFR: 8264908: Investigate adding BOT range check in G1BlockOffsetTablePart::block_at_or_preceding [v3]

[Thomas Schatzl]

On Wed, 14 Jul 2021 14:38:51 GMT, Albert Mingkun Yang <ayang at openjdk.org> wrote:

>> I can add the deferred change, instead of splitting it off into a separate PR.
>
>> the caller (block_start) allows more than the callee (values < _hr->end())
> 
> That path should never be taken, so I am not worried about. I suggested putting that in another PR since those assertions are not obvious from the current ticket title. Anyway, this is subjective.

@albertnetymk : I know. Still it seems something is missing to me, but that's subjective. Let's just defer it.

-------------

PR: https://git.openjdk.java.net/jdk/pull/4775