On Thu, 20 Apr 2023 01:12:44 GMT, Jorn Vernee <jver...@openjdk.org> wrote:
>> This patch adds checks in AbstractLinker to reject packed structs and >> structs with excess padding (e.g. unnamed bitfields), since both of those >> are currently not supported, and the ABI/spec seems too vague to base >> support on. > > Jorn Vernee has updated the pull request incrementally with four additional > commits since the last revision: > > - restrictions -> characteristics > - polish pt. 2 > - polish wording > - review comments Looks good. One (optional, for future?) thing that came to mind, is that if we wanted to speed up the check we could compute whether a layout is canonical or not on construction (since for structs we already have to go through all the elements and check alignment). ------------- Marked as reviewed by mcimadamore (Reviewer). PR Review: https://git.openjdk.org/jdk/pull/13164#pullrequestreview-1393584926