EMLINT=/usr/dick/lint
-LPASS1="$EMLINT/lpass1/lnt -Dmc68000"
-LPASS2="$EMLINT/lpass2/lpass2"
-LINTLIB=${LINTLIB-$EMLINT/llib}
+LPASS1="$EMLINT/lpass1/lnt -Dmc68000" # pass 1 program
+LPASS2="$EMLINT/lpass2/lpass2" # pass 2 program
+LLLIB="$EMLINT/llib" # lint libraries directory
+
+LINTLIB=${LINTLIB-$LLLIB}
TMP=/usr/tmp/lint1.$$
NEW=/usr/tmp/lint2.$$
set dummy $LINTFLAGS $@ # dummy as a shield for $LINTFLAGS
shift # remove dummy
-LIBRARY=no
+LIBRARY=
# get the non-library options
while test -n "$1"
shift
;;
-L*) # make a lint library
- LIBRARY=`expr "$1" : '-L\(llib-l.*\)'`
+ LIBRARY=`expr "$1" : '-L\(.*\)'`
shift
;;
-*) # for pass 1 or pass 2
done
case "$LIBRARY" in
-no) # normal lint; we want its messages on stdout; this takes some doing
+'') # normal lint; we want its messages on stdout; this takes some doing
( # intermediate file has to go to stdout for pipe connection
( # pass 1: messages to stderr
- LIBC=true # true if llib-lc to be included
+ LIBC=true # true if c.llb to be included
STATNR=0 # static scope number
for F in $*
do
case $F in
- -l) # do NOT include llib-lc
+ -l) # do NOT include c.llb
LIBC=
;;
- -lc) # do include llib-lc
+ -lc) # do include c.llb
LIBC=true
;;
-l*) # include special lint library
- cat $LINTLIB/llib$F
+ cat $LINTLIB/`expr $F : '-l\(.*\)'`.llb
;;
*.c) # a real C-file
STATNR=` expr $STATNR + 1 `
;;
*) # a lint library?
case `basename $F` in
- llib-l*) # yes, it is
+ *.llb) # yes, it is
cat $F
;;
*)
done
case "$LIBC" in
- true) # append llib-lc
- cat $LINTLIB/llib-lc
+ true) # append c.llb
+ cat $LINTLIB/c.llb
;;
esac
) |
cat $TMP
;;
-*) # making a lint library
+?*) # making a lint library
set -e # stop at first sign of trouble
- case $LIBRARY in
- llib-l*) # OK
+ case "$LIBRARY" in
+ *.llb) # OK
;;
- *)
- echo "Lint library name does not start with 'llib-l'" >&2
- exit 1
+ *) # no suffix .llb
+ LIBRARY=$LIBRARY.llb
;;
esac
do
case $F in
*.c) # a C file
- ( echo "/* LINTLIBRARY */"
- echo "#line 1 \"$F\""
- cat $F
- ) >$TMP
- $LPASS1 $PARAMS1 -Dlint -v $TMP
+ $LPASS1 $PARAMS1 -Dlint -L $F
;;
*) # a library?
case `basename $F` in
- llib-l*) # yes, it is
+ *.llb) # yes, it is
cat $F
;;
*)
# get the last line for each name and sort them
cat $LIBRARY $NEW |
awk -F: '
- { entry[$1] = $0;
- }
- END { for (e in entry) {print entry[e];}
- }
+ {
+ entry[$1] = $0;
+ }
+ END {
+ for (e in entry) {print entry[e];}
+ }
' |
- sort >$TMP
+ sort |
+ grep -v '^main:' >$TMP
cp $TMP $LIBRARY
-.TH LINT 1 88/2/22
+.\" (c) copyright 1987 by the Vrije Universiteit, Amsterdam, The Netherlands.
+.\" See the copyright notice in the ACK home directory, in the file "Copyright".
+.\"
+.\" $Header$
+.TH LINT 1 88/10/13
.SH NAME
lint \- a C program checker
.SH SYNOPSIS
.br
.B lint
.BR \-L libname
-[file | libname2 ] ...
+[file | libname2
+.BR \-l xxx
+] ...
.br
.SH DESCRIPTION
.I Lint
program files.
When it detects a doubtful construction
(which need not be an error) it gives a warning.
-.I Lint
-does a full flow-of-control check, except that
+.PP
+It does a full flow-of-control check, except that
.BR goto s
-are not followed and non-termination of functions is not propagated.
+are not followed and that the fact that a function does not return
+is not propagated.
If, however, no
.BR goto s
-are used, each call to a non-terminating function is followed by
+are used, each call of a non-returning function is followed by
/*NOTREACHED*/ and each switch has a default clause (possibly consisting
of /*NOTREACHED*/), the initialization state of all local variables will
be checked correctly.
.PP
-The second command is used to maintain lint libraries; these are ASCII files
+It checks the types of the arguments implied by the format in a call of
+.IR printf() ,
+.IR scanf()
+and family, if the format-string is a direct argument in the call.
+Formats of user functions can be indicated using a FORMAT pseudo-comment; see
+below.
+.PP
+.I Libraries
+.PP
+The second command (the
+.BR \-L -option)
+is used to maintain lint libraries; these are ASCII files
that contain the output of the first pass.
-A library name must start with
-.B llib\-l
-and cannot end in
-.BR .c .
+A library name ends in
+.BR .llb .
A lint user library can be created and updated by using the
.B \-L
option. The
.I libname
-must be a local file and can be passed to
+must be a local file, end in
+.BR .llb ,
+and can be passed to
.I lint
again as a normal argument.
.PP
-Standard libraries are searched using the
+Standard libraries are searched by default or by explicitly giving the
.B \-l
option; their format is identical to that of the user library files.
Possibilities are
tells
.I lint
not to use the standard C library.
+The standard libraries are searched for in the standard lint directory or
+in the directory given in the environment variable LINTLIB, if present.
+.PP
+.I Options
.PP
The
.BR \-D ,
.B \-U
and
.B \-I
-options are recognized as separate arguments. The
+options are recognized as separate arguments and conform to those of
+.IR cc .
+The
.B \-KR
option tells
.I lint
is run on a generated source file.
.TP
.B h
-Signal "null effects", possible pointer alignment problems and unexpected
-constructs. Report definitions of variables that have a scope wider than
+Apply several heuristics:
+signal "null effects", possible pointer alignment problems and odd
+constructs; report definitions of variables that have a scope wider than
necessary: extern variables that are used in one file only, automatic
variables that could be more local.
.TP
.B x
Complain about unused external variables.
.PP
-In some cases where the programmer knows that a construction is questionable
-but nevertheless correct, a pseudo-comment can be used to silence
-.IR lint ;
-the comments recognized are:
-.TP
-/* VARARGS\fIn\fR */
-The next function can be called with a variable number of
-arguments.
-Only check the types of the first \fIn\fR arguments.
-The \fIn\fR must follow the word VARARGS immediately.
-.TP
-/* VARARGS */
-Same as /* VARARGS0 */
+.I Pseudo-comments
+.PP
+The following pseudo-comments can be used to influence the behaviour of
+.IR lint:
.TP
/* ARGSUSED */
Do not warn about arguments not used in the next function
The following definitions are assumed to be part of a library.
It suppresses complaints about unused functions and variables
and is used in the creation of lint libraries.
+It implies /* ARGSUSED */.
+.TP
+/* VARARGS\fIn\fR */
+The next function can be called with a variable number of
+arguments.
+Only check the types of the first \fIn\fR arguments.
+The \fIn\fR must follow the word VARARGS immediately.
+/* VARARGS0 */ may be abbreviated to /* VARARGS */.
+.TP
+/* FORMAT\fIn\fR $ ... $ */
+The \fIn\fP-th argument (counting from 0) of the next function declaration
+corresponds to a
+.IR printf -like
+format string. Details about the format are given between the $$. A missing
+$$ repeats the latest format.
+The \fIn\fR must follow the word FORMAT immediately.
+/* FORMAT\fIn\fR $ ... $ */ implies /* VARARGS\fIn+1\fP */; if the format
+is followed by more required arguments, a separate /* VARARGS\fIm\fP */
+must be given after the FORMAT pseudo-comment.
+.PP
+.I Formats
+.PP
+.I Lint
+recognizes conversion specifications of the form %[N|*|][.[N|*]]X where X
+is an arbitrary string, given in the $$-part of the FORMAT pseudo-comment.
+The latter consists of a list of format specifications, each of the form
+.IR %X = type ,
+where
+.I type
+is the expected type in "C normal form" (like in a cast, with no superfluous
+parentheses and without the use of typedefs).
+.PP
+Example: the FORMAT pseudo-comment for
+.I printf()
+is:
+.br
+/* FORMAT0 $
+.br
+ %[dox] = int %l[dox] = long %[DOX] = long
+.br
+ %u = unsigned int %lu = unsigned long %U = unsigned long
+.br
+ %[feg] = double
+.br
+ %c = int %s = char *
+.br
+$ */
+.SH "ENVIRONMENT VARIABLES"
+LINTFLAGS additional flag arguments (e.g. LINTFLAGS=\-h)
+.br
+LINTLIB directory in which the standard libraries are looked up
.SH FILES
-.IP ???/lnt 35
+.IP ???/lnt 24
first pass
.IP ???/lpass2/lpass2
second pass
-.IP ???/llib/llib\-l*
+.IP ???/llib/*.llb
lint libraries
.SH SEE ALSO
cem(1)
Initializations hidden inside for statements are sometimes overlooked.
.SH AUTHOR
Frans Kunst, Vrije Universiteit, Amsterdam.
+.br
+Dick Grune, Vrije Universiteit, Amsterdam.
+.br
public / ack.git / commitdiff