main1.c revision 1.41 1 1.41 rillig /* $NetBSD: main1.c,v 1.41 2021/03/28 15:36:37 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.41 rillig __RCSID("$NetBSD: main1.c,v 1.41 2021/03/28 15:36:37 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.36 rillig bool yflag;
56 1.1 cgd
57 1.1 cgd /*
58 1.32 rillig * Print warnings if an assignment of an integer type to another integer type
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.36 rillig bool bflag;
67 1.1 cgd
68 1.1 cgd /* Print warnings for pointer casts. */
69 1.36 rillig bool cflag;
70 1.1 cgd
71 1.1 cgd /* Print various debug information. */
72 1.36 rillig bool dflag;
73 1.1 cgd
74 1.1 cgd /* Perform stricter checking of enum types and operations on enum types. */
75 1.36 rillig bool eflag;
76 1.1 cgd
77 1.1 cgd /* Print complete pathnames, not only the basename. */
78 1.36 rillig bool Fflag;
79 1.1 cgd
80 1.1 cgd /* Enable some extensions of gcc */
81 1.36 rillig bool gflag;
82 1.1 cgd
83 1.5 christos /* Treat warnings as errors */
84 1.36 rillig bool 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.36 rillig bool hflag;
91 1.1 cgd
92 1.1 cgd /* Attempt to check portability to other dialects of C. */
93 1.36 rillig bool 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.36 rillig bool rflag;
100 1.1 cgd
101 1.1 cgd /* Strict ANSI C mode. */
102 1.36 rillig bool sflag;
103 1.1 cgd
104 1.34 rillig bool Tflag;
105 1.34 rillig
106 1.1 cgd /* Traditional C mode. */
107 1.36 rillig bool tflag;
108 1.1 cgd
109 1.13 christos /* Enable C9X extensions */
110 1.36 rillig bool Sflag;
111 1.19 christos
112 1.19 christos /* Picky flag */
113 1.36 rillig bool Pflag;
114 1.19 christos
115 1.1 cgd /*
116 1.1 cgd * Complain about functions and external variables used and not defined,
117 1.1 cgd * or defined and not used.
118 1.1 cgd */
119 1.36 rillig bool uflag = true;
120 1.1 cgd
121 1.1 cgd /* Complain about unused function arguments. */
122 1.36 rillig bool vflag = true;
123 1.1 cgd
124 1.1 cgd /* Complain about structures which are never defined. */
125 1.36 rillig bool zflag = true;
126 1.1 cgd
127 1.10 augustss err_set msgset;
128 1.5 christos
129 1.18 christos sig_atomic_t fpe;
130 1.18 christos
131 1.8 lukem static void usage(void);
132 1.4 christos
133 1.22 christos static const char builtins[] =
134 1.22 christos "int __builtin_isinf(long double);\n"
135 1.22 christos "int __builtin_isnan(long double);\n"
136 1.22 christos "int __builtin_copysign(long double, long double);\n"
137 1.22 christos ;
138 1.39 rillig static const size_t builtinlen = sizeof builtins - 1;
139 1.25 christos
140 1.25 christos static FILE *
141 1.41 rillig gcc_builtins(void)
142 1.25 christos {
143 1.25 christos #if HAVE_NBTOOL_CONFIG_H
144 1.25 christos char template[] = "/tmp/lint.XXXXXX";
145 1.25 christos int fd;
146 1.25 christos FILE *fp;
147 1.25 christos if ((fd = mkstemp(template)) == -1)
148 1.25 christos return NULL;
149 1.25 christos (void)unlink(template);
150 1.25 christos if ((fp = fdopen(fd, "r+")) == NULL) {
151 1.25 christos close(fd);
152 1.25 christos return NULL;
153 1.25 christos }
154 1.25 christos if (fwrite(builtins, 1, builtinlen, fp) != builtinlen) {
155 1.25 christos fclose(fp);
156 1.25 christos return NULL;
157 1.25 christos }
158 1.25 christos rewind(fp);
159 1.25 christos return fp;
160 1.25 christos #else
161 1.25 christos return fmemopen(__UNCONST(builtins), builtinlen, "r");
162 1.23 christos #endif
163 1.25 christos }
164 1.1 cgd
165 1.18 christos /*ARGSUSED*/
166 1.18 christos static void
167 1.18 christos sigfpe(int s)
168 1.18 christos {
169 1.37 rillig fpe = 1;
170 1.18 christos }
171 1.18 christos
172 1.1 cgd int
173 1.8 lukem main(int argc, char *argv[])
174 1.1 cgd {
175 1.1 cgd int c;
176 1.5 christos char *ptr;
177 1.1 cgd
178 1.12 tv setprogname(argv[0]);
179 1.12 tv
180 1.10 augustss ERR_ZERO(&msgset);
181 1.34 rillig while ((c = getopt(argc, argv, "abcdeghmprstuvwyzFPR:STX:")) != -1) {
182 1.1 cgd switch (c) {
183 1.1 cgd case 'a': aflag++; break;
184 1.36 rillig case 'b': bflag = true; break;
185 1.36 rillig case 'c': cflag = true; break;
186 1.36 rillig case 'd': dflag = true; break;
187 1.36 rillig case 'e': eflag = true; break;
188 1.36 rillig case 'F': Fflag = true; break;
189 1.36 rillig case 'g': gflag = true; break;
190 1.36 rillig case 'h': hflag = true; break;
191 1.36 rillig case 'p': pflag = true; break;
192 1.36 rillig case 'P': Pflag = true; break;
193 1.36 rillig case 'r': rflag = true; break;
194 1.36 rillig case 's': sflag = true; break;
195 1.36 rillig case 'S': Sflag = true; break;
196 1.34 rillig case 'T': Tflag = true; break;
197 1.36 rillig case 't': tflag = true; break;
198 1.36 rillig case 'u': uflag = false; break;
199 1.36 rillig case 'w': wflag = true; break;
200 1.36 rillig case 'v': vflag = false; break;
201 1.36 rillig case 'y': yflag = true; break;
202 1.36 rillig case 'z': zflag = false; break;
203 1.5 christos
204 1.5 christos case 'm':
205 1.5 christos msglist();
206 1.33 rillig return 0;
207 1.5 christos
208 1.28 rillig case 'R':
209 1.40 rillig add_directory_replacement(optarg);
210 1.26 christos break;
211 1.26 christos
212 1.5 christos case 'X':
213 1.36 rillig for (ptr = strtok(optarg, ","); ptr != NULL;
214 1.5 christos ptr = strtok(NULL, ",")) {
215 1.5 christos char *eptr;
216 1.14 lukem long msg;
217 1.14 lukem
218 1.14 lukem errno = 0;
219 1.14 lukem msg = strtol(ptr, &eptr, 0);
220 1.20 christos if ((msg == TARG_LONG_MIN || msg == TARG_LONG_MAX) &&
221 1.5 christos errno == ERANGE)
222 1.5 christos err(1, "invalid error message id '%s'",
223 1.5 christos ptr);
224 1.36 rillig if (*eptr != '\0' || ptr == eptr || msg < 0 ||
225 1.10 augustss msg >= ERR_SETSIZE)
226 1.5 christos errx(1, "invalid error message id '%s'",
227 1.5 christos ptr);
228 1.10 augustss ERR_SET(msg, &msgset);
229 1.5 christos }
230 1.5 christos break;
231 1.5 christos case '?':
232 1.5 christos default:
233 1.5 christos usage();
234 1.5 christos break;
235 1.1 cgd }
236 1.1 cgd }
237 1.1 cgd argc -= optind;
238 1.1 cgd argv += optind;
239 1.1 cgd
240 1.1 cgd if (argc != 2)
241 1.1 cgd usage();
242 1.1 cgd
243 1.1 cgd
244 1.1 cgd /* initialize output */
245 1.1 cgd outopen(argv[1]);
246 1.1 cgd
247 1.27 christos #ifdef YYDEBUG
248 1.1 cgd if (yflag)
249 1.1 cgd yydebug = 1;
250 1.27 christos #endif
251 1.1 cgd
252 1.18 christos (void)signal(SIGFPE, sigfpe);
253 1.1 cgd initmem();
254 1.1 cgd initdecl();
255 1.1 cgd initscan();
256 1.1 cgd
257 1.41 rillig if (gflag) {
258 1.41 rillig if ((yyin = gcc_builtins()) == NULL)
259 1.41 rillig err(1, "cannot open builtins");
260 1.41 rillig yyparse();
261 1.41 rillig fclose(yyin);
262 1.41 rillig }
263 1.25 christos
264 1.22 christos /* open the input file */
265 1.22 christos if ((yyin = fopen(argv[0], "r")) == NULL)
266 1.22 christos err(1, "cannot open '%s'", argv[0]);
267 1.1 cgd yyparse();
268 1.25 christos fclose(yyin);
269 1.1 cgd
270 1.1 cgd /* Following warnings cannot be suppressed by LINTED */
271 1.21 christos lwarn = LWARN_ALL;
272 1.17 christos #ifdef DEBUG
273 1.21 christos printf("%s, %d: lwarn = %d\n", curr_pos.p_file, curr_pos.p_line, lwarn);
274 1.17 christos #endif
275 1.1 cgd
276 1.30 rillig check_global_symbols();
277 1.1 cgd
278 1.1 cgd outclose();
279 1.1 cgd
280 1.36 rillig return nerr != 0 ? 1 : 0;
281 1.1 cgd }
282 1.1 cgd
283 1.1 cgd static void
284 1.8 lukem usage(void)
285 1.1 cgd {
286 1.5 christos (void)fprintf(stderr,
287 1.35 rillig "Usage: %s [-abcdeghmprstuvwyzFST] [-X <id>[,<id>]... src dest\n",
288 1.6 cgd getprogname());
289 1.1 cgd exit(1);
290 1.1 cgd }
291 1.8 lukem
292 1.1 cgd void
293 1.8 lukem norecover(void)
294 1.1 cgd {
295 1.1 cgd /* cannot recover from previous errors */
296 1.1 cgd error(224);
297 1.1 cgd exit(1);
298 1.1 cgd }
299