]>
Commit | Line | Data |
---|---|---|
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 | |
19 | AT_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 | 28 | AT_SETUP([Invalid $n and @n]) |
9b2d0677 AD |
29 | |
30 | AT_DATA([input.y], | |
31 | [[%% | |
bfcf1f3a | 32 | exp: { $$ = $1 ; }; |
bfcf1f3a | 33 | exp: { @$ = @1 ; }; |
9b2d0677 AD |
34 | ]]) |
35 | ||
da730230 | 36 | AT_BISON_CHECK([input.y], [1], [], |
e9071366 AD |
37 | [[input.y:2.13-14: integer out of range: `$1' |
38 | input.y:3.13-14: integer out of range: `@1' | |
9b2d0677 AD |
39 | ]]) |
40 | ||
41 | AT_CLEANUP | |
9af3fbce AD |
42 | |
43 | ||
44 | ## -------------- ## | |
e776192e | 45 | ## Type Clashes. ## |
9af3fbce AD |
46 | ## -------------- ## |
47 | ||
e776192e | 48 | AT_SETUP([Type Clashes]) |
9af3fbce AD |
49 | |
50 | AT_DATA([input.y], | |
ffa4ba3a JD |
51 | [[%union { int bar; } |
52 | %token foo | |
9af3fbce AD |
53 | %type <bar> exp |
54 | %% | |
ffa4ba3a | 55 | exp: foo { $$; } foo { $2; } foo |
9af3fbce AD |
56 | | foo |
57 | | /* Empty. */ | |
58 | ; | |
59 | ]]) | |
60 | ||
da730230 | 61 | AT_BISON_CHECK([input.y], [1], [], |
ffa4ba3a JD |
62 | [[input.y:5.12-13: $$ for the midrule at $2 of `exp' has no declared type |
63 | input.y:5.24-25: $2 of `exp' has no declared type | |
64 | input.y:5.6-32: warning: type clash on default action: <bar> != <> | |
65 | input.y:6.6-8: warning: type clash on default action: <bar> != <> | |
66 | input.y:7.5: warning: empty rule for typed nonterminal, and no action | |
9af3fbce AD |
67 | ]]) |
68 | ||
69 | AT_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 |
77 | m4_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 | |
93 | m4_define([AT_CHECK_UNUSED_VALUES], | |
94 | [AT_DATA([input.y], | |
95 | m4_ifval($1, [ | |
96 | ||
97 | ||
98 | ], [_AT_UNUSED_VALUES_DECLARATIONS | |
99 | ])[[%% | |
27622431 | 100 | start: |
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 | |
106 | a: INT | INT { } INT { } INT { }; | |
107 | b: INT | /* empty */; | |
519d0004 JD |
108 | c: INT | INT { $]1[ } INT { $<integer>2 } INT { $<integer>4 }; |
109 | d: INT | INT { } INT { $]1[ } INT { $<integer>2 }; | |
ffa4ba3a JD |
110 | e: INT | INT { } INT { } INT { $]1[ }; |
111 | f: INT | INT { } INT { } INT { $]$[ = $]1[ + $]3[ + $]5[; }; | |
ddc8ede1 PE |
112 | g: INT | INT { $<integer>$; } INT { $<integer>$; } INT { }; |
113 | h: INT | INT { $<integer>$; } INT { $<integer>$ = $<integer>2; } INT { }; | |
ffa4ba3a JD |
114 | i: INT | INT INT { } { $]$[ = $]1[ + $]2[; }; |
115 | j: INT | INT INT { $<integer>$ = 1; } { $]$[ = $]1[ + $]2[; }; | |
ddc8ede1 PE |
116 | k: INT | INT INT { $<integer>$; } { $<integer>$ = $<integer>3; } { }; |
117 | l: 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 | 121 | AT_BISON_CHECK(m4_ifval($2, [ --warnings=midrule-values ])[ input.y], [0], [], |
ffa4ba3a JD |
122 | [[input.y:11.10-32: warning: unset value: $]$[ |
123 | input.y:11.10-32: warning: unused value: $]1[ | |
124 | input.y:11.10-32: warning: unused value: $]3[ | |
125 | input.y:11.10-32: warning: unused value: $]5[ | |
126 | input.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 | 128 | input.y:13.25-39: warning: unset value: $$ |
17bd8a73 | 129 | ]]])[[input.y:13.10-59: warning: unset value: $]$[ |
519d0004 JD |
130 | input.y:13.10-59: warning: unused value: $]3[ |
131 | input.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 |
134 | input.y:14.10-47: warning: unused value: $]3[ |
135 | input.y:14.10-47: warning: unused value: $]5[ | |
ffa4ba3a JD |
136 | input.y:15.10-36: warning: unset value: $]$[ |
137 | input.y:15.10-36: warning: unused value: $]3[ | |
138 | input.y:15.10-36: warning: unused value: $]5[ | |
ddc8ede1 PE |
139 | input.y:17.10-58: warning: unset value: $]$[ |
140 | input.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 |
145 | input.y:18.10-72: warning: unset value: $]$[ |
146 | input.y:18.10-72: warning: unused value: $]1[ | |
147 | input.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 |
152 | input.y:21.10-68: warning: unused value: $]1[ |
153 | input.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 | ||
162 | AT_SETUP([Unused values]) | |
163 | AT_CHECK_UNUSED_VALUES | |
17bd8a73 | 164 | AT_CHECK_UNUSED_VALUES(, [1]) |
ffa4ba3a JD |
165 | AT_CLEANUP |
166 | ||
167 | ||
168 | ## ------------------------------------------ ## | |
169 | ## Unused values before symbol declarations. ## | |
170 | ## ------------------------------------------ ## | |
84866159 | 171 | |
ffa4ba3a JD |
172 | AT_SETUP([Unused values before symbol declarations]) |
173 | AT_CHECK_UNUSED_VALUES([1]) | |
17bd8a73 | 174 | AT_CHECK_UNUSED_VALUES([1], [1]) |
84866159 | 175 | AT_CLEANUP |
378f4bd8 AD |
176 | |
177 | ||
ec5479ce JD |
178 | ## --------------------------------------------- ## |
179 | ## Default %printer and %destructor redeclared. ## | |
180 | ## --------------------------------------------- ## | |
181 | ||
182 | AT_SETUP([Default %printer and %destructor redeclared]) | |
183 | ||
184 | AT_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 | ||
199 | start: ; | |
200 | ||
12e35840 JD |
201 | %destructor { destroy ($$); } <*>; |
202 | %printer { destroy ($$); } <*>; | |
203 | ||
3ebecc24 JD |
204 | %destructor { destroy ($$); } <>; |
205 | %printer { destroy ($$); } <>; | |
ec5479ce JD |
206 | ]]) |
207 | ||
da730230 | 208 | AT_BISON_CHECK([input.y], [1], [], |
12e35840 | 209 | [[input.y:1.13-29: redeclaration for default tagged %destructor |
b2a0b7ca | 210 | input.y:1.13-29: previous declaration |
12e35840 | 211 | input.y:2.10-26: redeclaration for default tagged %printer |
b2a0b7ca | 212 | input.y:2.10-26: previous declaration |
12e35840 | 213 | input.y:4.13-29: redeclaration for default tagged %destructor |
ec5479ce | 214 | input.y:1.13-29: previous declaration |
12e35840 | 215 | input.y:5.10-26: redeclaration for default tagged %printer |
ec5479ce | 216 | input.y:2.10-26: previous declaration |
12e35840 JD |
217 | input.y:7.13-29: redeclaration for default tagless %destructor |
218 | input.y:7.13-29: previous declaration | |
219 | input.y:8.10-26: redeclaration for default tagless %printer | |
220 | input.y:8.10-26: previous declaration | |
221 | input.y:10.13-29: redeclaration for default tagless %destructor | |
222 | input.y:7.13-29: previous declaration | |
223 | input.y:11.10-26: redeclaration for default tagless %printer | |
224 | input.y:8.10-26: previous declaration | |
225 | input.y:17.13-29: redeclaration for default tagged %destructor | |
ec5479ce | 226 | input.y:4.13-29: previous declaration |
12e35840 | 227 | input.y:18.10-26: redeclaration for default tagged %printer |
ec5479ce | 228 | input.y:5.10-26: previous declaration |
12e35840 JD |
229 | input.y:20.13-29: redeclaration for default tagless %destructor |
230 | input.y:10.13-29: previous declaration | |
231 | input.y:21.10-26: redeclaration for default tagless %printer | |
232 | input.y:11.10-26: previous declaration | |
ec5479ce JD |
233 | ]]) |
234 | ||
235 | AT_CLEANUP | |
236 | ||
237 | ||
b2a0b7ca JD |
238 | ## ---------------------------------------------- ## |
239 | ## Per-type %printer and %destructor redeclared. ## | |
240 | ## ---------------------------------------------- ## | |
241 | ||
242 | AT_SETUP([Per-type %printer and %destructor redeclared]) | |
243 | ||
244 | AT_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 | ||
253 | start: ; | |
254 | ||
255 | %destructor { destroy ($$); } <field2> <field1>; | |
256 | %printer { destroy ($$); } <field2> <field1>; | |
257 | ]]) | |
258 | ||
da730230 | 259 | AT_BISON_CHECK([input.y], [1], [], |
b2a0b7ca JD |
260 | [[input.y:4.13-29: %destructor redeclaration for <field1> |
261 | input.y:1.13-29: previous declaration | |
262 | input.y:4.13-29: %destructor redeclaration for <field1> | |
263 | input.y:4.13-29: previous declaration | |
264 | input.y:5.10-26: %printer redeclaration for <field2> | |
265 | input.y:2.10-26: previous declaration | |
266 | input.y:5.10-26: %printer redeclaration for <field2> | |
267 | input.y:5.10-26: previous declaration | |
268 | input.y:11.13-29: %destructor redeclaration for <field1> | |
269 | input.y:4.13-29: previous declaration | |
270 | input.y:11.13-29: %destructor redeclaration for <field2> | |
271 | input.y:1.13-29: previous declaration | |
272 | input.y:12.10-26: %printer redeclaration for <field1> | |
273 | input.y:2.10-26: previous declaration | |
274 | input.y:12.10-26: %printer redeclaration for <field2> | |
275 | input.y:5.10-26: previous declaration | |
276 | ]]) | |
277 | ||
278 | AT_CLEANUP | |
279 | ||
280 | ||
ec5479ce JD |
281 | ## ---------------------------------------- ## |
282 | ## Unused values with default %destructor. ## | |
283 | ## ---------------------------------------- ## | |
284 | ||
285 | AT_SETUP([Unused values with default %destructor]) | |
286 | ||
287 | AT_DATA([[input.y]], | |
3ebecc24 | 288 | [[%destructor { destroy ($$); } <> |
12e35840 JD |
289 | %type <tag> tagged |
290 | ||
291 | %% | |
292 | ||
293 | start: end end tagged tagged { $<tag>1; $3; } ; | |
294 | end: { } ; | |
295 | tagged: { } ; | |
296 | ]]) | |
297 | ||
da730230 | 298 | AT_BISON_CHECK([input.y], [0], [], |
12e35840 JD |
299 | [[input.y:6.8-45: warning: unset value: $$ |
300 | input.y:6.8-45: warning: unused value: $2 | |
301 | input.y:7.6-8: warning: unset value: $$ | |
302 | ]]) | |
303 | ||
304 | AT_DATA([[input.y]], | |
305 | [[%destructor { destroy ($$); } <*> | |
306 | %type <tag> tagged | |
ec5479ce JD |
307 | |
308 | %% | |
309 | ||
12e35840 JD |
310 | start: end end tagged tagged { $<tag>1; $3; } ; |
311 | end: { } ; | |
312 | tagged: { } ; | |
ec5479ce JD |
313 | ]]) |
314 | ||
da730230 | 315 | AT_BISON_CHECK([input.y], [0], [], |
12e35840 JD |
316 | [[input.y:6.8-45: warning: unused value: $4 |
317 | input.y:8.9-11: warning: unset value: $$ | |
ec5479ce JD |
318 | ]]) |
319 | ||
320 | AT_CLEANUP | |
321 | ||
322 | ||
b2a0b7ca JD |
323 | ## ----------------------------------------- ## |
324 | ## Unused values with per-type %destructor. ## | |
325 | ## ----------------------------------------- ## | |
326 | ||
327 | AT_SETUP([Unused values with per-type %destructor]) | |
328 | ||
329 | AT_DATA([[input.y]], | |
330 | [[%destructor { destroy ($$); } <field1> | |
331 | %type <field1> start end | |
332 | ||
333 | %% | |
334 | ||
335 | start: end end { $1; } ; | |
336 | end: { } ; | |
337 | ]]) | |
338 | ||
da730230 | 339 | AT_BISON_CHECK([input.y], [0], [], |
b2a0b7ca JD |
340 | [[input.y:6.8-22: warning: unset value: $$ |
341 | input.y:6.8-22: warning: unused value: $2 | |
342 | input.y:7.6-8: warning: unset value: $$ | |
343 | ]]) | |
344 | ||
345 | AT_CLEANUP | |
346 | ||
347 | ||
df09ef2e AD |
348 | ## ---------------------- ## |
349 | ## Incompatible Aliases. ## | |
350 | ## ---------------------- ## | |
351 | ||
352 | AT_SETUP([Incompatible Aliases]) | |
353 | ||
354 | AT_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 | %% | |
368 | exp: foo; | |
369 | ]]) | |
370 | ||
da730230 | 371 | AT_BISON_CHECK([input.y], [1], [], |
df09ef2e | 372 | [[input.y:8.7-11: %type redeclaration for foo |
dd60572a | 373 | input.y:3.7-11: previous declaration |
df09ef2e | 374 | input.y:10.13-17: %destructor redeclaration for foo |
dd60572a | 375 | input.y:5.13-17: previous declaration |
e2a8c0f5 | 376 | input.y:9.10-14: %printer redeclaration for foo |
dd60572a | 377 | input.y:4.10-14: previous declaration |
df09ef2e | 378 | input.y:11.1-5: %left redeclaration for foo |
dd60572a | 379 | input.y:6.1-5: previous declaration |
df09ef2e AD |
380 | ]]) |
381 | ||
382 | AT_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 | ||
393 | AT_SETUP([Torturing the Scanner]) | |
394 | ||
0baf7c50 PE |
395 | |
396 | AT_DATA([input.y], []) | |
da730230 | 397 | AT_BISON_CHECK([input.y], [1], [], |
4a678af8 | 398 | [[input.y:1.1: syntax error, unexpected end of file |
0baf7c50 PE |
399 | ]]) |
400 | ||
401 | ||
e9071366 | 402 | AT_DATA([input.y], |
b2ddc3f3 AD |
403 | [{} |
404 | ]) | |
da730230 | 405 | AT_BISON_CHECK([input.y], [1], [], |
4a678af8 | 406 | [[input.y:1.1-2: syntax error, unexpected {...} |
b2ddc3f3 AD |
407 | ]]) |
408 | ||
409 | ||
9501dc6e | 410 | AT_DATA_GRAMMAR([input.y], |
5a08f1ce AD |
411 | [[%{ |
412 | /* This is seen in GCC: a %{ and %} in middle of a comment. */ | |
413 | const 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 | |
436 | char str[] = "\\ | |
437 | " A string with backslash-newlines in it %{ %} \\ | |
dda7a53e | 438 | \ |
206fe6a5 PE |
439 | ""; |
440 | ||
dda7a53e | 441 | char 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 | 451 | typedef 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 | 465 | static YYSTYPE value_as_yystype (value val); |
5a08f1ce AD |
466 | |
467 | /* Exercise quotes in declarations. */ | |
468 | char quote[] = "@:>@@:>@,"; | |
469 | %} | |
470 | ||
471 | %{ | |
472 | static void yyerror (const char *s); | |
7172e23e | 473 | static 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 | 483 | exp: '@<:@' '\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 | |
491 | two: '\x000000000000000000000000000000000000000000000000000000000000000000002'; | |
492 | oline: '@' 'o' 'l' 'i' 'n' 'e' '@' '_' '_' 'o' 'l' 'i' 'n' 'e' '_' '_'; | |
087b9fdf | 493 | output.or.oline.opt: ;|oline;;|output;;; |
5b7f88c7 | 494 | output: '#' 'o' 'u' 't' 'p' 'u' 't' ' '; |
5a08f1ce | 495 | %% |
206fe6a5 | 496 | /* Exercise M4 quoting: '@:>@@:>@', @<:@, 2. */ |
5a08f1ce AD |
497 | |
498 | static YYSTYPE | |
051ade83 | 499 | value_as_yystype (value val) |
5a08f1ce AD |
500 | { |
501 | YYSTYPE res; | |
502 | res.ival = val; | |
503 | return res; | |
504 | } | |
505 | ||
7172e23e | 506 | static int |
5a08f1ce AD |
507 | yylex (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 | ||
519 | static void | |
520 | yyerror (const char *msg) | |
521 | { | |
522 | fprintf (stderr, "%s\n", msg); | |
523 | } | |
524 | ]]) | |
525 | ||
9501dc6e AD |
526 | # Pacify Emacs'font-lock-mode: " |
527 | ||
5a08f1ce | 528 | AT_DATA([main.c], |
051ade83 | 529 | [[typedef int value; |
5a08f1ce AD |
530 | #include "input.h" |
531 | ||
532 | int yyparse (void); | |
533 | ||
534 | int | |
535 | main (void) | |
536 | { | |
537 | return yyparse (); | |
538 | } | |
539 | ]]) | |
540 | ||
da730230 | 541 | AT_BISON_CHECK([-d -v -o input.c input.y]) |
efc6bf1b PE |
542 | AT_COMPILE([input.o], [-c input.c]) |
543 | AT_COMPILE([main.o], [-c main.c]) | |
544 | AT_COMPILE([input], [input.o main.o]) | |
1154cced | 545 | AT_PARSER_CHECK([./input], 0, |
206fe6a5 | 546 | [[[@<:@], |
5a08f1ce AD |
547 | ]]) |
548 | ||
549 | AT_CLEANUP | |
e59adf8f PE |
550 | |
551 | ||
552 | ## ---------------------- ## | |
553 | ## Typed symbol aliases. ## | |
554 | ## ---------------------- ## | |
555 | ||
556 | AT_SETUP([Typed symbol aliases]) | |
557 | ||
558 | # Bison 2.0 broke typed symbol aliases - ensure they work. | |
559 | ||
560 | AT_DATA_GRAMMAR([input.y], | |
561 | [[%union | |
562 | { | |
563 | int val; | |
564 | }; | |
565 | %token <val> MY_TOKEN "MY TOKEN" | |
566 | %type <val> exp | |
567 | %% | |
568 | exp: "MY TOKEN"; | |
569 | %% | |
570 | ]]) | |
571 | ||
da730230 | 572 | AT_BISON_CHECK([-o input.c input.y]) |
e59adf8f PE |
573 | |
574 | AT_CLEANUP | |
b50d2359 AD |
575 | |
576 | ||
577 | ## --------- ## | |
578 | ## Require. ## | |
579 | ## --------- ## | |
580 | ||
581 | m4_define([AT_CHECK_REQUIRE], | |
582 | [AT_SETUP([Require $1]) | |
583 | AT_DATA_GRAMMAR([input.y], | |
584 | [[%require "$1"; | |
585 | %% | |
586 | empty_file:; | |
587 | ]]) | |
da730230 | 588 | AT_BISON_CHECK([-o input.c input.y], $2, [], ignore) |
b50d2359 AD |
589 | AT_CLEANUP |
590 | ]) | |
591 | ||
592 | AT_CHECK_REQUIRE(1.0, 0) | |
593 | AT_CHECK_REQUIRE(AT_PACKAGE_VERSION, 0) | |
594 | ## FIXME: Some day augment this version number. | |
9b8a5ce0 | 595 | AT_CHECK_REQUIRE(100.0, 63) |
1f6b3679 JD |
596 | |
597 | ||
598 | ## ------------------------------------- ## | |
599 | ## String aliases for character tokens. ## | |
600 | ## ------------------------------------- ## | |
601 | ||
602 | AT_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 | ||
607 | AT_DATA_GRAMMAR([input.y], | |
608 | [[%token 'a' "a" | |
609 | %% | |
610 | start: 'a'; | |
611 | %% | |
612 | ]]) | |
613 | ||
da730230 | 614 | AT_BISON_CHECK([-o input.c input.y]) |
1f6b3679 JD |
615 | |
616 | AT_CLEANUP | |
47aee066 JD |
617 | |
618 | ||
619 | ## --------------------- ## | |
620 | ## Unclosed constructs. ## | |
621 | ## --------------------- ## | |
622 | ||
623 | AT_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 | ||
630 | AT_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 | ||
640 | start: ; | |
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 | 652 | AT_BISON_CHECK([-o input.c input.y], 1, [], |
47aee066 JD |
653 | [[input.y:1.10-2.0: missing `"' at end of line |
654 | input.y:4.10-5.0: missing `'' at end of line | |
655 | input.y:14.11-15.0: missing `'' at end of line | |
656 | input.y:16.11-17.0: missing `"' at end of line | |
657 | input.y:19.13-20.0: missing `}' at end of file | |
3be03b13 | 658 | input.y:20.1: syntax error, unexpected end of file |
47aee066 JD |
659 | ]]) |
660 | ||
661 | AT_CLEANUP | |
4d7370cb JD |
662 | |
663 | ||
664 | ## ------------------------- ## | |
665 | ## %start after first rule. ## | |
666 | ## ------------------------- ## | |
667 | ||
668 | AT_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 | ||
673 | AT_DATA([input.y], | |
674 | [[%% | |
675 | false_start: ; | |
676 | start: false_start ; | |
677 | %start start; | |
678 | ]]) | |
679 | ||
da730230 | 680 | AT_BISON_CHECK([-o input.c input.y]) |
4d7370cb JD |
681 | |
682 | AT_CLEANUP | |
26b8a438 JD |
683 | |
684 | ||
685 | ## --------------------- ## | |
686 | ## %prec takes a token. ## | |
687 | ## --------------------- ## | |
688 | ||
689 | AT_SETUP([%prec takes a token]) | |
690 | ||
691 | # Bison once allowed %prec sym where sym was a nonterminal. | |
692 | ||
693 | AT_DATA([input.y], | |
694 | [[%% | |
695 | start: PREC %prec PREC ; | |
696 | PREC: ; | |
697 | ]]) | |
698 | ||
da730230 | 699 | AT_BISON_CHECK([input.y], [1], [], |
26b8a438 JD |
700 | [[input.y:3.1-4: rule given for PREC, which is a token |
701 | ]]) | |
702 | ||
703 | AT_CLEANUP | |
8e0a5e9e JD |
704 | |
705 | ||
f1ceed07 JD |
706 | ## ------------------------------- ## |
707 | ## %prec's token must be defined. ## | |
708 | ## ------------------------------- ## | |
709 | ||
710 | AT_SETUP([[%prec's token must be defined]]) | |
711 | ||
712 | # According to POSIX, a %prec token must be defined separately. | |
713 | ||
714 | AT_DATA([[input.y]], | |
715 | [[%% | |
716 | start: %prec PREC ; | |
717 | ]]) | |
718 | ||
719 | AT_BISON_CHECK([[input.y]], [[0]], [], | |
720 | [[input.y:2.8-17: warning: token for %prec is not defined: PREC | |
721 | ]]) | |
722 | ||
723 | AT_CLEANUP | |
724 | ||
725 | ||
6afc30cc JD |
726 | ## -------------------------------- ## |
727 | ## Reject unused %code qualifiers. ## | |
728 | ## -------------------------------- ## | |
8e0a5e9e | 729 | |
6afc30cc | 730 | AT_SETUP([Reject unused %code qualifiers]) |
8e0a5e9e JD |
731 | |
732 | AT_DATA([input-c.y], | |
16dc6a9e JD |
733 | [[%code q {} |
734 | %code bad {} | |
735 | %code bad {} | |
8405b70c | 736 | %code format {} |
8e0a5e9e JD |
737 | %% |
738 | start: ; | |
739 | ]]) | |
da730230 | 740 | AT_BISON_CHECK([[input-c.y]], [0], [], |
16dc6a9e JD |
741 | [[input-c.y:1.7: warning: %code qualifier `q' is not used |
742 | input-c.y:2.7-9: warning: %code qualifier `bad' is not used | |
743 | input-c.y:3.7-9: warning: %code qualifier `bad' is not used | |
8405b70c | 744 | input-c.y:4.7-12: warning: %code qualifier `format' is not used |
08af01c2 | 745 | ]]) |
8e0a5e9e JD |
746 | |
747 | AT_DATA([input-c-glr.y], | |
16dc6a9e JD |
748 | [[%code q {} |
749 | %code bad {} | |
750 | %code bad {} | |
8e0a5e9e JD |
751 | %% |
752 | start: ; | |
753 | ]]) | |
da730230 | 754 | AT_BISON_CHECK([[input-c-glr.y]], [0], [], |
16dc6a9e JD |
755 | [[input-c-glr.y:1.7: warning: %code qualifier `q' is not used |
756 | input-c-glr.y:2.7-9: warning: %code qualifier `bad' is not used | |
757 | input-c-glr.y:3.8-10: warning: %code qualifier `bad' is not used | |
08af01c2 | 758 | ]]) |
8e0a5e9e JD |
759 | |
760 | AT_DATA([input-c++.y], | |
16dc6a9e JD |
761 | [[%code q {} |
762 | %code bad {} | |
763 | %code q {} | |
8e0a5e9e JD |
764 | %% |
765 | start: ; | |
766 | ]]) | |
da730230 | 767 | AT_BISON_CHECK([[input-c++.y]], [0], [], |
16dc6a9e JD |
768 | [[input-c++.y:1.7: warning: %code qualifier `q' is not used |
769 | input-c++.y:2.7-9: warning: %code qualifier `bad' is not used | |
770 | input-c++.y:3.8: warning: %code qualifier `q' is not used | |
08af01c2 | 771 | ]]) |
8e0a5e9e JD |
772 | |
773 | AT_DATA([input-c++-glr.y], | |
16dc6a9e JD |
774 | [[%code bad {} |
775 | %code q {} | |
776 | %code q {} | |
8e0a5e9e JD |
777 | %% |
778 | start: ; | |
779 | ]]) | |
da730230 | 780 | AT_BISON_CHECK([[input-c++-glr.y]], [0], [], |
16dc6a9e JD |
781 | [[input-c++-glr.y:1.7-9: warning: %code qualifier `bad' is not used |
782 | input-c++-glr.y:2.7: warning: %code qualifier `q' is not used | |
783 | input-c++-glr.y:3.7: warning: %code qualifier `q' is not used | |
3fc65ead JD |
784 | ]]) |
785 | ||
786 | AT_DATA([special-char-@@.y], | |
16dc6a9e JD |
787 | [[%code bad {} |
788 | %code q {} | |
789 | %code q {} | |
3fc65ead JD |
790 | %% |
791 | start: ; | |
792 | ]]) | |
da730230 | 793 | AT_BISON_CHECK([[special-char-@@.y]], [0], [], |
16dc6a9e JD |
794 | [[special-char-@@.y:1.7-9: warning: %code qualifier `bad' is not used |
795 | special-char-@@.y:2.7: warning: %code qualifier `q' is not used | |
796 | special-char-@@.y:3.7: warning: %code qualifier `q' is not used | |
3fc65ead JD |
797 | ]]) |
798 | ||
799 | AT_DATA([special-char-@:>@.y], | |
16dc6a9e JD |
800 | [[%code bad {} |
801 | %code q {} | |
802 | %code q {} | |
3fc65ead JD |
803 | %% |
804 | start: ; | |
805 | ]]) | |
da730230 | 806 | AT_BISON_CHECK([[special-char-@:>@.y]], [0], [], |
16dc6a9e JD |
807 | [[special-char-@:>@.y:1.7-9: warning: %code qualifier `bad' is not used |
808 | special-char-@:>@.y:2.7: warning: %code qualifier `q' is not used | |
809 | special-char-@:>@.y:3.7: warning: %code qualifier `q' is not used | |
08af01c2 | 810 | ]]) |
8e0a5e9e JD |
811 | |
812 | AT_CLEANUP | |
7eb8a0bc JD |
813 | |
814 | ||
815 | ## ---------------- ## | |
816 | ## %define errors. ## | |
817 | ## ---------------- ## | |
818 | ||
819 | AT_SETUP([%define errors]) | |
820 | ||
821 | AT_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 | %% |
828 | start: ; | |
829 | ]]) | |
830 | ||
da730230 | 831 | AT_BISON_CHECK([[input.y]], [0], [], |
16dc6a9e | 832 | [[input.y:2.9-11: warning: %define variable `var' redefined |
9611cfa2 | 833 | input.y:1.9-11: warning: previous definition |
16dc6a9e | 834 | input.y:3.10-12: warning: %define variable `var' redefined |
9611cfa2 | 835 | input.y:2.9-11: warning: previous definition |
16dc6a9e JD |
836 | input.y:1.9-11: warning: %define variable `var' is not used |
837 | input.y:2.9-11: warning: %define variable `var' is not used | |
838 | input.y:3.10-12: warning: %define variable `var' is not used | |
839 | input.y:4.9-16: warning: %define variable `special1' is not used | |
840 | input.y:5.9-16: warning: %define variable `special2' is not used | |
7eb8a0bc JD |
841 | ]]) |
842 | ||
843 | AT_CLEANUP | |
c1d19e10 PB |
844 | |
845 | ## --------------------------- ## | |
d782395d | 846 | ## %define Boolean variables. ## |
c1d19e10 PB |
847 | ## --------------------------- ## |
848 | ||
d782395d | 849 | AT_SETUP([[%define Boolean variables]]) |
c1d19e10 PB |
850 | |
851 | AT_DATA([Input.y], | |
852 | [[%language "Java" | |
853 | %define public "maybe" | |
854 | %define parser_class_name "Input" | |
855 | %% | |
856 | start: ; | |
857 | ]]) | |
858 | ||
da730230 | 859 | AT_BISON_CHECK([[Input.y]], [1], [], |
922bdd7f | 860 | [[Input.y:2.9-14: invalid value for %define Boolean variable `public' |
c1d19e10 PB |
861 | ]]) |
862 | ||
863 | AT_CLEANUP | |
d782395d JD |
864 | |
865 | ## ------------------------ ## | |
866 | ## %define enum variables. ## | |
867 | ## ------------------------ ## | |
868 | ||
869 | AT_SETUP([[%define enum variables]]) | |
870 | ||
871 | AT_DATA([[input.y]], | |
c373bf8b | 872 | [[%define api.push_pull "neither" |
d782395d JD |
873 | %% |
874 | start: ; | |
875 | ]]) | |
876 | ||
da730230 | 877 | AT_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 | ||
881 | AT_CLEANUP | |
793fbca5 | 882 | |
d9df47b6 JD |
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 | ||
da730230 | 902 | AT_BISON_CHECK([[input.y]], [0], [], |
d9df47b6 JD |
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 | ||
793fbca5 JD |
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 | ||
da730230 | 935 | AT_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 | ||
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 | |
b1a4261e JD |
964 | |
965 | ## ------------------------- ## | |
966 | ## Bad escapes in literals. ## | |
967 | ## ------------------------- ## | |
968 | ||
969 | AT_SETUP([[Bad escapes in literals]]) | |
970 | ||
971 | AT_DATA([input.y], | |
972 | [[%% | |
973 | start: '\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. | |
982 | AT_CHECK([[perl -e 'print "start: \"\\\t\\\f\\\0\\\1\" ;";' >> input.y \ | |
983 | || exit 77]]) | |
b1a4261e JD |
984 | |
985 | AT_BISON_CHECK([input.y], [1], [], | |
986 | [[input.y:2.9-12: invalid number after \-escape: 777 | |
987 | input.y:2.16-17: invalid number after \-escape: 0 | |
988 | input.y:2.21-25: invalid number after \-escape: xfff | |
989 | input.y:2.29-31: invalid number after \-escape: x0 | |
990 | input.y:3.9-14: invalid number after \-escape: uffff | |
991 | input.y:3.18-23: invalid number after \-escape: u0000 | |
992 | input.y:3.27-36: invalid number after \-escape: Uffffffff | |
993 | input.y:3.40-49: invalid number after \-escape: U00000000 | |
994 | input.y:4.9-10: invalid character after \-escape: ` ' | |
995 | input.y:4.14-15: invalid character after \-escape: A | |
996 | input.y:5.9-16: invalid character after \-escape: \t | |
997 | input.y:5.17: invalid character after \-escape: \f | |
998 | input.y:5.18: invalid character after \-escape: \0 | |
999 | input.y:5.19: invalid character after \-escape: \001 | |
1000 | ]]) | |
1001 | ||
1002 | AT_CLEANUP |