diff options
| -rw-r--r-- | usr.bin/xlint/lint1/externs1.h | 3 | ||||
| -rw-r--r-- | usr.bin/xlint/lint1/func.c | 6 | ||||
| -rw-r--r-- | usr.bin/xlint/lint1/main1.c | 9 | ||||
| -rw-r--r-- | usr.bin/xlint/xlint/lint.1 | 13 |
4 files changed, 9 insertions, 22 deletions
diff --git a/usr.bin/xlint/lint1/externs1.h b/usr.bin/xlint/lint1/externs1.h index 520025684a5..9d96f353203 100644 --- a/usr.bin/xlint/lint1/externs1.h +++ b/usr.bin/xlint/lint1/externs1.h @@ -1,4 +1,4 @@ -/* $OpenBSD: externs1.h,v 1.13 2006/05/28 23:42:49 cloder Exp $ */ +/* $OpenBSD: externs1.h,v 1.14 2006/05/28 23:50:54 cloder Exp $ */ /* $NetBSD: externs1.h,v 1.7 1995/10/02 17:31:39 jpo Exp $ */ /* @@ -35,7 +35,6 @@ /* * main.c */ -extern int bflag; extern int cflag; extern int dflag; extern int eflag; diff --git a/usr.bin/xlint/lint1/func.c b/usr.bin/xlint/lint1/func.c index 3f29b04489f..cca33022fea 100644 --- a/usr.bin/xlint/lint1/func.c +++ b/usr.bin/xlint/lint1/func.c @@ -1,4 +1,4 @@ -/* $OpenBSD: func.c,v 1.16 2006/04/26 15:57:41 cloder Exp $ */ +/* $OpenBSD: func.c,v 1.17 2006/05/28 23:50:54 cloder Exp $ */ /* $NetBSD: func.c,v 1.7 1995/10/02 17:31:40 jpo Exp $ */ /* @@ -33,7 +33,7 @@ */ #ifndef lint -static char rcsid[] = "$OpenBSD: func.c,v 1.16 2006/04/26 15:57:41 cloder Exp $"; +static char rcsid[] = "$OpenBSD: func.c,v 1.17 2006/05/28 23:50:54 cloder Exp $"; #endif #include <stdlib.h> @@ -952,7 +952,7 @@ dobreak(void) * // etc... * } */ - if (bflag && (ci == NULL || !ci->c_switch)) + if (ci == NULL || !ci->c_switch) chkreach(); reached = rchflg = 0; diff --git a/usr.bin/xlint/lint1/main1.c b/usr.bin/xlint/lint1/main1.c index 07c3d12d54f..3952a5de9c0 100644 --- a/usr.bin/xlint/lint1/main1.c +++ b/usr.bin/xlint/lint1/main1.c @@ -1,4 +1,4 @@ -/* $OpenBSD: main1.c,v 1.9 2006/05/28 23:42:49 cloder Exp $ */ +/* $OpenBSD: main1.c,v 1.10 2006/05/28 23:50:54 cloder Exp $ */ /* $NetBSD: main1.c,v 1.3 1995/10/02 17:29:56 jpo Exp $ */ /* @@ -33,7 +33,7 @@ */ #ifndef lint -static char rcsid[] = "$OpenBSD: main1.c,v 1.9 2006/05/28 23:42:49 cloder Exp $"; +static char rcsid[] = "$OpenBSD: main1.c,v 1.10 2006/05/28 23:50:54 cloder Exp $"; #endif #include <stdio.h> @@ -46,9 +46,6 @@ static char rcsid[] = "$OpenBSD: main1.c,v 1.9 2006/05/28 23:42:49 cloder Exp $" /* set yydebug to 1*/ int yflag; -/* Print a warning if a break statement cannot be reached. */ -int bflag; - /* Print warnings for pointer casts. */ int cflag; @@ -110,7 +107,7 @@ main(int argc, char *argv[]) while ((c = getopt(argc, argv, "abcdefghprstuvyzF")) != -1) { switch (c) { case 'a': /* obsolete */ break; - case 'b': bflag = 1; break; + case 'b': /* obsolete */ break; case 'c': cflag = 1; break; case 'd': dflag = 1; break; case 'e': eflag = 1; break; diff --git a/usr.bin/xlint/xlint/lint.1 b/usr.bin/xlint/xlint/lint.1 index b86bedcd36a..124687b60fd 100644 --- a/usr.bin/xlint/xlint/lint.1 +++ b/usr.bin/xlint/xlint/lint.1 @@ -1,4 +1,4 @@ -.\" $OpenBSD: lint.1,v 1.19 2006/05/28 23:42:49 cloder Exp $ +.\" $OpenBSD: lint.1,v 1.20 2006/05/28 23:50:54 cloder Exp $ .\" $NetBSD: lint.1,v 1.3 1995/10/23 13:45:31 jpo Exp $ .\" .\" Copyright (c) 1994, 1995 Jochen Pohl @@ -38,7 +38,7 @@ .Nd a C program verifier .Sh SYNOPSIS .Nm lint -.Op Fl bcefghprvxzHFV +.Op Fl cefghprvxzHFV .Op Fl s Ns | Ns Fl t .Op Fl i Ns | Ns Fl nu .Op Fl D Ns Ar name Ns Op =def @@ -150,15 +150,6 @@ will be printed followed by a question mark. .Pp The options are as follows: .Bl -tag -width Ds -.It Fl b -Report -.Sy break -statements that cannot be reached. -This is not the default because, unfortunately, most -.Xr lex 1 -and many -.Xr yacc 1 -outputs produce many such complaints. .It Fl c Complain about casts which have questionable portability. .It Fl e |