On Fri, 20 Sep 2024 08:41:45 GMT, Maurizio Cimadamore <mcimadam...@openjdk.org> 
wrote:

> The javadoc of the `Linker` also states that:
> 
> > [A group layout] G does not contain padding other than what is strictly 
> > required to align
> > its non-padding layout elements, or to satisfy (2) [the size of {@code G} 
> > is a multiple of its alignment constraint]
> 
> I believe it is the intent here to rule out empty groups, or groups that 
> contain only padding. Should we address that here (as I believe that once we 
> add more checks, we'll need more tweaks to make the various exception more 
> uniform) ?

Empty structs are supported by GCC, and the size of such a struct is actually 0 
bytes in C (as opposed to C++): https://godbolt.org/z/hvoc88oE7 So they should 
be allowed I think. (We don't currently reject them at least)

-------------

PR Comment: https://git.openjdk.org/jdk/pull/21041#issuecomment-2363402197

Reply via email to