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