getopt_long permutation algorithm questions

[Rich Felker <dalias@libc.org>]

As part of resolving the rest of the dist-local changes Alpine is
applying to musl, I'm trying to figure out how to add GNU-style
argument permutation to getopt_long. The basic concept is simple: when
a non-option argument is encountered, skip forward until the next
option (argument beginning with '-') and move it (and possibly its
argument) before the non-option arguments. However, there are some
ugly corner cases like:

arg1 -ab foo arg2

where 'a' and 'b' are options, and 'b' takes an argument, foo. Here it
seems like, in order to perform the correct permutation, lookahead is
required to see that foo also needs to be moved. Is this correct?

For long options, it's immediately decidable from the option being
processed whether it has no argument, or an argument that's part of
the same argv[] string, or a separate option in the next argv[] slot.
For short options, it seems necessary to scan each character of the
argv[] string to be moved, looking for the first option that takes an
argument. If none is found, or if such a character is found in a
non-final position, only this string needs to be moved. If an option
needing an argument is found in the final position, two argv[] strings
need to be moved. Is this correct?

Rich