On Wed, 4 Jun 2025 15:23:55 GMT, Andrei Pangin <apangin at openjdk.org> wrote: >> I pushed the modifications. > > Simply set `sival_ptr` to `NULL`, the value is never used. You're right, thanks. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/25302#discussion_r2126886264