Ketil Froyn wrote:
> Is this a corner case undefined by POSIX, for instance, or does POSIX
> explicitly say that this is the correct behaviour? 

The answers to these questions are no and yes.  See "System Interfaces"
in "The Open Group Base Specifications Issue 6."  Perhaps you could have
discovered this for yourself?