The time(2) man page conflicts with glibc

[Zack Weinberg]

On Tue, Dec 15, 2015 at 9:31 AM, Andreas Schwab <schwab@suse.de> wrote:
> 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.

I should have said "observable behavior difference".

zw