[RFC][PATCH v3] Initial support for C11 Annex K Bounds checking functions

[Joseph S. Myers]

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