RFR: 8291359: Specification of method j.l.foreign.VaList::skip still deserves clarification [v2]

[Jorn Vernee]

On Thu, 1 Dec 2022 21:56:32 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote:

>> Right.
>
> This sentence still needs to be clarified IMHO. E.g. it is not clear when reading what "using a memory layout other than the layout of the accessed value" - since we are passing a layout to the access operation... it feels like we're trying to compress too much. We should say something like:
> 
> 
> The values in a variable argument list are stored in one or more regions of memory in a platform specific fashion. 
> Any attempt to access (or skip) any such value with a mismatched memory layout (example) will result in undefined behavior.

I think we don't need to say anything about how the values are stored. I wanted to avoid using the term "undefined behavior" at first as well, since it sounds like something that is defined elsewhere (which it isn't), but maybe that's okay. Though, I agree that what I have now doesn't quite feel right.

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

PR: https://git.openjdk.org/jdk/pull/11440