Path: utzoo!mnetor!uunet!seismo!sundc!pitstop!sun!gorodish!guy
From: guy@gorodish.Sun.COM (Guy Harris)
Newsgroups: comp.lang.c
Subject: Re: lint suggestion
Message-ID: <41262@sun.uucp>
Date: 8 Feb 88 08:01:55 GMT
References: <631@cresswell.quintus.UUCP>
Sender: news@sun.uucp
Lines: 14
Keywords: printf-"prototype"

> Why not check that the arguments are consistent with the format?

The System V "lint" libraries contain items of the form:

		/*VARARGS1 PRINTFLIKE1*/
	int	printf(s) char *s; { return (0); }

Unfortunately, the System V "lint" doesn't implement "PRINTFLIKE".  However, a
Ninth Edition manual I saw did document "PRINTFLIKE", so maybe it is
implemented there; then again, "NOSTRICT" was documented in some versions of
the "lint" manual page although it wasn't implemented.
	Guy Harris
	{ihnp4, decvax, seismo, decwrl, ...}!sun!guy
	guy@sun.com