On Sat, 1 Oct 2022 18:17:21 GMT, Igor Veresov <iveresov at openjdk.org> wrote: > Thanks for the hint! I'll push these changes to the front-end and take a harder look at the GCM. Thanks Igor! ------------- PR: https://git.openjdk.org/jdk/pull/10517