Intel XENIX 286 Programmers Guide (86) - Tenox.tc

lint: C Program Checker XENIX Programming
The situation reverts to the previous default after the next expression. The -v option
can be turned on for one function with the directive
I* ARGSUSED *I
Comments about a variable number of arguments in calls to a function can be turned off
by preceding the function definition with the directive
I* VARARGS *I
In some cases, you may want to check the first several arguments and leave the later
arguments unchecked. Do this by following the VARARGS keyword immediately with a
digit giving the number of arguments that should be checked. Thus
I* VARARGS2 *I
causes only the first two argu ments to be checked. Finally, the directive
I* LINTLIBRARY *I
at the head of a file identifies this file as a library declaration file, discussed in the next
section.
Checking for Library Compatibility
lint accepts certain library directives, such as
-ly
and tests the source files for compatibility with these libraries. This testing is done by
accessing library description files whose names are constructed from the library
directives. These files all begin with the directive
I* LINTLIBRARY *I
which is followed by a series of dummy function definitions. The critical parts of these
definitions are the declaration of the function return type, whether the dummy function
returns a value, and the number and types of argu ments to the function. The
"VARARGS" and "ARGSUSED" directives can be used to specify features of the library
functions.
lint library files are processed almost exactly like ordinary source files. The only
difference is that functions defined in a library file but not used in a source file, draw
no com ments. lint does not simulate a full library search algorithm. lint does check to
see if the source files contain redefinitions of library routines.
By default, lint checks the programs it is given against a standard library file, which
contains descriptions of the standard functions that are normally loaded when a C
program is run. When the -p option is in effect, the portable libarary file is checked
containing descriptions of the standard 1/0 library routines which are expected to be
portable across various machines. The -n option can be used to suppress all library
checking.
3-1 2