On Sat, 8 May 2021 19:41:44 GMT, Albert Mingkun Yang <ayang at openjdk.org> wrote: > Identified during the review of #3900. Using `pointer_delta` to fix the issue and some general cleanup. Marked as reviewed by kbarrett (Reviewer). ------------- PR: https://git.openjdk.java.net/jdk/pull/3936