Lint libraries for dpANS C and POSIX?

[Stephen J. Friedl]

/rich $alz posted a complete lint library for ANSI C, but
maybe now is the time for an extension for lint.  Rather than
the standard lint function template format such as:

	char *strcpy(s1, s2) char *s1; const char *s2; { return 0; }

why not permit the prototype form?  Then, the lint library
would be something like:

	/* llib-lc.c */
	/*LINTPROTOLIBRARY*/	/* <---- I made this up	*/
	#include	<stdio.h>
	#include	<stddef.h>
	#include	....

Continue to support the old method, but this would make it
*much* easier to maintain lint libraries because they don't
have to be manually diddled with.

     Comments?
     Steve

-- 
Stephen J. Friedl        3B2-kind-of-guy            friedl at vsi.com
V-Systems, Inc.        I speak for me only      attmail!vsi!friedl
Santa Ana, CA  USA       +1 714 545 6442    {backbones}!vsi!friedl
-------Nancy Reagan on Usenix in San Diego: "Just say *go*"-------