1 /* $NetBSD: error.c,v 1.10 2015/01/04 01:34:20 christos Exp $ */
2
3 #include "defs.h"
4
5 #include <sys/cdefs.h>
6 __RCSID("$NetBSD: error.c,v 1.10 2015/01/04 01:34:20 christos Exp $");
7 /* Id: error.c,v 1.11 2014/04/07 22:22:49 tom Exp */
8
9 /* routines for printing error messages */
10
11 __dead void
fatal(const char * msg)12 fatal(const char *msg)
13 {
14 fprintf(stderr, "%s: f - %s\n", myname, msg);
15 done(2);
16 }
17
18 __dead void
no_space(void)19 no_space(void)
20 {
21 fprintf(stderr, "%s: f - out of space\n", myname);
22 done(2);
23 }
24
25 __dead void
open_error(const char * filename)26 open_error(const char *filename)
27 {
28 fprintf(stderr, "%s: f - cannot open \"%s\"\n", myname, filename);
29 done(2);
30 }
31
32 void
missing_brace(void)33 missing_brace(void)
34 {
35 fprintf(stderr, "%s: e - line %d of \"%s\", missing '}'\n",
36 myname, lineno, input_file_name);
37 done(1);
38 }
39
40 void
unexpected_EOF(void)41 unexpected_EOF(void)
42 {
43 fprintf(stderr, "%s: e - line %d of \"%s\", unexpected end-of-file\n",
44 myname, lineno, input_file_name);
45 done(1);
46 }
47
48 static void
print_pos(const char * st_line,const char * st_cptr)49 print_pos(const char *st_line, const char *st_cptr)
50 {
51 const char *s;
52
53 if (st_line == 0)
54 return;
55 for (s = st_line; *s != '\n'; ++s)
56 {
57 if (isprint(UCH(*s)) || *s == '\t')
58 putc(*s, stderr);
59 else
60 putc('?', stderr);
61 }
62 putc('\n', stderr);
63 for (s = st_line; s < st_cptr; ++s)
64 {
65 if (*s == '\t')
66 putc('\t', stderr);
67 else
68 putc(' ', stderr);
69 }
70 putc('^', stderr);
71 putc('\n', stderr);
72 }
73
74 __dead void
syntax_error(int st_lineno,char * st_line,char * st_cptr)75 syntax_error(int st_lineno, char *st_line, char *st_cptr)
76 {
77 fprintf(stderr, "%s: e - line %d of \"%s\", syntax error\n",
78 myname, st_lineno, input_file_name);
79 print_pos(st_line, st_cptr);
80 done(1);
81 }
82
83 __dead void
unterminated_comment(const struct ainfo * a)84 unterminated_comment(const struct ainfo *a)
85 {
86 fprintf(stderr, "%s: e - line %d of \"%s\", unmatched /*\n",
87 myname, a->a_lineno, input_file_name);
88 print_pos(a->a_line, a->a_cptr);
89 done(1);
90 }
91
92 __dead void
unterminated_string(const struct ainfo * a)93 unterminated_string(const struct ainfo *a)
94 {
95 fprintf(stderr, "%s: e - line %d of \"%s\", unterminated string\n",
96 myname, a->a_lineno, input_file_name);
97 print_pos(a->a_line, a->a_cptr);
98 done(1);
99 }
100
101 __dead void
unterminated_text(const struct ainfo * a)102 unterminated_text(const struct ainfo *a)
103 {
104 fprintf(stderr, "%s: e - line %d of \"%s\", unmatched %%{\n",
105 myname, a->a_lineno, input_file_name);
106 print_pos(a->a_line, a->a_cptr);
107 done(1);
108 }
109
110 __dead void
unterminated_union(const struct ainfo * a)111 unterminated_union(const struct ainfo *a)
112 {
113 fprintf(stderr, "%s: e - line %d of \"%s\", unterminated %%union \
114 declaration\n", myname, a->a_lineno, input_file_name);
115 print_pos(a->a_line, a->a_cptr);
116 done(1);
117 }
118
119 __dead void
over_unionized(char * u_cptr)120 over_unionized(char *u_cptr)
121 {
122 fprintf(stderr, "%s: e - line %d of \"%s\", too many %%union \
123 declarations\n", myname, lineno, input_file_name);
124 print_pos(line, u_cptr);
125 done(1);
126 }
127
128 __dead void
illegal_tag(int t_lineno,char * t_line,char * t_cptr)129 illegal_tag(int t_lineno, char *t_line, char *t_cptr)
130 {
131 fprintf(stderr, "%s: e - line %d of \"%s\", illegal tag\n",
132 myname, t_lineno, input_file_name);
133 print_pos(t_line, t_cptr);
134 done(1);
135 }
136
137 __dead void
illegal_character(char * c_cptr)138 illegal_character(char *c_cptr)
139 {
140 fprintf(stderr, "%s: e - line %d of \"%s\", illegal character\n",
141 myname, lineno, input_file_name);
142 print_pos(line, c_cptr);
143 done(1);
144 }
145
146 __dead void
used_reserved(char * s)147 used_reserved(char *s)
148 {
149 fprintf(stderr,
150 "%s: e - line %d of \"%s\", illegal use of reserved symbol \
151 %s\n", myname, lineno, input_file_name, s);
152 done(1);
153 }
154
155 __dead void
tokenized_start(char * s)156 tokenized_start(char *s)
157 {
158 fprintf(stderr,
159 "%s: e - line %d of \"%s\", the start symbol %s cannot be \
160 declared to be a token\n", myname, lineno, input_file_name, s);
161 done(1);
162 }
163
164 void
retyped_warning(char * s)165 retyped_warning(char *s)
166 {
167 fprintf(stderr, "%s: w - line %d of \"%s\", the type of %s has been \
168 redeclared\n", myname, lineno, input_file_name, s);
169 }
170
171 void
reprec_warning(char * s)172 reprec_warning(char *s)
173 {
174 fprintf(stderr,
175 "%s: w - line %d of \"%s\", the precedence of %s has been \
176 redeclared\n", myname, lineno, input_file_name, s);
177 }
178
179 void
revalued_warning(char * s)180 revalued_warning(char *s)
181 {
182 fprintf(stderr, "%s: w - line %d of \"%s\", the value of %s has been \
183 redeclared\n", myname, lineno, input_file_name, s);
184 }
185
186 void
terminal_start(char * s)187 terminal_start(char *s)
188 {
189 fprintf(stderr, "%s: e - line %d of \"%s\", the start symbol %s is a \
190 token\n", myname, lineno, input_file_name, s);
191 done(1);
192 }
193
194 void
restarted_warning(void)195 restarted_warning(void)
196 {
197 fprintf(stderr, "%s: w - line %d of \"%s\", the start symbol has been \
198 redeclared\n", myname, lineno, input_file_name);
199 }
200
201 void
no_grammar(void)202 no_grammar(void)
203 {
204 fprintf(stderr, "%s: e - line %d of \"%s\", no grammar has been \
205 specified\n", myname, lineno, input_file_name);
206 done(1);
207 }
208
209 void
terminal_lhs(int s_lineno)210 terminal_lhs(int s_lineno)
211 {
212 fprintf(stderr, "%s: e - line %d of \"%s\", a token appears on the lhs \
213 of a production\n", myname, s_lineno, input_file_name);
214 done(1);
215 }
216
217 void
prec_redeclared(void)218 prec_redeclared(void)
219 {
220 fprintf(stderr, "%s: w - line %d of \"%s\", conflicting %%prec \
221 specifiers\n", myname, lineno, input_file_name);
222 }
223
224 void
unterminated_action(const struct ainfo * a)225 unterminated_action(const struct ainfo *a)
226 {
227 fprintf(stderr, "%s: e - line %d of \"%s\", unterminated action\n",
228 myname, a->a_lineno, input_file_name);
229 print_pos(a->a_line, a->a_cptr);
230 done(1);
231 }
232
233 void
dollar_warning(int a_lineno,int i)234 dollar_warning(int a_lineno, int i)
235 {
236 fprintf(stderr, "%s: w - line %d of \"%s\", $%d references beyond the \
237 end of the current rule\n", myname, a_lineno, input_file_name, i);
238 }
239
240 __dead void
dollar_error(int a_lineno,char * a_line,char * a_cptr)241 dollar_error(int a_lineno, char *a_line, char *a_cptr)
242 {
243 fprintf(stderr, "%s: e - line %d of \"%s\", illegal $-name\n",
244 myname, a_lineno, input_file_name);
245 print_pos(a_line, a_cptr);
246 done(1);
247 }
248
249 __dead void
untyped_lhs(void)250 untyped_lhs(void)
251 {
252 fprintf(stderr, "%s: e - line %d of \"%s\", $$ is untyped\n",
253 myname, lineno, input_file_name);
254 done(1);
255 }
256
257 __dead void
untyped_rhs(int i,char * s)258 untyped_rhs(int i, char *s)
259 {
260 fprintf(stderr, "%s: e - line %d of \"%s\", $%d (%s) is untyped\n",
261 myname, lineno, input_file_name, i, s);
262 done(1);
263 }
264
265 __dead void
unknown_rhs(int i)266 unknown_rhs(int i)
267 {
268 fprintf(stderr, "%s: e - line %d of \"%s\", $%d is untyped\n",
269 myname, lineno, input_file_name, i);
270 done(1);
271 }
272
273 void
default_action_warning(void)274 default_action_warning(void)
275 {
276 fprintf(stderr,
277 "%s: w - line %d of \"%s\", the default action assigns an \
278 undefined value to $$\n", myname, lineno, input_file_name);
279 }
280
281 void
undefined_goal(char * s)282 undefined_goal(char *s)
283 {
284 fprintf(stderr, "%s: e - the start symbol %s is undefined\n", myname, s);
285 done(1);
286 }
287
288 void
undefined_symbol_warning(char * s)289 undefined_symbol_warning(char *s)
290 {
291 fprintf(stderr, "%s: w - the symbol %s is undefined\n", myname, s);
292 }
293
294 #if ! defined(YYBTYACC)
295 void
unsupported_flag_warning(const char * flag,const char * details)296 unsupported_flag_warning(const char *flag, const char *details)
297 {
298 fprintf(stderr, "%s: w - %s flag unsupported, %s\n",
299 myname, flag, details);
300 }
301 #endif
302
303 #if defined(YYBTYACC)
304 void
at_warning(int a_lineno,int i)305 at_warning(int a_lineno, int i)
306 {
307 fprintf(stderr, "%s: w - line %d of \"%s\", @%d references beyond the \
308 end of the current rule\n", myname, a_lineno, input_file_name, i);
309 }
310
311 void
at_error(int a_lineno,char * a_line,char * a_cptr)312 at_error(int a_lineno, char *a_line, char *a_cptr)
313 {
314 fprintf(stderr,
315 "%s: e - line %d of \"%s\", illegal @$ or @N reference\n",
316 myname, a_lineno, input_file_name);
317 print_pos(a_line, a_cptr);
318 done(1);
319 }
320
321 void
unterminated_arglist(const struct ainfo * a)322 unterminated_arglist(const struct ainfo *a)
323 {
324 fprintf(stderr,
325 "%s: e - line %d of \"%s\", unterminated argument list\n",
326 myname, a->a_lineno, input_file_name);
327 print_pos(a->a_line, a->a_cptr);
328 done(1);
329 }
330
331 void
arg_number_disagree_warning(int a_lineno,char * a_name)332 arg_number_disagree_warning(int a_lineno, char *a_name)
333 {
334 fprintf(stderr, "%s: w - line %d of \"%s\", number of arguments of %s "
335 "doesn't agree with previous declaration\n",
336 myname, a_lineno, input_file_name, a_name);
337 }
338
339 void
bad_formals(void)340 bad_formals(void)
341 {
342 fprintf(stderr, "%s: e - line %d of \"%s\", bad formal argument list\n",
343 myname, lineno, input_file_name);
344 print_pos(line, cptr);
345 done(1);
346 }
347
348 void
arg_type_disagree_warning(int a_lineno,int i,char * a_name)349 arg_type_disagree_warning(int a_lineno, int i, char *a_name)
350 {
351 fprintf(stderr, "%s: w - line %d of \"%s\", type of argument %d "
352 "to %s doesn't agree with previous declaration\n",
353 myname, a_lineno, input_file_name, i, a_name);
354 }
355
356 void
unknown_arg_warning(int d_lineno,const char * dlr_opt,const char * d_arg,const char * d_line,const char * d_cptr)357 unknown_arg_warning(int d_lineno, const char *dlr_opt, const char *d_arg, const char
358 *d_line, const char *d_cptr)
359 {
360 fprintf(stderr, "%s: w - line %d of \"%s\", unknown argument %s%s\n",
361 myname, d_lineno, input_file_name, dlr_opt, d_arg);
362 print_pos(d_line, d_cptr);
363 }
364
365 void
untyped_arg_warning(int a_lineno,const char * dlr_opt,const char * a_name)366 untyped_arg_warning(int a_lineno, const char *dlr_opt, const char *a_name)
367 {
368 fprintf(stderr, "%s: w - line %d of \"%s\", untyped argument %s%s\n",
369 myname, a_lineno, input_file_name, dlr_opt, a_name);
370 }
371
372 void
wrong_number_args_warning(const char * which,const char * a_name)373 wrong_number_args_warning(const char *which, const char *a_name)
374 {
375 fprintf(stderr,
376 "%s: w - line %d of \"%s\", wrong number of %sarguments for %s\n",
377 myname, lineno, input_file_name, which, a_name);
378 print_pos(line, cptr);
379 }
380
381 void
wrong_type_for_arg_warning(int i,char * a_name)382 wrong_type_for_arg_warning(int i, char *a_name)
383 {
384 fprintf(stderr,
385 "%s: w - line %d of \"%s\", wrong type for default argument %d to %s\n",
386 myname, lineno, input_file_name, i, a_name);
387 print_pos(line, cptr);
388 }
389
390 void
start_requires_args(char * a_name)391 start_requires_args(char *a_name)
392 {
393 fprintf(stderr,
394 "%s: w - line %d of \"%s\", start symbol %s requires arguments\n",
395 myname, 0, input_file_name, a_name);
396
397 }
398
399 void
destructor_redeclared_warning(const struct ainfo * a)400 destructor_redeclared_warning(const struct ainfo *a)
401 {
402 fprintf(stderr, "%s: w - line %d of \"%s\", destructor redeclared\n",
403 myname, a->a_lineno, input_file_name);
404 print_pos(a->a_line, a->a_cptr);
405 }
406 #endif
407