On Fri, 15 Dec 2023 08:23:58 GMT, Markus KARG <d...@openjdk.org> wrote:
> Fixes JDK-8322141 > > As suggested by @vlsi and documented by @bplb this PR does not return, but > only sets the maximum result value. @bplb Kindly requesting your review. ------------- PR Comment: https://git.openjdk.org/jdk/pull/17119#issuecomment-1857471406