This is the mail archive of the
libc-alpha@sourceware.org
mailing list for the glibc project.
Re: [RFC][PATCH v3] Initial support for C11 Annex K Bounds checking functions
- From: Ulrich Bayer <ubayer at sba-research dot org>
- To: "Joseph S. Myers" <joseph at codesourcery dot com>
- Cc: <libc-alpha at sourceware dot org>
- Date: Fri, 7 Jun 2013 13:43:52 +0200
- Subject: Re: [RFC][PATCH v3] Initial support for C11 Annex K Bounds checking functions
- References: <51B1B444 dot 8080608 at sba-research dot org> <Pine dot LNX dot 4 dot 64 dot 1306071107550 dot 10244 at digraph dot polyomino dot org dot uk>
On 07.06.2013 13:10, Joseph S. Myers wrote:
> On Fri, 7 Jun 2013, Ulrich Bayer wrote:
>
>> In addition to the notnull attribute I have also removed the pure
>> attribute from strnlen_s because the runtime-constraint handler might
>> change between function calls. Thus, it does IMHO not qualify as being
>> tagged with pure.
>
> No, I think you were right the first time there; strnlen_s has no runtime
> constraints (see footnote 428) and appears to me to be pure; likewise
> wcsnlen_s.
Right. Thanks for catching this.
Fixed (will be part of next patch).