Integrated: 8254360: Re-examine use of CodeBuffer::verify_section_allocation

Wed Nov 25 21:53:56 UTC 2020

On Tue, 24 Nov 2020 23:36:22 GMT, Claes Redestad <redestad at openjdk.org> wrote:

> - In release builds, only call `verify_section_allocation` in `~CodeBuffer`. This reduce overhead, while retaining most of the verification promises in product builds.
> - Minor touch-ups the implementation of `verify_section_allocation`: Use is_aligned. Add a `disjoint` predicate. Only compare two sections once per verification. Remove some redundant checks.

This pull request has now been integrated.

Changeset: 20020d15
Author:    Claes Redestad <redestad at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/20020d15
Stats:     25 lines in 2 files changed: 7 ins; 2 del; 16 mod

8254360: Re-examine use of CodeBuffer::verify_section_allocation

Reviewed-by: neliasso, thartmann, kvn

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

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