The time(2) man page conflicts with glibc

[Andreas Schwab]

Zack Weinberg <zackw@panix.com> writes:

> I did.  The *actual system call* does indeed return -EFAULT when
> memory is invalid, which will be observed as 0xfffffffffffffff2 in the
> return value.  However, the *vDSO shortcut* (which does not trap into
> the kernel) will just segfault the application.  This is an observable
> ABI difference between statically and dynamically linked binaries.

Undefined behaviour can change any time in any way and is not part of
the ABI.

Andreas.

-- 
Andreas Schwab, SUSE Labs, schwab@suse.de
GPG Key fingerprint = 0196 BAD8 1CE9 1970 F4BE  1748 E4D4 88E3 0EEA B9D7
"And now for something completely different."