Home | History | Annotate | Line # | Download | only in lint1
main1.c revision 1.29
      1  1.29    rillig /*	$NetBSD: main1.c,v 1.29 2020/12/28 19:07:43 rillig 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.29    rillig __RCSID("$NetBSD: main1.c,v 1.29 2020/12/28 19:07:43 rillig Exp $");
     41   1.1       cgd #endif
     42   1.1       cgd 
     43   1.5  christos #include <sys/types.h>
     44  1.29    rillig #include <errno.h>
     45  1.29    rillig #include <limits.h>
     46  1.29    rillig #include <signal.h>
     47   1.1       cgd #include <stdio.h>
     48  1.29    rillig #include <stdlib.h>
     49   1.5  christos #include <string.h>
     50   1.1       cgd #include <unistd.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.26  christos 	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.28    rillig 		case 'R':
    206  1.26  christos 			fnaddreplsrcdir(optarg);
    207  1.26  christos 			break;
    208  1.26  christos 
    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.27  christos #ifdef YYDEBUG
    245   1.1       cgd 	if (yflag)
    246   1.1       cgd 		yydebug = 1;
    247  1.27  christos #endif
    248   1.1       cgd 
    249  1.18  christos 	(void)signal(SIGFPE, sigfpe);
    250   1.1       cgd 	initmem();
    251   1.1       cgd 	initdecl();
    252   1.1       cgd 	initscan();
    253   1.1       cgd 	initmtab();
    254   1.1       cgd 
    255  1.25  christos 	if ((yyin = bltin()) == NULL)
    256  1.22  christos 		err(1, "cannot open builtins");
    257  1.22  christos 	yyparse();
    258  1.25  christos 	fclose(yyin);
    259  1.25  christos 
    260  1.22  christos 	/* open the input file */
    261  1.22  christos 	if ((yyin = fopen(argv[0], "r")) == NULL)
    262  1.22  christos 		err(1, "cannot open '%s'", argv[0]);
    263   1.1       cgd 	yyparse();
    264  1.25  christos 	fclose(yyin);
    265   1.1       cgd 
    266   1.1       cgd 	/* Following warnings cannot be suppressed by LINTED */
    267  1.21  christos 	lwarn = LWARN_ALL;
    268  1.17  christos #ifdef DEBUG
    269  1.21  christos 	printf("%s, %d: lwarn = %d\n", curr_pos.p_file, curr_pos.p_line, lwarn);
    270  1.17  christos #endif
    271   1.1       cgd 
    272   1.1       cgd 	chkglsyms();
    273   1.1       cgd 
    274   1.1       cgd 	outclose();
    275   1.1       cgd 
    276   1.1       cgd 	return (nerr != 0);
    277   1.1       cgd }
    278   1.1       cgd 
    279   1.1       cgd static void
    280   1.8     lukem usage(void)
    281   1.1       cgd {
    282   1.5  christos 	(void)fprintf(stderr,
    283  1.13  christos 	    "Usage: %s [-abcdeghmprstuvwyzFS] [-X <id>[,<id>]... src dest\n",
    284   1.6       cgd 	    getprogname());
    285   1.1       cgd 	exit(1);
    286   1.1       cgd }
    287   1.8     lukem 
    288   1.1       cgd void
    289   1.8     lukem norecover(void)
    290   1.1       cgd {
    291   1.1       cgd 	/* cannot recover from previous errors */
    292   1.1       cgd 	error(224);
    293   1.1       cgd 	exit(1);
    294   1.1       cgd }
    295