input.c revision 1.5 1 /* $NetBSD: input.c,v 1.5 1997/10/18 14:44:32 lukem Exp $ */
2
3 /*
4 * Copyright (c) 1980, 1993
5 * The Regents of the University of California. All rights reserved.
6 *
7 * Redistribution and use in source and binary forms, with or without
8 * modification, are permitted provided that the following conditions
9 * are met:
10 * 1. Redistributions of source code must retain the above copyright
11 * notice, this list of conditions and the following disclaimer.
12 * 2. Redistributions in binary form must reproduce the above copyright
13 * notice, this list of conditions and the following disclaimer in the
14 * documentation and/or other materials provided with the distribution.
15 * 3. All advertising materials mentioning features or use of this software
16 * must display the following acknowledgement:
17 * This product includes software developed by the University of
18 * California, Berkeley and its contributors.
19 * 4. Neither the name of the University nor the names of its contributors
20 * may be used to endorse or promote products derived from this software
21 * without specific prior written permission.
22 *
23 * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
24 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
25 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
26 * ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
27 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
28 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
29 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
30 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
31 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
32 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
33 * SUCH DAMAGE.
34 */
35
36 #include <sys/cdefs.h>
37 #ifndef lint
38 #if 0
39 static char sccsid[] = "@(#)input.c 8.1 (Berkeley) 6/6/93";
40 #endif
41 __RCSID("$NetBSD: input.c,v 1.5 1997/10/18 14:44:32 lukem Exp $");
42 #endif /* not lint */
43
44 #include <stdio.h>
45 #include <ctype.h>
46 #include <stdlib.h>
47 #include <string.h>
48 #include "error.h"
49
50 int wordc; /* how long the current error message is */
51 char **wordv; /* the actual error message */
52
53 int nerrors;
54 int language;
55
56 Errorclass catchall __P((void));
57 Errorclass cpp __P((void));
58 Errorclass f77 __P((void));
59 Errorclass lint0 __P((void));
60 Errorclass lint1 __P((void));
61 Errorclass lint2 __P((void));
62 Errorclass lint3 __P((void));
63 Errorclass make __P((void));
64 Errorclass mod2 __P((void));
65 Errorclass onelong __P((void));
66 Errorclass pccccom __P((void)); /* Portable C Compiler C Compiler */
67 Errorclass pi __P((void));
68 Errorclass ri __P((void));
69 Errorclass richieccom __P((void)); /* Richie Compiler for 11 */
70 Errorclass troff __P((void));
71
72 /*
73 * Eat all of the lines in the input file, attempting to categorize
74 * them by their various flavors
75 */
76 void
77 eaterrors(r_errorc, r_errorv)
78 int *r_errorc;
79 Eptr **r_errorv;
80 {
81 Errorclass errorclass = C_SYNC;
82 char *line;
83 char *inbuffer;
84 size_t inbuflen;
85
86 for (;;){
87 if ((inbuffer = fgetln(errorfile, &inbuflen)) == NULL)
88 break;
89 line = Calloc(inbuflen + 1, sizeof(char));
90 memcpy(line, inbuffer, inbuflen);
91 line[inbuflen] = '\0';
92 wordvbuild(line, &wordc, &wordv);
93 /*
94 * for convience, convert wordv to be 1 based, instead
95 * of 0 based.
96 */
97 wordv -= 1;
98 if ( wordc > 0 &&
99 ((( errorclass = onelong() ) != C_UNKNOWN)
100 || (( errorclass = cpp() ) != C_UNKNOWN)
101 || (( errorclass = pccccom() ) != C_UNKNOWN)
102 || (( errorclass = richieccom() ) != C_UNKNOWN)
103 || (( errorclass = lint0() ) != C_UNKNOWN)
104 || (( errorclass = lint1() ) != C_UNKNOWN)
105 || (( errorclass = lint2() ) != C_UNKNOWN)
106 || (( errorclass = lint3() ) != C_UNKNOWN)
107 || (( errorclass = make() ) != C_UNKNOWN)
108 || (( errorclass = f77() ) != C_UNKNOWN)
109 || ((errorclass = pi() ) != C_UNKNOWN)
110 || (( errorclass = ri() )!= C_UNKNOWN)
111 || (( errorclass = mod2() )!= C_UNKNOWN)
112 || (( errorclass = troff() )!= C_UNKNOWN))
113 ) ;
114 else
115 errorclass = catchall();
116 if (wordc)
117 erroradd(wordc, wordv+1, errorclass, C_UNKNOWN);
118 }
119 #ifdef FULLDEBUG
120 printf("%d errorentrys\n", nerrors);
121 #endif
122 arrayify(r_errorc, r_errorv, er_head);
123 }
124
125 /*
126 * create a new error entry, given a zero based array and count
127 */
128 void
129 erroradd(errorlength, errorv, errorclass, errorsubclass)
130 int errorlength;
131 char **errorv;
132 Errorclass errorclass;
133 Errorclass errorsubclass;
134 {
135 Eptr newerror;
136 char *cp;
137
138 if (errorclass == C_TRUE){
139 /* check canonicalization of the second argument*/
140 for(cp = errorv[1]; *cp && isdigit(*cp); cp++)
141 continue;
142 errorclass = (*cp == '\0') ? C_TRUE : C_NONSPEC;
143 #ifdef FULLDEBUG
144 if (errorclass != C_TRUE)
145 printf("The 2nd word, \"%s\" is not a number.\n",
146 errorv[1]);
147 #endif
148 }
149 if (errorlength > 0){
150 newerror = (Eptr)Calloc(1, sizeof(Edesc));
151 newerror->error_language = language; /* language is global */
152 newerror->error_text = errorv;
153 newerror->error_lgtext = errorlength;
154 if (errorclass == C_TRUE)
155 newerror->error_line = atoi(errorv[1]);
156 newerror->error_e_class = errorclass;
157 newerror->error_s_class = errorsubclass;
158 switch(newerror->error_e_class = discardit(newerror)){
159 case C_SYNC: nsyncerrors++; break;
160 case C_DISCARD: ndiscard++; break;
161 case C_NULLED: nnulled++; break;
162 case C_NONSPEC: nnonspec++; break;
163 case C_THISFILE: nthisfile++; break;
164 case C_TRUE: ntrue++; break;
165 case C_UNKNOWN: nunknown++; break;
166 case C_IGNORE: nignore++; break;
167 }
168 newerror->error_next = er_head;
169 er_head = newerror;
170 newerror->error_no = nerrors++;
171 } /* length > 0 */
172 }
173
174 Errorclass
175 onelong()
176 {
177 char **nwordv;
178 if ( (wordc == 1) && (language != INLD) ){
179 /*
180 * We have either:
181 * a) file name from cc
182 * b) Assembler telling world that it is complaining
183 * c) Noise from make ("Stop.")
184 * c) Random noise
185 */
186 wordc = 0;
187 if (strcmp(wordv[1], "Stop.") == 0){
188 language = INMAKE; return(C_SYNC);
189 }
190 if (strcmp(wordv[1], "Assembler:") == 0){
191 /* assembler always alerts us to what happened*/
192 language = INAS; return(C_SYNC);
193 } else
194 if (strcmp(wordv[1], "Undefined:") == 0){
195 /* loader complains about unknown symbols*/
196 language = INLD; return(C_SYNC);
197 }
198 if (lastchar(wordv[1]) == ':'){
199 /* cc tells us what file we are in */
200 currentfilename = wordv[1];
201 (void)substitute(currentfilename, ':', '\0');
202 language = INCC; return(C_SYNC);
203 }
204 } else
205 if ( (wordc == 1) && (language == INLD) ){
206 nwordv = (char **)Calloc(4, sizeof(char *));
207 nwordv[0] = "ld:";
208 nwordv[1] = wordv[1];
209 nwordv[2] = "is";
210 nwordv[3] = "undefined.";
211 wordc = 4;
212 wordv = nwordv - 1;
213 return(C_NONSPEC);
214 } else
215 if (wordc == 1){
216 return(C_SYNC);
217 }
218 return(C_UNKNOWN);
219 } /* end of one long */
220
221 Errorclass
222 cpp()
223 {
224 /*
225 * Now attempt a cpp error message match
226 * Examples:
227 * ./morse.h: 23: undefined control
228 * morsesend.c: 229: MAGNIBBL: argument mismatch
229 * morsesend.c: 237: MAGNIBBL: argument mismatch
230 * test1.c: 6: undefined control
231 */
232 if ( (language != INLD) /* loader errors have almost same fmt*/
233 && (lastchar(wordv[1]) == ':')
234 && (isdigit(firstchar(wordv[2])))
235 && (lastchar(wordv[2]) == ':') ){
236 language = INCPP;
237 clob_last(wordv[1], '\0');
238 clob_last(wordv[2], '\0');
239 return(C_TRUE);
240 }
241 return(C_UNKNOWN);
242 } /*end of cpp*/
243
244 Errorclass
245 pccccom()
246 {
247 /*
248 * Now attempt a ccom error message match:
249 * Examples:
250 * "morsesend.c", line 237: operands of & have incompatible types
251 * "test.c", line 7: warning: old-fashioned initialization: use =
252 * "subdir.d/foo2.h", line 1: illegal initialization
253 */
254 if ( (firstchar(wordv[1]) == '"')
255 && (lastchar(wordv[1]) == ',')
256 && (next_lastchar(wordv[1]) == '"')
257 && (strcmp(wordv[2],"line") == 0)
258 && (isdigit(firstchar(wordv[3])))
259 && (lastchar(wordv[3]) == ':') ){
260 clob_last(wordv[1], '\0'); /* drop last , */
261 clob_last(wordv[1], '\0'); /* drop last " */
262 wordv[1]++; /* drop first " */
263 clob_last(wordv[3], '\0'); /* drop : on line number */
264 wordv[2] = wordv[1]; /* overwrite "line" */
265 wordv++; /*compensate*/
266 wordc--;
267 currentfilename = wordv[1];
268 language = INCC;
269 return(C_TRUE);
270 }
271 return(C_UNKNOWN);
272 } /* end of ccom */
273 /*
274 * Do the error message from the Richie C Compiler for the PDP11,
275 * which has this source:
276 *
277 * if (filename[0])
278 * fprintf(stderr, "%s:", filename);
279 * fprintf(stderr, "%d: ", line);
280 *
281 */
282
283 Errorclass
284 richieccom()
285 {
286 char *cp;
287 char **nwordv;
288 char *file;
289
290 if (lastchar(wordv[1]) == ':'){
291 cp = wordv[1] + strlen(wordv[1]) - 1;
292 while (isdigit(*--cp))
293 continue;
294 if (*cp == ':'){
295 clob_last(wordv[1], '\0'); /* last : */
296 *cp = '\0'; /* first : */
297 file = wordv[1];
298 nwordv = wordvsplice(1, wordc, wordv+1);
299 nwordv[0] = file;
300 nwordv[1] = cp + 1;
301 wordc += 1;
302 wordv = nwordv - 1;
303 language = INCC;
304 currentfilename = wordv[1];
305 return(C_TRUE);
306 }
307 }
308 return(C_UNKNOWN);
309 }
310
311 Errorclass
312 lint0()
313 {
314 char **nwordv;
315 char *line, *file;
316 /*
317 * Attempt a match for the new lint style normal compiler
318 * error messages, of the form
319 *
320 * printf("%s(%d): %s\n", filename, linenumber, message);
321 */
322 if (wordc >= 2){
323 if ( (lastchar(wordv[1]) == ':')
324 && (next_lastchar(wordv[1]) == ')')
325 ) {
326 clob_last(wordv[1], '\0'); /* colon */
327 if (persperdexplode(wordv[1], &line, &file)){
328 nwordv = wordvsplice(1, wordc, wordv+1);
329 nwordv[0] = file; /* file name */
330 nwordv[1] = line; /* line number */
331 wordc += 1;
332 wordv = nwordv - 1;
333 language = INLINT;
334 return(C_TRUE);
335 }
336 wordv[1][strlen(wordv[1])] = ':';
337 }
338 }
339 return (C_UNKNOWN);
340 }
341
342 Errorclass
343 lint1()
344 {
345 char *line1, *line2;
346 char *file1, *file2;
347 char **nwordv1, **nwordv2;
348
349 /*
350 * Now, attempt a match for the various errors that lint
351 * can complain about.
352 *
353 * Look first for type 1 lint errors
354 */
355 if (wordc > 1 && strcmp(wordv[wordc-1], "::") == 0){
356 /*
357 * %.7s, arg. %d used inconsistently %s(%d) :: %s(%d)
358 * %.7s value used inconsistently %s(%d) :: %s(%d)
359 * %.7s multiply declared %s(%d) :: %s(%d)
360 * %.7s value declared inconsistently %s(%d) :: %s(%d)
361 * %.7s function value type must be declared before use %s(%d) :: %s(%d)
362 */
363 language = INLINT;
364 if (wordc > 2
365 && (persperdexplode(wordv[wordc], &line2, &file2))
366 && (persperdexplode(wordv[wordc-2], &line1, &file1)) ){
367 nwordv1 = wordvsplice(2, wordc, wordv+1);
368 nwordv2 = wordvsplice(2, wordc, wordv+1);
369 nwordv1[0] = file1; nwordv1[1] = line1;
370 erroradd(wordc+2, nwordv1, C_TRUE, C_DUPL); /* takes 0 based*/
371 nwordv2[0] = file2; nwordv2[1] = line2;
372 wordc = wordc + 2;
373 wordv = nwordv2 - 1; /* 1 based */
374 return(C_TRUE);
375 }
376 }
377 return(C_UNKNOWN);
378 } /* end of lint 1*/
379
380 Errorclass
381 lint2()
382 {
383 char *file;
384 char *line;
385 char **nwordv;
386 /*
387 * Look for type 2 lint errors
388 *
389 * %.7s used( %s(%d) ), but not defined
390 * %.7s defined( %s(%d) ), but never used
391 * %.7s declared( %s(%d) ), but never used or defined
392 *
393 * bufp defined( "./metric.h"(10) ), but never used
394 */
395 if ( (lastchar(wordv[2]) == '(' /* ')' */ )
396 && (strcmp(wordv[4], "),") == 0) ){
397 language = INLINT;
398 if (persperdexplode(wordv[3], &line, &file)){
399 nwordv = wordvsplice(2, wordc, wordv+1);
400 nwordv[0] = file; nwordv[1] = line;
401 wordc = wordc + 2;
402 wordv = nwordv - 1; /* 1 based */
403 return(C_TRUE);
404 }
405 }
406 return(C_UNKNOWN);
407 } /* end of lint 2*/
408
409 char *Lint31[4] = {"returns", "value", "which", "is"};
410 char *Lint32[6] = {"value", "is", "used,", "but", "none", "returned"};
411
412 Errorclass
413 lint3()
414 {
415 if ( (wordvcmp(wordv+2, 4, Lint31) == 0)
416 || (wordvcmp(wordv+2, 6, Lint32) == 0) ){
417 language = INLINT;
418 return(C_NONSPEC);
419 }
420 return(C_UNKNOWN);
421 }
422
423 /*
424 * Special word vectors for use by F77 recognition
425 */
426 char *F77_fatal[3] = {"Compiler", "error", "line"};
427 char *F77_error[3] = {"Error", "on", "line"};
428 char *F77_warning[3] = {"Warning", "on", "line"};
429 char *F77_no_ass[3] = {"Error.","No","assembly."};
430
431 Errorclass
432 f77()
433 {
434 char **nwordv;
435 /*
436 * look for f77 errors:
437 * Error messages from /usr/src/cmd/f77/error.c, with
438 * these printf formats:
439 *
440 * Compiler error line %d of %s: %s
441 * Error on line %d of %s: %s
442 * Warning on line %d of %s: %s
443 * Error. No assembly.
444 */
445 if (wordc == 3 && wordvcmp(wordv+1, 3, F77_no_ass) == 0) {
446 wordc = 0;
447 return(C_SYNC);
448 }
449 if (wordc < 6)
450 return(C_UNKNOWN);
451 if ( (lastchar(wordv[6]) == ':')
452 &&(
453 (wordvcmp(wordv+1, 3, F77_fatal) == 0)
454 || (wordvcmp(wordv+1, 3, F77_error) == 0)
455 || (wordvcmp(wordv+1, 3, F77_warning) == 0) )
456 ){
457 language = INF77;
458 nwordv = wordvsplice(2, wordc, wordv+1);
459 nwordv[0] = wordv[6];
460 clob_last(nwordv[0],'\0');
461 nwordv[1] = wordv[4];
462 wordc += 2;
463 wordv = nwordv - 1; /* 1 based */
464 return(C_TRUE);
465 }
466 return(C_UNKNOWN);
467 } /* end of f77 */
468
469 char *Make_Croak[3] = {"***", "Error", "code"};
470 char *Make_NotRemade[5] = {"not", "remade", "because", "of", "errors"};
471
472 Errorclass
473 make()
474 {
475 if (wordvcmp(wordv+1, 3, Make_Croak) == 0){
476 language = INMAKE;
477 return(C_SYNC);
478 }
479 if (wordvcmp(wordv+2, 5, Make_NotRemade) == 0){
480 language = INMAKE;
481 return(C_SYNC);
482 }
483 return(C_UNKNOWN);
484 }
485
486 Errorclass
487 ri()
488 {
489 /*
490 * Match an error message produced by ri; here is the
491 * procedure yanked from the distributed version of ri
492 * April 24, 1980.
493 *
494 * serror(str, x1, x2, x3)
495 * char str[];
496 * char *x1, *x2, *x3;
497 * {
498 * extern int yylineno;
499 *
500 * putc('"', stdout);
501 * fputs(srcfile, stdout);
502 * putc('"', stdout);
503 * fprintf(stdout, " %d: ", yylineno);
504 * fprintf(stdout, str, x1, x2, x3);
505 * fprintf(stdout, "\n");
506 * synerrs++;
507 * }
508 */
509 if ( (firstchar(wordv[1]) == '"')
510 &&(lastchar(wordv[1]) == '"')
511 &&(lastchar(wordv[2]) == ':')
512 &&(isdigit(firstchar(wordv[2]))) ){
513 clob_last(wordv[1], '\0'); /* drop the last " */
514 wordv[1]++; /* skip over the first " */
515 clob_last(wordv[2], '\0');
516 language = INRI;
517 return(C_TRUE);
518 }
519 return(C_UNKNOWN);
520 }
521
522 Errorclass
523 catchall()
524 {
525 /*
526 * Catches random things.
527 */
528 language = INUNKNOWN;
529 return(C_NONSPEC);
530 } /* end of catch all*/
531
532 Errorclass
533 troff()
534 {
535 /*
536 * troff source error message, from eqn, bib, tbl...
537 * Just like pcc ccom, except uses `'
538 */
539 if ( (firstchar(wordv[1]) == '`')
540 && (lastchar(wordv[1]) == ',')
541 && (next_lastchar(wordv[1]) == '\'')
542 && (strcmp(wordv[2],"line") == 0)
543 && (isdigit(firstchar(wordv[3])))
544 && (lastchar(wordv[3]) == ':') ){
545 clob_last(wordv[1], '\0'); /* drop last , */
546 clob_last(wordv[1], '\0'); /* drop last " */
547 wordv[1]++; /* drop first " */
548 clob_last(wordv[3], '\0'); /* drop : on line number */
549 wordv[2] = wordv[1]; /* overwrite "line" */
550 wordv++; /*compensate*/
551 currentfilename = wordv[1];
552 language = INTROFF;
553 return(C_TRUE);
554 }
555 return(C_UNKNOWN);
556 }
557
558 Errorclass
559 mod2()
560 {
561 /*
562 * for decwrl modula2 compiler (powell)
563 */
564 if ( ( (strcmp(wordv[1], "!!!") == 0) /* early version */
565 ||(strcmp(wordv[1], "File") == 0)) /* later version */
566 && (lastchar(wordv[2]) == ',') /* file name */
567 && (strcmp(wordv[3], "line") == 0)
568 && (isdigit(firstchar(wordv[4]))) /* line number */
569 && (lastchar(wordv[4]) == ':') /* line number */
570 ){
571 clob_last(wordv[2], '\0'); /* drop last , on file name */
572 clob_last(wordv[4], '\0'); /* drop last : on line number */
573 wordv[3] = wordv[2]; /* file name on top of "line" */
574 wordv += 2;
575 wordc -= 2;
576 currentfilename = wordv[1];
577 language = INMOD2;
578 return(C_TRUE);
579 }
580 return(C_UNKNOWN);
581 }
582