From 900421f4116c0325b2a5508d57834a26ed290eb5 Mon Sep 17 00:00:00 2001 From: dick Date: Fri, 28 Oct 1988 16:27:32 +0000 Subject: [PATCH] library files now end in .llb --- lang/cem/lint/lpass2/ChangeLog | 5 ++ lang/cem/lint/lpass2/lint | 60 +++++++-------- lang/cem/lint/lpass2/lint.1 | 132 +++++++++++++++++++++++++-------- 3 files changed, 136 insertions(+), 61 deletions(-) diff --git a/lang/cem/lint/lpass2/ChangeLog b/lang/cem/lint/lpass2/ChangeLog index 0ce7e640b..1290a8ee1 100644 --- a/lang/cem/lint/lpass2/ChangeLog +++ b/lang/cem/lint/lpass2/ChangeLog @@ -1,3 +1,8 @@ +28-Oct-88 Dick Grune (dick) at dick + The names of UNIX lint library files start with llib-l..., where the + -l is the -l from -lc and -lm, a hack if there ever was one. Our + (ACK) lint library files now end in .llb. + 2-Sep-88 Dick Grune (dick) at dick Guided by lint itself, many functions have been declared PRIVATE. diff --git a/lang/cem/lint/lpass2/lint b/lang/cem/lint/lpass2/lint index a4b2ce81e..11133d589 100755 --- a/lang/cem/lint/lpass2/lint +++ b/lang/cem/lint/lpass2/lint @@ -10,9 +10,11 @@ PATH=/bin:/usr/bin 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.$$ @@ -23,7 +25,7 @@ trap "rm -f $TMP $NEW; exit 0" 0 set dummy $LINTFLAGS $@ # dummy as a shield for $LINTFLAGS shift # remove dummy -LIBRARY=no +LIBRARY= # get the non-library options while test -n "$1" @@ -41,7 +43,7 @@ do shift ;; -L*) # make a lint library - LIBRARY=`expr "$1" : '-L\(llib-l.*\)'` + LIBRARY=`expr "$1" : '-L\(.*\)'` shift ;; -*) # for pass 1 or pass 2 @@ -56,23 +58,23 @@ do 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 ` @@ -80,7 +82,7 @@ no) # normal lint; we want its messages on stdout; this takes some doing ;; *) # a lint library? case `basename $F` in - llib-l*) # yes, it is + *.llb) # yes, it is cat $F ;; *) @@ -92,8 +94,8 @@ no) # normal lint; we want its messages on stdout; this takes some doing done case "$LIBC" in - true) # append llib-lc - cat $LINTLIB/llib-lc + true) # append c.llb + cat $LINTLIB/c.llb ;; esac ) | @@ -108,15 +110,14 @@ no) # normal lint; we want its messages on stdout; this takes some doing 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 @@ -129,15 +130,11 @@ no) # normal lint; we want its messages on stdout; this takes some doing 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 ;; *) @@ -151,12 +148,15 @@ no) # normal lint; we want its messages on stdout; this takes some doing # 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 diff --git a/lang/cem/lint/lpass2/lint.1 b/lang/cem/lint/lpass2/lint.1 index c3cf856e0..7a3f624cb 100644 --- a/lang/cem/lint/lpass2/lint.1 +++ b/lang/cem/lint/lpass2/lint.1 @@ -1,4 +1,8 @@ -.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 @@ -12,7 +16,9 @@ lint \- a C program checker .br .B lint .BR \-L libname -[file | libname2 ] ... +[file | libname2 +.BR \-l xxx +] ... .br .SH DESCRIPTION .I Lint @@ -20,32 +26,44 @@ does an extensive consistency and plausibility check on a set of C 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 @@ -59,13 +77,19 @@ is default; a single 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 @@ -88,8 +112,9 @@ This flag may be useful when 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 @@ -102,19 +127,10 @@ Do not warn about unused arguments of functions. .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 @@ -132,12 +148,63 @@ that a statement never "returns". 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) @@ -152,3 +219,6 @@ After a label, all automatic variables are assumed initialized. Initializations hidden inside for statements are sometimes overlooked. .SH AUTHOR Frans Kunst, Vrije Universiteit, Amsterdam. +.br +Dick Grune, Vrije Universiteit, Amsterdam. +.br