On Fri, 1 Mar 2002, Walter Briscoe wrote:
> #ifndef STRICT, an /*@alt void@*/ annotion is applied to the return
> types of fprintf, printf, and sprintf in lib/standard.h.
> Why are other *printf functions (such as vprintf) not so annotated?
>
This is a judgement call --- our sense was that fpri
#ifndef STRICT, an /*@alt void@*/ annotion is applied to the return
types of fprintf, printf, and sprintf in lib/standard.h.
Why are other *printf functions (such as vprintf) not so annotated?
#if 1, memcpy, memmove and memset are similarly annotated. I was about
to ask about strcpy but see it