The time(2) man page conflicts with glibc

[Andreas Schwab]

Zack Weinberg <zackw@panix.com> writes:

> 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".

It doesn't matter.

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."