diff options
| author | Jacob McDonnell <jacob@jacobmcdonnell.com> | 2026-04-26 16:38:00 -0400 |
|---|---|---|
| committer | Jacob McDonnell <jacob@jacobmcdonnell.com> | 2026-04-26 16:38:00 -0400 |
| commit | 97d5c458cfa039d857301e1ca7d5af3beb37131d (patch) | |
| tree | b460cd850d0537eb71806ba30358840377b27688 /static/unix-v10/man1/olint.1 | |
| parent | b89dc2331a50c63f8b33272a5c4c61ab98abdaa3 (diff) | |
build: Better Build System
Diffstat (limited to 'static/unix-v10/man1/olint.1')
| -rw-r--r-- | static/unix-v10/man1/olint.1 | 147 |
1 files changed, 147 insertions, 0 deletions
diff --git a/static/unix-v10/man1/olint.1 b/static/unix-v10/man1/olint.1 new file mode 100644 index 00000000..9911eee4 --- /dev/null +++ b/static/unix-v10/man1/olint.1 @@ -0,0 +1,147 @@ +.TH LINT 1 +.UC 4 +.SH NAME +lint \- a C program verifier +.SH SYNOPSIS +.B lint +[ +.B \-abchnpuvx +] +file ... +.SH DESCRIPTION +.I Lint +attempts to detect features of the C program +.I files +which are +likely to be bugs, or non-portable, or wasteful. +It also checks the type usage of the program more strictly +than the compilers. +Among the things which are currently found are +unreachable statements, +loops not entered at the top, +automatic variables declared and not used, +and logical expressions whose value is constant. +Moreover, the usage of functions is checked to find +functions which return values in some places and not in others, +functions called with varying numbers of arguments, +and functions whose values are not used. +.PP +By default, it is assumed that all the +.I files +are to be loaded together; they are checked for +mutual compatibility. +Function definitions for certain libraries are available to +.IR lint ; +these libraries are referred to by a +conventional name, +such as `\-lm', in the style of +.IR ld (1). +.PP +Any number of the options in the following list +may be used. +The +.SM +.BR \-D "\*S," +.SM +.BR \-U "\*S," +and +.SM +.B \-I +options of +.IR cc (1) +are also recognized as separate arguments. +.TP +.B p +Attempt to check portability to the +.I IBM +and +.I GCOS +dialects of C. +.TP +.B h +Apply a number of heuristic tests to attempt to +intuit bugs, improve style, and reduce waste. +.TP +.B b +Report +.I break +statements that cannot be reached. +(This is not the default because, unfortunately, +most +.I lex +and many +.I yacc +outputs produce dozens of such comments.) +.TP +.B v +Suppress complaints about unused arguments in functions. +.TP +.B x +Report variables referred to by extern declarations, +but never used. +.TP +.B a +Report assignments of long values to int variables. +.TP +.B c +Complain about casts which have questionable portability. +.TP +.B u +Do not complain about functions and variables used and not +defined, or defined and not used (this is suitable for running +.I lint +on a subset of files out of a larger program). +.TP +.B n +Do not check compatibility against the standard library. +.PP +.IR Exit (2) +and other functions which do not return +are not understood; this causes various lies. +.PP +Certain conventional comments in the C source +will change the behavior of +.IR lint : +.TP +/*NOTREACHED*/ +at appropriate points +stops comments about unreachable code. +.TP +.RI /*VARARGS n */ +suppresses +the usual checking for variable numbers of arguments +in the following function declaration. +The data types of the first +.I n +arguments are checked; +a missing +.I n +is taken to be 0. +.TP +/*NOSTRICT*/ +shuts off strict type checking in the next expression. +.TP +/*ARGSUSED*/ +turns on the +.B \-v +option for the next function. +.TP +/*LINTLIBRARY*/ +at the beginning of a file shuts off complaints about +unused functions in this file. +.SH FILES +.ta \w'/usr/lib/llib-port 'u +/usr/lib/lint/lint[12] programs +.br +/usr/lib/lint/llib-lc declarations for standard functions +.br +/usr/lib/lint/llib-port declarations for portable functions +.SH SEE ALSO +cc(1) +.br +S. C. Johnson, +.I Lint, a C Program Checker +.SH BUGS +There are some things you just +.B can't +get lint to shut up about. |
