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: "Joseph S. Myers" <joseph at codesourcery dot com>
- To: Ulrich Bayer <ubayer at sba-research dot org>
- Cc: <libc-alpha at sourceware dot org>
- Date: Fri, 7 Jun 2013 11:10:43 +0000
- Subject: Re: [RFC][PATCH v3] Initial support for C11 Annex K Bounds checking functions
- References: <51B1B444 dot 8080608 at sba-research dot org>
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.
--
Joseph S. Myers
joseph@codesourcery.com