This is the mail archive of the
libc-alpha@sourceware.org
mailing list for the glibc project.
Re: Implement C11 annex K?
- From: "David A. Wheeler" <dwheeler at dwheeler dot com>
- To: "libc-alpha" <libc-alpha at sourceware dot org>
- Date: Sun, 17 Aug 2014 20:59:48 -0400 (EDT)
- Subject: Re: Implement C11 annex K?
- Authentication-results: sourceware.org; auth=none
- Reply-to: dwheeler at dwheeler dot com
On Sun, 17 Aug 2014 19:25:20 -0400, Rich Felker <dalias@libc.org> wrote:
> Since the interface contract only requires an array of precision
> bytes (or even fewer if a null terminator appears sooner), there is no
> way to an implementation to "read more chars" unless it has some
> hidden mechanism to determine the size of the pointed-to object, which
> in reality is not going to exist.
Okay, that's a fair argument from a *spec* point of view.
> However I agree that it would be
> nice to formally specify that no other part of the array (if the array
> actually is larger) shall be accessed.
Agreed.
--- David A. Wheeler