]> git.saurik.com Git - bison.git/blob - tests/input.at
variables: use `parse.assert' instead of `debug'.
[bison.git] / tests / input.at
1 # Checking the Bison scanner. -*- Autotest -*-
2 # Copyright (C) 2002, 2003, 2004, 2005, 2006, 2007, 2008
3 # Free Software Foundation, Inc.
4
5 # This program is free software: you can redistribute it and/or modify
6 # it under the terms of the GNU General Public License as published by
7 # the Free Software Foundation, either version 3 of the License, or
8 # (at your option) any later version.
9 #
10 # This program is distributed in the hope that it will be useful,
11 # but WITHOUT ANY WARRANTY; without even the implied warranty of
12 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 # GNU General Public License for more details.
14 #
15 # You should have received a copy of the GNU General Public License
16 # along with this program. If not, see <http://www.gnu.org/licenses/>.
17
18 AT_BANNER([[Input Processing.]])
19
20 # Mostly test that we are robust to mistakes.
21
22
23 ## ------------ ##
24 ## Invalid $n. ##
25 ## ------------ ##
26
27 AT_SETUP([Invalid $n and @n])
28
29 AT_DATA([input.y],
30 [[%%
31 exp: { $$ = $1 ; };
32 exp: { @$ = @1 ; };
33 ]])
34
35 AT_BISON_CHECK([input.y], [1], [],
36 [[input.y:2.13-14: integer out of range: `$1'
37 input.y:3.13-14: integer out of range: `@1'
38 ]])
39
40 AT_CLEANUP
41
42
43 ## -------------- ##
44 ## Type Clashes. ##
45 ## -------------- ##
46
47 AT_SETUP([Type Clashes])
48
49 AT_DATA([input.y],
50 [[%union { int bar; }
51 %token foo
52 %type <bar> exp
53 %%
54 exp: foo { $$; } foo { $2; } foo
55 | foo
56 | /* Empty. */
57 ;
58 ]])
59
60 AT_BISON_CHECK([input.y], [1], [],
61 [[input.y:5.12-13: $$ for the midrule at $2 of `exp' has no declared type
62 input.y:5.24-25: $2 of `exp' has no declared type
63 input.y:5.6-32: warning: type clash on default action: <bar> != <>
64 input.y:6.6-8: warning: type clash on default action: <bar> != <>
65 input.y:7.5: warning: empty rule for typed nonterminal, and no action
66 ]])
67
68 AT_CLEANUP
69
70
71 # _AT_UNUSED_VALUES_DECLARATIONS()
72 # --------------------------------
73 # Generate the token, type, and destructor
74 # declarations for the unused values tests.
75 m4_define([_AT_UNUSED_VALUES_DECLARATIONS],
76 [[[%token <integer> INT;
77 %type <integer> a b c d e f g h i j k l;
78 %destructor { destroy ($$); } INT a b c d e f g h i j k l;]]])
79
80
81 # AT_CHECK_UNUSED_VALUES(DECLARATIONS_AFTER, CHECK_MIDRULE_VALUES)
82 # ----------------------------------------------------------------
83 # Generate a grammar to test unused values, compile it, run it. If
84 # DECLARATIONS_AFTER is set, then the token, type, and destructor
85 # declarations are generated after the rules rather than before. If
86 # CHECK_MIDRULE_VALUES is set, then --warnings=midrule-values is set.
87 m4_define([AT_CHECK_UNUSED_VALUES],
88 [AT_DATA([input.y],
89 m4_ifval($1, [
90
91
92 ], [_AT_UNUSED_VALUES_DECLARATIONS
93 ])[[%%
94 start:
95 'a' a { $]2[; } | 'b' b { $]2[; } | 'c' c { $]2[; } | 'd' d { $]2[; }
96 | 'e' e { $]2[; } | 'f' f { $]2[; } | 'g' g { $]2[; } | 'h' h { $]2[; }
97 | 'i' i { $]2[; } | 'j' j { $]2[; } | 'k' k { $]2[; } | 'l' l { $]2[; }
98 ;
99
100 a: INT | INT { } INT { } INT { };
101 b: INT | /* empty */;
102 c: INT | INT { $]1[; } INT { $<integer>2; } INT { $<integer>4; };
103 d: INT | INT { } INT { $]1[; } INT { $<integer>2; };
104 e: INT | INT { } INT { } INT { $]1[; };
105 f: INT | INT { } INT { } INT { $]$[ = $]1[ + $]3[ + $]5[; };
106 g: INT | INT { $<integer>$; } INT { $<integer>$; } INT { };
107 h: INT | INT { $<integer>$; } INT { $<integer>$ = $<integer>2; } INT { };
108 i: INT | INT INT { } { $]$[ = $]1[ + $]2[; };
109 j: INT | INT INT { $<integer>$ = 1; } { $]$[ = $]1[ + $]2[; };
110 k: INT | INT INT { $<integer>$; } { $<integer>$ = $<integer>3; } { };
111 l: INT | INT { $<integer>$ = $<integer>1; } INT { $<integer>$ = $<integer>2 + $<integer>3; } INT { $<integer>$ = $<integer>4 + $<integer>5; };]]m4_ifval($1, [
112 _AT_UNUSED_VALUES_DECLARATIONS])
113 )
114
115 AT_BISON_CHECK(m4_ifval($2, [ --warnings=midrule-values ])[ input.y], [0], [],
116 [[input.y:11.10-32: warning: unset value: $]$[
117 input.y:11.10-32: warning: unused value: $]1[
118 input.y:11.10-32: warning: unused value: $]3[
119 input.y:11.10-32: warning: unused value: $]5[
120 input.y:12.9: warning: empty rule for typed nonterminal, and no action
121 ]]m4_ifval($2, [[[input.y:13.14-20: warning: unset value: $$
122 input.y:13.26-41: warning: unset value: $$
123 ]]])[[input.y:13.10-62: warning: unset value: $]$[
124 input.y:13.10-62: warning: unused value: $]3[
125 input.y:13.10-62: warning: unused value: $]5[
126 ]]m4_ifval($2, [[[input.y:14.14-16: warning: unset value: $$
127 ]]])[[input.y:14.10-49: warning: unset value: $]$[
128 input.y:14.10-49: warning: unused value: $]3[
129 input.y:14.10-49: warning: unused value: $]5[
130 input.y:15.10-37: warning: unset value: $]$[
131 input.y:15.10-37: warning: unused value: $]3[
132 input.y:15.10-37: warning: unused value: $]5[
133 input.y:17.10-58: warning: unset value: $]$[
134 input.y:17.10-58: warning: unused value: $]1[
135 ]]m4_ifval($2, [[[input.y:17.10-58: warning: unused value: $]2[
136 ]]])[[input.y:17.10-58: warning: unused value: $]3[
137 ]]m4_ifval($2, [[[input.y:17.10-58: warning: unused value: $]4[
138 ]]])[[input.y:17.10-58: warning: unused value: $]5[
139 input.y:18.10-72: warning: unset value: $]$[
140 input.y:18.10-72: warning: unused value: $]1[
141 input.y:18.10-72: warning: unused value: $]3[
142 ]]m4_ifval($2, [[[input.y:18.10-72: warning: unused value: $]4[
143 ]]])[[input.y:18.10-72: warning: unused value: $]5[
144 ]]m4_ifval($2, [[[input.y:20.10-55: warning: unused value: $]3[
145 ]]])[[input.y:21.10-68: warning: unset value: $]$[
146 input.y:21.10-68: warning: unused value: $]1[
147 input.y:21.10-68: warning: unused value: $]2[
148 ]]m4_ifval($2, [[[input.y:21.10-68: warning: unused value: $]4[
149 ]]]))])
150
151
152 ## --------------- ##
153 ## Unused values. ##
154 ## --------------- ##
155
156 AT_SETUP([Unused values])
157 AT_CHECK_UNUSED_VALUES
158 AT_CHECK_UNUSED_VALUES(, [1])
159 AT_CLEANUP
160
161
162 ## ------------------------------------------ ##
163 ## Unused values before symbol declarations. ##
164 ## ------------------------------------------ ##
165
166 AT_SETUP([Unused values before symbol declarations])
167 AT_CHECK_UNUSED_VALUES([1])
168 AT_CHECK_UNUSED_VALUES([1], [1])
169 AT_CLEANUP
170
171
172 ## --------------------------------------------- ##
173 ## Default %printer and %destructor redeclared. ##
174 ## --------------------------------------------- ##
175
176 AT_SETUP([Default %printer and %destructor redeclared])
177
178 AT_DATA([[input.y]],
179 [[%destructor { destroy ($$); } <*> <*>
180 %printer { destroy ($$); } <*> <*>
181
182 %destructor { destroy ($$); } <*>
183 %printer { destroy ($$); } <*>
184
185 %destructor { destroy ($$); } <> <>
186 %printer { destroy ($$); } <> <>
187
188 %destructor { destroy ($$); } <>
189 %printer { destroy ($$); } <>
190
191 %%
192
193 start: ;
194
195 %destructor { destroy ($$); } <*>;
196 %printer { destroy ($$); } <*>;
197
198 %destructor { destroy ($$); } <>;
199 %printer { destroy ($$); } <>;
200 ]])
201
202 AT_BISON_CHECK([input.y], [1], [],
203 [[input.y:1.13-29: redeclaration for default tagged %destructor
204 input.y:1.13-29: previous declaration
205 input.y:2.10-26: redeclaration for default tagged %printer
206 input.y:2.10-26: previous declaration
207 input.y:4.13-29: redeclaration for default tagged %destructor
208 input.y:1.13-29: previous declaration
209 input.y:5.10-26: redeclaration for default tagged %printer
210 input.y:2.10-26: previous declaration
211 input.y:7.13-29: redeclaration for default tagless %destructor
212 input.y:7.13-29: previous declaration
213 input.y:8.10-26: redeclaration for default tagless %printer
214 input.y:8.10-26: previous declaration
215 input.y:10.13-29: redeclaration for default tagless %destructor
216 input.y:7.13-29: previous declaration
217 input.y:11.10-26: redeclaration for default tagless %printer
218 input.y:8.10-26: previous declaration
219 input.y:17.13-29: redeclaration for default tagged %destructor
220 input.y:4.13-29: previous declaration
221 input.y:18.10-26: redeclaration for default tagged %printer
222 input.y:5.10-26: previous declaration
223 input.y:20.13-29: redeclaration for default tagless %destructor
224 input.y:10.13-29: previous declaration
225 input.y:21.10-26: redeclaration for default tagless %printer
226 input.y:11.10-26: previous declaration
227 ]])
228
229 AT_CLEANUP
230
231
232 ## ---------------------------------------------- ##
233 ## Per-type %printer and %destructor redeclared. ##
234 ## ---------------------------------------------- ##
235
236 AT_SETUP([Per-type %printer and %destructor redeclared])
237
238 AT_DATA([[input.y]],
239 [[%destructor { destroy ($$); } <field1> <field2>
240 %printer { destroy ($$); } <field1> <field2>
241
242 %destructor { destroy ($$); } <field1> <field1>
243 %printer { destroy ($$); } <field2> <field2>
244
245 %%
246
247 start: ;
248
249 %destructor { destroy ($$); } <field2> <field1>;
250 %printer { destroy ($$); } <field2> <field1>;
251 ]])
252
253 AT_BISON_CHECK([input.y], [1], [],
254 [[input.y:4.13-29: %destructor redeclaration for <field1>
255 input.y:1.13-29: previous declaration
256 input.y:4.13-29: %destructor redeclaration for <field1>
257 input.y:4.13-29: previous declaration
258 input.y:5.10-26: %printer redeclaration for <field2>
259 input.y:2.10-26: previous declaration
260 input.y:5.10-26: %printer redeclaration for <field2>
261 input.y:5.10-26: previous declaration
262 input.y:11.13-29: %destructor redeclaration for <field1>
263 input.y:4.13-29: previous declaration
264 input.y:11.13-29: %destructor redeclaration for <field2>
265 input.y:1.13-29: previous declaration
266 input.y:12.10-26: %printer redeclaration for <field1>
267 input.y:2.10-26: previous declaration
268 input.y:12.10-26: %printer redeclaration for <field2>
269 input.y:5.10-26: previous declaration
270 ]])
271
272 AT_CLEANUP
273
274
275 ## ---------------------------------------- ##
276 ## Unused values with default %destructor. ##
277 ## ---------------------------------------- ##
278
279 AT_SETUP([Unused values with default %destructor])
280
281 AT_DATA([[input.y]],
282 [[%destructor { destroy ($$); } <>
283 %type <tag> tagged
284
285 %%
286
287 start: end end tagged tagged { $<tag>1; $3; } ;
288 end: { } ;
289 tagged: { } ;
290 ]])
291
292 AT_BISON_CHECK([input.y], [0], [],
293 [[input.y:6.8-45: warning: unset value: $$
294 input.y:6.8-45: warning: unused value: $2
295 input.y:7.6-8: warning: unset value: $$
296 ]])
297
298 AT_DATA([[input.y]],
299 [[%destructor { destroy ($$); } <*>
300 %type <tag> tagged
301
302 %%
303
304 start: end end tagged tagged { $<tag>1; $3; } ;
305 end: { } ;
306 tagged: { } ;
307 ]])
308
309 AT_BISON_CHECK([input.y], [0], [],
310 [[input.y:6.8-45: warning: unused value: $4
311 input.y:8.9-11: warning: unset value: $$
312 ]])
313
314 AT_CLEANUP
315
316
317 ## ----------------------------------------- ##
318 ## Unused values with per-type %destructor. ##
319 ## ----------------------------------------- ##
320
321 AT_SETUP([Unused values with per-type %destructor])
322
323 AT_DATA([[input.y]],
324 [[%destructor { destroy ($$); } <field1>
325 %type <field1> start end
326
327 %%
328
329 start: end end { $1; } ;
330 end: { } ;
331 ]])
332
333 AT_BISON_CHECK([input.y], [0], [],
334 [[input.y:6.8-22: warning: unset value: $$
335 input.y:6.8-22: warning: unused value: $2
336 input.y:7.6-8: warning: unset value: $$
337 ]])
338
339 AT_CLEANUP
340
341
342 ## ---------------------- ##
343 ## Incompatible Aliases. ##
344 ## ---------------------- ##
345
346 AT_SETUP([Incompatible Aliases])
347
348 AT_DATA([input.y],
349 [[%token foo "foo"
350
351 %type <bar> foo
352 %printer {bar} foo
353 %destructor {bar} foo
354 %left foo
355
356 %type <baz> "foo"
357 %printer {baz} "foo"
358 %destructor {baz} "foo"
359 %left "foo"
360
361 %%
362 exp: foo;
363 ]])
364
365 AT_BISON_CHECK([input.y], [1], [],
366 [[input.y:8.7-11: %type redeclaration for foo
367 input.y:3.7-11: previous declaration
368 input.y:10.13-17: %destructor redeclaration for foo
369 input.y:5.13-17: previous declaration
370 input.y:9.10-14: %printer redeclaration for foo
371 input.y:4.10-14: previous declaration
372 input.y:11.1-5: %left redeclaration for foo
373 input.y:6.1-5: previous declaration
374 ]])
375
376 AT_CLEANUP
377
378
379
380 ## ----------------------- ##
381 ## Torturing the Scanner. ##
382 ## ----------------------- ##
383
384 # Be sure to compile and run, so that the C compiler checks what
385 # we do.
386
387 AT_SETUP([Torturing the Scanner])
388
389
390 AT_DATA([input.y], [])
391 AT_BISON_CHECK([input.y], [1], [],
392 [[input.y:1.1: syntax error, unexpected end of file
393 ]])
394
395
396 AT_DATA([input.y],
397 [{}
398 ])
399 AT_BISON_CHECK([input.y], [1], [],
400 [[input.y:1.1-2: syntax error, unexpected {...}
401 ]])
402
403
404 AT_DATA_GRAMMAR([input.y],
405 [[%{
406 /* This is seen in GCC: a %{ and %} in middle of a comment. */
407 const char *foo = "So %{ and %} can be here too.";
408
409 #if 0
410 /* These examples test Bison while not stressing C compilers too much.
411 Many C compilers mishandle backslash-newlines, so this part of the
412 test is inside "#if 0". The comment and string are written so that
413 the "#endif" will be seen regardless of the C compiler bugs that we
414 know about, namely:
415
416 HP C (as of late 2002) mishandles *\[newline]\[newline]/ within a
417 comment.
418
419 The Apple Darwin compiler (as of late 2002) mishandles
420 \\[newline]' within a character constant.
421
422 */
423
424 /\
425 * A comment with backslash-newlines in it. %} *\
426 \
427 /
428 /* { Close the above comment, if the C compiler mishandled it. */
429
430 char str[] = "\\
431 " A string with backslash-newlines in it %{ %} \\
432 \
433 "";
434
435 char apostrophe = '\'';
436 #endif
437
438 #include <stdio.h>
439 #include <stdlib.h>
440 %}
441 /* %{ and %} can be here too. */
442
443 %{
444 /* Exercise pre-prologue dependency to %union. */
445 typedef int value;
446 %}
447
448 /* Exercise M4 quoting: '@:>@@:>@', 0. */
449
450 /* Also exercise %union. */
451 %union
452 {
453 value ival; /* A comment to exercise an old bug. */
454 };
455
456
457 /* Exercise post-prologue dependency to %union. */
458 %{
459 static YYSTYPE value_as_yystype (value val);
460
461 /* Exercise quotes in declarations. */
462 char quote[] = "@:>@@:>@,";
463 %}
464
465 %{
466 static void yyerror (const char *s);
467 static int yylex (void);
468 %}
469
470 %type <ival> '@<:@'
471
472 /* Exercise quotes in strings. */
473 %token FAKE "fake @<:@@:>@ \a\b\f\n\r\t\v\"\'\?\\\u005B\U0000005c ??!??'??(??)??-??/??<??=??> \x1\1"
474
475 %%
476 /* Exercise M4 quoting: '@:>@@:>@', @<:@, 1. */
477 exp: '@<:@' '\1' two '$' '@' '{' oline output.or.oline.opt
478 {
479 /* Exercise quotes in braces. */
480 char tmp[] = "@<:@%c@:>@,\n";
481 printf (tmp, $1);
482 }
483 ;
484
485 two: '\x000000000000000000000000000000000000000000000000000000000000000000002';
486 oline: '@' 'o' 'l' 'i' 'n' 'e' '@' '_' '_' 'o' 'l' 'i' 'n' 'e' '_' '_';
487 output.or.oline.opt: ;|oline;;|output;;;
488 output: '#' 'o' 'u' 't' 'p' 'u' 't' ' ';
489 %%
490 /* Exercise M4 quoting: '@:>@@:>@', @<:@, 2. */
491
492 static YYSTYPE
493 value_as_yystype (value val)
494 {
495 YYSTYPE res;
496 res.ival = val;
497 return res;
498 }
499
500 static int
501 yylex (void)
502 {
503 static char const input[] = "@<:@\1\2$@{@oline@__@&t@oline__\
504 #output "; /* "
505 */
506 static size_t toknum;
507 if (! (toknum < sizeof input))
508 abort ();
509 yylval = value_as_yystype (input[toknum]);
510 return input[toknum++];
511 }
512
513 static void
514 yyerror (const char *msg)
515 {
516 fprintf (stderr, "%s\n", msg);
517 }
518 ]])
519
520 # Pacify Emacs'font-lock-mode: "
521
522 AT_DATA([main.c],
523 [[typedef int value;
524 #include "input.h"
525
526 int yyparse (void);
527
528 int
529 main (void)
530 {
531 return yyparse ();
532 }
533 ]])
534
535 AT_BISON_CHECK([-d -v -o input.c input.y])
536 AT_COMPILE([input.o], [-c input.c])
537 AT_COMPILE([main.o], [-c main.c])
538 AT_COMPILE([input], [input.o main.o])
539 AT_PARSER_CHECK([./input], 0,
540 [[[@<:@],
541 ]])
542
543 AT_CLEANUP
544
545
546 ## ---------------------- ##
547 ## Typed symbol aliases. ##
548 ## ---------------------- ##
549
550 AT_SETUP([Typed symbol aliases])
551
552 # Bison 2.0 broke typed symbol aliases - ensure they work.
553
554 AT_DATA_GRAMMAR([input.y],
555 [[%union
556 {
557 int val;
558 };
559 %token <val> MY_TOKEN "MY TOKEN"
560 %type <val> exp
561 %%
562 exp: "MY TOKEN";
563 %%
564 ]])
565
566 AT_BISON_CHECK([-o input.c input.y])
567
568 AT_CLEANUP
569
570
571 ## --------- ##
572 ## Require. ##
573 ## --------- ##
574
575 m4_define([AT_CHECK_REQUIRE],
576 [AT_SETUP([Require $1])
577 AT_DATA_GRAMMAR([input.y],
578 [[%require "$1";
579 %%
580 empty_file:;
581 ]])
582 AT_BISON_CHECK([-o input.c input.y], $2, [], ignore)
583 AT_CLEANUP
584 ])
585
586 AT_CHECK_REQUIRE(1.0, 0)
587 AT_CHECK_REQUIRE(AT_PACKAGE_VERSION, 0)
588 ## FIXME: Some day augment this version number.
589 AT_CHECK_REQUIRE(100.0, 63)
590
591
592 ## ------------------------------------- ##
593 ## String aliases for character tokens. ##
594 ## ------------------------------------- ##
595
596 AT_SETUP([String aliases for character tokens])
597
598 # Bison once thought a character token and its alias were different
599 # symbols with the same user token number.
600
601 AT_DATA_GRAMMAR([input.y],
602 [[%token 'a' "a"
603 %%
604 start: 'a';
605 %%
606 ]])
607
608 AT_BISON_CHECK([-o input.c input.y])
609
610 AT_CLEANUP
611
612
613 ## --------------------- ##
614 ## Unclosed constructs. ##
615 ## --------------------- ##
616
617 AT_SETUP([Unclosed constructs])
618
619 # Bison's scan-gram.l once forgot to STRING_FINISH some unclosed
620 # constructs, so they were prepended to whatever it STRING_GROW'ed
621 # next. It also threw them away rather than returning them to the
622 # parser. The effect was confusing subsequent error messages.
623
624 AT_DATA([input.y],
625 [[%token A "a
626 %token B "b"
627 %token AB "ab" // Used to complain that "ab" was already used.
628 %token C '1
629 %token TWO "2"
630 %token TICK_TWELVE "'12" // Used to complain that "'12" was already used.
631
632 %%
633
634 start: ;
635
636 // Used to report a syntax error because it didn't see any kind of symbol
637 // identifier.
638 %type <f> 'a
639 ;
640 %type <f> "a
641 ;
642 // Used to report a syntax error because it didn't see braced code.
643 %destructor { free ($$)
644 ]])
645
646 AT_BISON_CHECK([-o input.c input.y], 1, [],
647 [[input.y:1.10-2.0: missing `"' at end of line
648 input.y:4.10-5.0: missing `'' at end of line
649 input.y:14.11-15.0: missing `'' at end of line
650 input.y:16.11-17.0: missing `"' at end of line
651 input.y:19.13-20.0: missing `}' at end of file
652 input.y:20.1: syntax error, unexpected end of file
653 ]])
654
655 AT_CLEANUP
656
657
658 ## ------------------------- ##
659 ## %start after first rule. ##
660 ## ------------------------- ##
661
662 AT_SETUP([%start after first rule])
663
664 # Bison once complained that a %start after the first rule was a
665 # redeclaration of the start symbol.
666
667 AT_DATA([input.y],
668 [[%%
669 false_start: ;
670 start: false_start ;
671 %start start;
672 ]])
673
674 AT_BISON_CHECK([-o input.c input.y])
675
676 AT_CLEANUP
677
678
679 ## --------------------- ##
680 ## %prec takes a token. ##
681 ## --------------------- ##
682
683 AT_SETUP([%prec takes a token])
684
685 # Bison once allowed %prec sym where sym was a nonterminal.
686
687 AT_DATA([input.y],
688 [[%%
689 start: PREC %prec PREC ;
690 PREC: ;
691 ]])
692
693 AT_BISON_CHECK([input.y], [1], [],
694 [[input.y:3.1-4: rule given for PREC, which is a token
695 ]])
696
697 AT_CLEANUP
698
699
700 ## -------------------------------- ##
701 ## Reject unused %code qualifiers. ##
702 ## -------------------------------- ##
703
704 AT_SETUP([Reject unused %code qualifiers])
705
706 AT_DATA([input-c.y],
707 [[%code q {}
708 %code bad {}
709 %code bad {}
710 %code format {}
711 %%
712 start: ;
713 ]])
714 AT_BISON_CHECK([[input-c.y]], [0], [],
715 [[input-c.y:1.7: warning: %code qualifier `q' is not used
716 input-c.y:2.7-9: warning: %code qualifier `bad' is not used
717 input-c.y:3.7-9: warning: %code qualifier `bad' is not used
718 input-c.y:4.7-12: warning: %code qualifier `format' is not used
719 ]])
720
721 AT_DATA([input-c-glr.y],
722 [[%code q {}
723 %code bad {}
724 %code bad {}
725 %%
726 start: ;
727 ]])
728 AT_BISON_CHECK([[input-c-glr.y]], [0], [],
729 [[input-c-glr.y:1.7: warning: %code qualifier `q' is not used
730 input-c-glr.y:2.7-9: warning: %code qualifier `bad' is not used
731 input-c-glr.y:3.8-10: warning: %code qualifier `bad' is not used
732 ]])
733
734 AT_DATA([input-c++.y],
735 [[%code q {}
736 %code bad {}
737 %code q {}
738 %%
739 start: ;
740 ]])
741 AT_BISON_CHECK([[input-c++.y]], [0], [],
742 [[input-c++.y:1.7: warning: %code qualifier `q' is not used
743 input-c++.y:2.7-9: warning: %code qualifier `bad' is not used
744 input-c++.y:3.8: warning: %code qualifier `q' is not used
745 ]])
746
747 AT_DATA([input-c++-glr.y],
748 [[%code bad {}
749 %code q {}
750 %code q {}
751 %%
752 start: ;
753 ]])
754 AT_BISON_CHECK([[input-c++-glr.y]], [0], [],
755 [[input-c++-glr.y:1.7-9: warning: %code qualifier `bad' is not used
756 input-c++-glr.y:2.7: warning: %code qualifier `q' is not used
757 input-c++-glr.y:3.7: warning: %code qualifier `q' is not used
758 ]])
759
760 AT_DATA([special-char-@@.y],
761 [[%code bad {}
762 %code q {}
763 %code q {}
764 %%
765 start: ;
766 ]])
767 AT_BISON_CHECK([[special-char-@@.y]], [0], [],
768 [[special-char-@@.y:1.7-9: warning: %code qualifier `bad' is not used
769 special-char-@@.y:2.7: warning: %code qualifier `q' is not used
770 special-char-@@.y:3.7: warning: %code qualifier `q' is not used
771 ]])
772
773 AT_DATA([special-char-@:>@.y],
774 [[%code bad {}
775 %code q {}
776 %code q {}
777 %%
778 start: ;
779 ]])
780 AT_BISON_CHECK([[special-char-@:>@.y]], [0], [],
781 [[special-char-@:>@.y:1.7-9: warning: %code qualifier `bad' is not used
782 special-char-@:>@.y:2.7: warning: %code qualifier `q' is not used
783 special-char-@:>@.y:3.7: warning: %code qualifier `q' is not used
784 ]])
785
786 AT_CLEANUP
787
788
789 ## ---------------- ##
790 ## %define errors. ##
791 ## ---------------- ##
792
793 AT_SETUP([%define errors])
794
795 AT_DATA([input.y],
796 [[%define var "value1"
797 %define var "value1"
798 %define var "value2"
799 %define special1 "@:>@"
800 %define special2 "@<:@"
801 %%
802 start: ;
803 ]])
804
805 AT_BISON_CHECK([[input.y]], [0], [],
806 [[input.y:2.9-11: warning: %define variable `var' redefined
807 input.y:1.9-11: warning: previous definition
808 input.y:3.10-12: warning: %define variable `var' redefined
809 input.y:2.9-11: warning: previous definition
810 input.y:1.9-11: warning: %define variable `var' is not used
811 input.y:2.9-11: warning: %define variable `var' is not used
812 input.y:3.10-12: warning: %define variable `var' is not used
813 input.y:4.9-16: warning: %define variable `special1' is not used
814 input.y:5.9-16: warning: %define variable `special2' is not used
815 ]])
816
817 AT_CLEANUP
818
819
820 ## ------------------- ##
821 ## %define, --define. ##
822 ## ------------------- ##
823
824 AT_SETUP([%define, --define])
825
826 AT_DATA([input.y],
827 [[%define var "value1"
828 %%
829 start: ;
830 ]])
831
832 AT_BISON_CHECK([[input.y -DFOO -DFOO -Dvar=value]], [0], [],
833 [[<command line>:4: warning: %define variable `FOO' redefined
834 <command line>:3: warning: previous definition
835 input.y:1.9-11: warning: %define variable `var' redefined
836 <command line>:5: warning: previous definition
837 <command line>:3: warning: %define variable `FOO' is not used
838 <command line>:4: warning: %define variable `FOO' is not used
839 <command line>:5: warning: %define variable `var' is not used
840 input.y:1.9-11: warning: %define variable `var' is not used
841 ]])
842
843 AT_CLEANUP
844
845 ## --------------------------- ##
846 ## %define Boolean variables. ##
847 ## --------------------------- ##
848
849 AT_SETUP([[%define Boolean variables]])
850
851 AT_DATA([Input.y],
852 [[%language "Java"
853 %define public "maybe"
854 %define parser_class_name "Input"
855 %%
856 start: ;
857 ]])
858
859 AT_BISON_CHECK([[Input.y]], [1], [],
860 [[Input.y:2.9-14: invalid value for %define Boolean variable `public'
861 ]])
862
863 AT_CLEANUP
864
865 ## ------------------------ ##
866 ## %define enum variables. ##
867 ## ------------------------ ##
868
869 AT_SETUP([[%define enum variables]])
870
871 AT_DATA([[input.y]],
872 [[%define api.push_pull "neither"
873 %%
874 start: ;
875 ]])
876
877 AT_BISON_CHECK([[input.y]], [1], [],
878 [[input.y:1.9-21: invalid value for %define variable `api.push_pull': `neither'
879 ]])
880
881 AT_CLEANUP
882
883 ## ------------------------- ##
884 ## Unused %define api.pure. ##
885 ## ------------------------- ##
886
887 AT_SETUP([[Unused %define api.pure]])
888
889 # AT_CHECK_API_PURE(DECLS, VALUE)
890 # -------------------------------
891 # Make sure Bison reports that `%define api.pure VALUE' is unused when DECLS
892 # are specified.
893 m4_define([AT_CHECK_API_PURE],
894 [
895 AT_DATA([[input.y]],
896 [[%define api.pure ]$2[
897 ]$1[
898 %%
899 start: ;
900 ]])
901
902 AT_BISON_CHECK([[input.y]], [0], [],
903 [[input.y:1.9-16: warning: %define variable `api.pure' is not used
904 ]])
905 ])
906
907 AT_CHECK_API_PURE([[%language "c++" %defines]], [[]])
908 AT_CHECK_API_PURE([[%language "c++" %defines]], [["false"]])
909 AT_CHECK_API_PURE([[%language "c++" %defines %glr-parser]], [[""]])
910 AT_CHECK_API_PURE([[%language "c++" %defines %glr-parser]], [["false"]])
911 AT_CHECK_API_PURE([[%language "java"]], [["true"]])
912 AT_CHECK_API_PURE([[%language "java"]], [["false"]])
913
914 AT_CLEANUP
915
916 ## -------------------------------- ##
917 ## C++ namespace reference errors. ##
918 ## -------------------------------- ##
919
920 AT_SETUP([[C++ namespace reference errors]])
921
922 # AT_CHECK_NAMESPACE_ERROR(NAMESPACE-DECL, ERROR, [ERROR], ...)
923 # -------------------------------------------------------------
924 # Make sure Bison reports all ERROR's for %define namespace "NAMESPACE-DECL".
925 m4_define([AT_CHECK_NAMESPACE_ERROR],
926 [
927 AT_DATA([[input.y]],
928 [[%language "C++"
929 %defines
930 %define namespace "]$1["
931 %%
932 start: ;
933 ]])
934
935 AT_BISON_CHECK([[input.y]], [1], [],
936 [m4_foreach([b4_arg], m4_dquote(m4_shift($@)),
937 [[input.y:3.9-17: ]b4_arg[
938 ]])])
939 ])
940
941 AT_CHECK_NAMESPACE_ERROR([[]],
942 [[namespace reference is empty]])
943 AT_CHECK_NAMESPACE_ERROR([[ ]],
944 [[namespace reference is empty]])
945 AT_CHECK_NAMESPACE_ERROR([[foo::::bar]],
946 [[namespace reference has consecutive "::"]])
947 AT_CHECK_NAMESPACE_ERROR([[foo:: ::bar]],
948 [[namespace reference has consecutive "::"]])
949 AT_CHECK_NAMESPACE_ERROR([[::::bar]],
950 [[namespace reference has consecutive "::"]])
951 AT_CHECK_NAMESPACE_ERROR([[:: ::bar]],
952 [[namespace reference has consecutive "::"]])
953 AT_CHECK_NAMESPACE_ERROR([[foo::bar:: ::]],
954 [[namespace reference has consecutive "::"]],
955 [[namespace reference has a trailing "::"]])
956 AT_CHECK_NAMESPACE_ERROR([[foo::bar::]],
957 [[namespace reference has a trailing "::"]])
958 AT_CHECK_NAMESPACE_ERROR([[foo::bar:: ]],
959 [[namespace reference has a trailing "::"]])
960 AT_CHECK_NAMESPACE_ERROR([[::]],
961 [[namespace reference has a trailing "::"]])
962
963 AT_CLEANUP