On 4/13/23 07:39, Paul Eggert wrote:
> Oh, good point. Revised patch attached. It also says behavior is 
> undefined if the source string overlaps the destination buffer.

Ouch, I sent the wrong patch. Sorry about that. Please look at the 
attached instead; it matches the intent stated above (plus it's shorter 
and easier to read).