Home | History | Annotate | Line # | Download | only in lint1
main1.c revision 1.25.6.1
      1  1.25.6.1  pgoyette /*	$NetBSD: main1.c,v 1.25.6.1 2017/01/07 08:56:59 pgoyette Exp $	*/
      2       1.2       cgd 
      3       1.1       cgd /*
      4       1.1       cgd  * Copyright (c) 1994, 1995 Jochen Pohl
      5       1.1       cgd  * All Rights Reserved.
      6       1.1       cgd  *
      7       1.1       cgd  * Redistribution and use in source and binary forms, with or without
      8       1.1       cgd  * modification, are permitted provided that the following conditions
      9       1.1       cgd  * are met:
     10       1.1       cgd  * 1. Redistributions of source code must retain the above copyright
     11       1.1       cgd  *    notice, this list of conditions and the following disclaimer.
     12       1.1       cgd  * 2. Redistributions in binary form must reproduce the above copyright
     13       1.1       cgd  *    notice, this list of conditions and the following disclaimer in the
     14       1.1       cgd  *    documentation and/or other materials provided with the distribution.
     15       1.1       cgd  * 3. All advertising materials mentioning features or use of this software
     16       1.1       cgd  *    must display the following acknowledgement:
     17       1.1       cgd  *      This product includes software developed by Jochen Pohl for
     18       1.1       cgd  *	The NetBSD Project.
     19       1.1       cgd  * 4. The name of the author may not be used to endorse or promote products
     20       1.1       cgd  *    derived from this software without specific prior written permission.
     21       1.1       cgd  *
     22       1.1       cgd  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
     23       1.1       cgd  * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
     24       1.1       cgd  * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
     25       1.1       cgd  * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
     26       1.1       cgd  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
     27       1.1       cgd  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
     28       1.1       cgd  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
     29       1.1       cgd  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
     30       1.1       cgd  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
     31       1.1       cgd  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
     32       1.1       cgd  */
     33       1.1       cgd 
     34      1.15       jmc #if HAVE_NBTOOL_CONFIG_H
     35      1.15       jmc #include "nbtool_config.h"
     36      1.15       jmc #endif
     37      1.15       jmc 
     38       1.4  christos #include <sys/cdefs.h>
     39      1.12        tv #if defined(__RCSID) && !defined(lint)
     40  1.25.6.1  pgoyette __RCSID("$NetBSD: main1.c,v 1.25.6.1 2017/01/07 08:56:59 pgoyette Exp $");
     41       1.1       cgd #endif
     42       1.1       cgd 
     43       1.5  christos #include <sys/types.h>
     44       1.1       cgd #include <stdio.h>
     45       1.5  christos #include <string.h>
     46       1.1       cgd #include <stdlib.h>
     47       1.1       cgd #include <unistd.h>
     48       1.5  christos #include <errno.h>
     49       1.5  christos #include <limits.h>
     50      1.18  christos #include <signal.h>
     51       1.1       cgd 
     52       1.1       cgd #include "lint1.h"
     53       1.1       cgd 
     54       1.1       cgd /* set yydebug to 1*/
     55       1.1       cgd int	yflag;
     56       1.1       cgd 
     57       1.1       cgd /*
     58       1.1       cgd  * Print warnings if an assignment of an integertype to another integertype
     59      1.16     perry  * causes an implicit narrowing conversion. If aflag is 1, these warnings
     60       1.1       cgd  * are printed only if the source type is at least as wide as long. If aflag
     61       1.9       wiz  * is greater than 1, they are always printed.
     62       1.1       cgd  */
     63       1.1       cgd int	aflag;
     64       1.1       cgd 
     65       1.1       cgd /* Print a warning if a break statement cannot be reached. */
     66       1.1       cgd int	bflag;
     67       1.1       cgd 
     68       1.1       cgd /* Print warnings for pointer casts. */
     69       1.1       cgd int	cflag;
     70       1.1       cgd 
     71       1.1       cgd /* Print various debug information. */
     72       1.1       cgd int	dflag;
     73       1.1       cgd 
     74       1.1       cgd /* Perform stricter checking of enum types and operations on enum types. */
     75       1.1       cgd int	eflag;
     76       1.1       cgd 
     77       1.1       cgd /* Print complete pathnames, not only the basename. */
     78       1.1       cgd int	Fflag;
     79       1.1       cgd 
     80       1.1       cgd /* Enable some extensions of gcc */
     81       1.1       cgd int	gflag;
     82       1.1       cgd 
     83       1.5  christos /* Treat warnings as errors */
     84       1.5  christos int	wflag;
     85       1.5  christos 
     86       1.1       cgd /*
     87       1.1       cgd  * Apply a number of heuristic tests to attempt to intuit bugs, improve
     88       1.1       cgd  * style, and reduce waste.
     89       1.1       cgd  */
     90       1.1       cgd int	hflag;
     91       1.1       cgd 
     92       1.1       cgd /* Attempt to check portability to other dialects of C. */
     93       1.1       cgd int	pflag;
     94       1.1       cgd 
     95       1.1       cgd /*
     96       1.1       cgd  * In case of redeclarations/redefinitions print the location of the
     97       1.1       cgd  * previous declaration/definition.
     98       1.1       cgd  */
     99       1.1       cgd int	rflag;
    100       1.1       cgd 
    101       1.1       cgd /* Strict ANSI C mode. */
    102       1.1       cgd int	sflag;
    103       1.1       cgd 
    104       1.1       cgd /* Traditional C mode. */
    105       1.1       cgd int	tflag;
    106       1.1       cgd 
    107      1.13  christos /* Enable C9X extensions */
    108      1.13  christos int	Sflag;
    109      1.19  christos 
    110      1.19  christos /* Picky flag */
    111      1.19  christos int	Pflag;
    112      1.19  christos 
    113       1.1       cgd /*
    114       1.1       cgd  * Complain about functions and external variables used and not defined,
    115       1.1       cgd  * or defined and not used.
    116       1.1       cgd  */
    117       1.1       cgd int	uflag = 1;
    118       1.1       cgd 
    119       1.1       cgd /* Complain about unused function arguments. */
    120       1.1       cgd int	vflag = 1;
    121       1.1       cgd 
    122       1.1       cgd /* Complain about structures which are never defined. */
    123       1.1       cgd int	zflag = 1;
    124       1.1       cgd 
    125      1.10  augustss err_set	msgset;
    126       1.5  christos 
    127      1.18  christos sig_atomic_t fpe;
    128      1.18  christos 
    129       1.8     lukem static	void	usage(void);
    130       1.4  christos 
    131      1.22  christos static const char builtins[] =
    132      1.22  christos     "int __builtin_isinf(long double);\n"
    133      1.22  christos     "int __builtin_isnan(long double);\n"
    134      1.22  christos     "int __builtin_copysign(long double, long double);\n"
    135      1.22  christos ;
    136      1.25  christos static size_t builtinlen = sizeof(builtins) - 1;
    137      1.25  christos 
    138      1.25  christos static FILE *
    139      1.25  christos bltin(void)
    140      1.25  christos {
    141      1.25  christos #if HAVE_NBTOOL_CONFIG_H
    142      1.25  christos 	char template[] = "/tmp/lint.XXXXXX";
    143      1.25  christos 	int fd;
    144      1.25  christos 	FILE *fp;
    145      1.25  christos 	if ((fd = mkstemp(template)) == -1)
    146      1.25  christos 		return NULL;
    147      1.25  christos 	(void)unlink(template);
    148      1.25  christos 	if ((fp = fdopen(fd, "r+")) == NULL) {
    149      1.25  christos 		close(fd);
    150      1.25  christos 		return NULL;
    151      1.25  christos 	}
    152      1.25  christos 	if (fwrite(builtins, 1, builtinlen, fp) != builtinlen) {
    153      1.25  christos 		fclose(fp);
    154      1.25  christos 		return NULL;
    155      1.25  christos 	}
    156      1.25  christos 	rewind(fp);
    157      1.25  christos 	return fp;
    158      1.25  christos #else
    159      1.25  christos 	return fmemopen(__UNCONST(builtins), builtinlen, "r");
    160      1.23  christos #endif
    161      1.25  christos }
    162       1.1       cgd 
    163      1.18  christos /*ARGSUSED*/
    164      1.18  christos static void
    165      1.18  christos sigfpe(int s)
    166      1.18  christos {
    167      1.18  christos 	fpe = 1;
    168      1.18  christos }
    169      1.18  christos 
    170       1.1       cgd int
    171       1.8     lukem main(int argc, char *argv[])
    172       1.1       cgd {
    173       1.1       cgd 	int	c;
    174       1.5  christos 	char	*ptr;
    175       1.1       cgd 
    176      1.12        tv 	setprogname(argv[0]);
    177      1.12        tv 
    178      1.10  augustss 	ERR_ZERO(&msgset);
    179  1.25.6.1  pgoyette 	while ((c = getopt(argc, argv, "abcdeghmprstuvwyzFPR:SX:")) != -1) {
    180       1.1       cgd 		switch (c) {
    181       1.1       cgd 		case 'a':	aflag++;	break;
    182       1.1       cgd 		case 'b':	bflag = 1;	break;
    183       1.1       cgd 		case 'c':	cflag = 1;	break;
    184       1.1       cgd 		case 'd':	dflag = 1;	break;
    185       1.1       cgd 		case 'e':	eflag = 1;	break;
    186       1.1       cgd 		case 'F':	Fflag = 1;	break;
    187       1.1       cgd 		case 'g':	gflag = 1;	break;
    188       1.1       cgd 		case 'h':	hflag = 1;	break;
    189       1.1       cgd 		case 'p':	pflag = 1;	break;
    190      1.19  christos 		case 'P':	Pflag = 1;	break;
    191       1.1       cgd 		case 'r':	rflag = 1;	break;
    192       1.1       cgd 		case 's':	sflag = 1;	break;
    193      1.13  christos 		case 'S':	Sflag = 1;	break;
    194       1.1       cgd 		case 't':	tflag = 1;	break;
    195       1.1       cgd 		case 'u':	uflag = 0;	break;
    196       1.5  christos 		case 'w':	wflag = 1;	break;
    197       1.1       cgd 		case 'v':	vflag = 0;	break;
    198       1.1       cgd 		case 'y':	yflag = 1;	break;
    199       1.1       cgd 		case 'z':	zflag = 0;	break;
    200       1.5  christos 
    201       1.5  christos 		case 'm':
    202       1.5  christos 			msglist();
    203       1.5  christos 			return(0);
    204       1.5  christos 
    205  1.25.6.1  pgoyette 		case 'R':
    206  1.25.6.1  pgoyette 			fnaddreplsrcdir(optarg);
    207  1.25.6.1  pgoyette 			break;
    208  1.25.6.1  pgoyette 
    209       1.5  christos 		case 'X':
    210       1.5  christos 			for (ptr = strtok(optarg, ","); ptr;
    211       1.5  christos 			    ptr = strtok(NULL, ",")) {
    212       1.5  christos 				char *eptr;
    213      1.14     lukem 				long msg;
    214      1.14     lukem 
    215      1.14     lukem 				errno = 0;
    216      1.14     lukem 				msg = strtol(ptr, &eptr, 0);
    217      1.20  christos 				if ((msg == TARG_LONG_MIN || msg == TARG_LONG_MAX) &&
    218       1.5  christos 				    errno == ERANGE)
    219       1.5  christos 				    err(1, "invalid error message id '%s'",
    220       1.5  christos 					ptr);
    221       1.5  christos 				if (*eptr || ptr == eptr || msg < 0 ||
    222      1.10  augustss 				    msg >= ERR_SETSIZE)
    223       1.5  christos 					errx(1, "invalid error message id '%s'",
    224       1.5  christos 					    ptr);
    225      1.10  augustss 				ERR_SET(msg, &msgset);
    226       1.5  christos 			}
    227       1.5  christos 			break;
    228       1.5  christos 		case '?':
    229       1.5  christos 		default:
    230       1.5  christos 			usage();
    231       1.5  christos 			break;
    232       1.1       cgd 		}
    233       1.1       cgd 	}
    234       1.1       cgd 	argc -= optind;
    235       1.1       cgd 	argv += optind;
    236       1.1       cgd 
    237       1.1       cgd 	if (argc != 2)
    238       1.1       cgd 		usage();
    239       1.1       cgd 
    240       1.1       cgd 
    241       1.1       cgd 	/* initialize output */
    242       1.1       cgd 	outopen(argv[1]);
    243       1.1       cgd 
    244       1.1       cgd 	if (yflag)
    245       1.1       cgd 		yydebug = 1;
    246       1.1       cgd 
    247      1.18  christos 	(void)signal(SIGFPE, sigfpe);
    248       1.1       cgd 	initmem();
    249       1.1       cgd 	initdecl();
    250       1.1       cgd 	initscan();
    251       1.1       cgd 	initmtab();
    252       1.1       cgd 
    253      1.25  christos 	if ((yyin = bltin()) == NULL)
    254      1.22  christos 		err(1, "cannot open builtins");
    255      1.22  christos 	yyparse();
    256      1.25  christos 	fclose(yyin);
    257      1.25  christos 
    258      1.22  christos 	/* open the input file */
    259      1.22  christos 	if ((yyin = fopen(argv[0], "r")) == NULL)
    260      1.22  christos 		err(1, "cannot open '%s'", argv[0]);
    261       1.1       cgd 	yyparse();
    262      1.25  christos 	fclose(yyin);
    263       1.1       cgd 
    264       1.1       cgd 	/* Following warnings cannot be suppressed by LINTED */
    265      1.21  christos 	lwarn = LWARN_ALL;
    266      1.17  christos #ifdef DEBUG
    267      1.21  christos 	printf("%s, %d: lwarn = %d\n", curr_pos.p_file, curr_pos.p_line, lwarn);
    268      1.17  christos #endif
    269       1.1       cgd 
    270       1.1       cgd 	chkglsyms();
    271       1.1       cgd 
    272       1.1       cgd 	outclose();
    273       1.1       cgd 
    274       1.1       cgd 	return (nerr != 0);
    275       1.1       cgd }
    276       1.1       cgd 
    277       1.1       cgd static void
    278       1.8     lukem usage(void)
    279       1.1       cgd {
    280       1.5  christos 	(void)fprintf(stderr,
    281      1.13  christos 	    "Usage: %s [-abcdeghmprstuvwyzFS] [-X <id>[,<id>]... src dest\n",
    282       1.6       cgd 	    getprogname());
    283       1.1       cgd 	exit(1);
    284       1.1       cgd }
    285       1.8     lukem 
    286       1.1       cgd void
    287       1.8     lukem norecover(void)
    288       1.1       cgd {
    289       1.1       cgd 	/* cannot recover from previous errors */
    290       1.1       cgd 	error(224);
    291       1.1       cgd 	exit(1);
    292       1.1       cgd }
    293