]>
Commit | Line | Data |
---|---|---|
087b9fdf | 1 | # Checking the Bison scanner. -*- Autotest -*- |
7d424de1 | 2 | |
34136e65 | 3 | # Copyright (C) 2002-2012 Free Software Foundation, Inc. |
9b2d0677 | 4 | |
f16b0819 | 5 | # This program is free software: you can redistribute it and/or modify |
9b2d0677 | 6 | # it under the terms of the GNU General Public License as published by |
f16b0819 PE |
7 | # the Free Software Foundation, either version 3 of the License, or |
8 | # (at your option) any later version. | |
9 | # | |
9b2d0677 AD |
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. | |
f16b0819 | 14 | # |
9b2d0677 | 15 | # You should have received a copy of the GNU General Public License |
f16b0819 | 16 | # along with this program. If not, see <http://www.gnu.org/licenses/>. |
9b2d0677 AD |
17 | |
18 | AT_BANNER([[Input Processing.]]) | |
19 | ||
20 | # Mostly test that we are robust to mistakes. | |
21 | ||
6c35d22c | 22 | |
9b2d0677 AD |
23 | ## ------------ ## |
24 | ## Invalid $n. ## | |
25 | ## ------------ ## | |
26 | ||
287b314e | 27 | AT_SETUP([Invalid $n and @n]) |
9b2d0677 AD |
28 | |
29 | AT_DATA([input.y], | |
30 | [[%% | |
bfcf1f3a | 31 | exp: { $$ = $1 ; }; |
bfcf1f3a | 32 | exp: { @$ = @1 ; }; |
9b2d0677 AD |
33 | ]]) |
34 | ||
da730230 | 35 | AT_BISON_CHECK([input.y], [1], [], |
ae93e4e4 JM |
36 | [[input.y:2.13-14: integer out of range: '$1' |
37 | input.y:3.13-14: integer out of range: '@1' | |
9b2d0677 AD |
38 | ]]) |
39 | ||
40 | AT_CLEANUP | |
9af3fbce AD |
41 | |
42 | ||
43 | ## -------------- ## | |
e776192e | 44 | ## Type Clashes. ## |
9af3fbce AD |
45 | ## -------------- ## |
46 | ||
e776192e | 47 | AT_SETUP([Type Clashes]) |
9af3fbce AD |
48 | |
49 | AT_DATA([input.y], | |
ffa4ba3a JD |
50 | [[%union { int bar; } |
51 | %token foo | |
9af3fbce AD |
52 | %type <bar> exp |
53 | %% | |
ffa4ba3a | 54 | exp: foo { $$; } foo { $2; } foo |
9af3fbce AD |
55 | | foo |
56 | | /* Empty. */ | |
57 | ; | |
58 | ]]) | |
59 | ||
da730230 | 60 | AT_BISON_CHECK([input.y], [1], [], |
ae93e4e4 JM |
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 | |
ffa4ba3a JD |
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 | |
9af3fbce AD |
66 | ]]) |
67 | ||
68 | AT_CLEANUP | |
5a08f1ce AD |
69 | |
70 | ||
ffa4ba3a | 71 | # _AT_UNUSED_VALUES_DECLARATIONS() |
dab244d5 | 72 | # -------------------------------- |
ffa4ba3a JD |
73 | # Generate the token, type, and destructor |
74 | # declarations for the unused values tests. | |
ffa4ba3a JD |
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;]]]) | |
378f4bd8 | 79 | |
ffa4ba3a | 80 | |
17bd8a73 | 81 | # AT_CHECK_UNUSED_VALUES(DECLARATIONS_AFTER, CHECK_MIDRULE_VALUES) |
dab244d5 AD |
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. | |
ffa4ba3a JD |
87 | m4_define([AT_CHECK_UNUSED_VALUES], |
88 | [AT_DATA([input.y], | |
89 | m4_ifval($1, [ | |
90 | ||
91 | ||
92 | ], [_AT_UNUSED_VALUES_DECLARATIONS | |
93 | ])[[%% | |
27622431 | 94 | start: |
e8cd1ad6 DJ |
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[; } | |
378f4bd8 | 98 | ; |
27622431 PE |
99 | |
100 | a: INT | INT { } INT { } INT { }; | |
101 | b: INT | /* empty */; | |
e8cd1ad6 DJ |
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[; }; | |
ffa4ba3a | 105 | f: INT | INT { } INT { } INT { $]$[ = $]1[ + $]3[ + $]5[; }; |
ddc8ede1 PE |
106 | g: INT | INT { $<integer>$; } INT { $<integer>$; } INT { }; |
107 | h: INT | INT { $<integer>$; } INT { $<integer>$ = $<integer>2; } INT { }; | |
ffa4ba3a JD |
108 | i: INT | INT INT { } { $]$[ = $]1[ + $]2[; }; |
109 | j: INT | INT INT { $<integer>$ = 1; } { $]$[ = $]1[ + $]2[; }; | |
ddc8ede1 PE |
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, [ | |
ffa4ba3a JD |
112 | _AT_UNUSED_VALUES_DECLARATIONS]) |
113 | ) | |
114 | ||
da730230 | 115 | AT_BISON_CHECK(m4_ifval($2, [ --warnings=midrule-values ])[ input.y], [0], [], |
ffa4ba3a JD |
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 | |
e8cd1ad6 DJ |
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[ | |
17bd8a73 | 126 | ]]m4_ifval($2, [[[input.y:14.14-16: warning: unset value: $$ |
e8cd1ad6 DJ |
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[ | |
ddc8ede1 PE |
133 | input.y:17.10-58: warning: unset value: $]$[ |
134 | input.y:17.10-58: warning: unused value: $]1[ | |
17bd8a73 JD |
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[ | |
ddc8ede1 PE |
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[ | |
17bd8a73 JD |
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: $]$[ | |
ddc8ede1 PE |
146 | input.y:21.10-68: warning: unused value: $]1[ |
147 | input.y:21.10-68: warning: unused value: $]2[ | |
17bd8a73 JD |
148 | ]]m4_ifval($2, [[[input.y:21.10-68: warning: unused value: $]4[ |
149 | ]]]))]) | |
27622431 | 150 | |
378f4bd8 | 151 | |
ffa4ba3a JD |
152 | ## --------------- ## |
153 | ## Unused values. ## | |
154 | ## --------------- ## | |
155 | ||
156 | AT_SETUP([Unused values]) | |
157 | AT_CHECK_UNUSED_VALUES | |
17bd8a73 | 158 | AT_CHECK_UNUSED_VALUES(, [1]) |
ffa4ba3a JD |
159 | AT_CLEANUP |
160 | ||
161 | ||
162 | ## ------------------------------------------ ## | |
163 | ## Unused values before symbol declarations. ## | |
164 | ## ------------------------------------------ ## | |
84866159 | 165 | |
ffa4ba3a JD |
166 | AT_SETUP([Unused values before symbol declarations]) |
167 | AT_CHECK_UNUSED_VALUES([1]) | |
17bd8a73 | 168 | AT_CHECK_UNUSED_VALUES([1], [1]) |
84866159 | 169 | AT_CLEANUP |
378f4bd8 AD |
170 | |
171 | ||
ec5479ce JD |
172 | ## --------------------------------------------- ## |
173 | ## Default %printer and %destructor redeclared. ## | |
174 | ## --------------------------------------------- ## | |
175 | ||
176 | AT_SETUP([Default %printer and %destructor redeclared]) | |
177 | ||
178 | AT_DATA([[input.y]], | |
12e35840 | 179 | [[%destructor { destroy ($$); } <*> <*> |
abcd36ca | 180 | %printer { print ($$); } <*> <*> |
ec5479ce | 181 | |
12e35840 | 182 | %destructor { destroy ($$); } <*> |
abcd36ca | 183 | %printer { print ($$); } <*> |
12e35840 | 184 | |
3ebecc24 | 185 | %destructor { destroy ($$); } <> <> |
abcd36ca | 186 | %printer { print ($$); } <> <> |
12e35840 | 187 | |
3ebecc24 | 188 | %destructor { destroy ($$); } <> |
abcd36ca | 189 | %printer { print ($$); } <> |
ec5479ce JD |
190 | |
191 | %% | |
192 | ||
193 | start: ; | |
194 | ||
12e35840 | 195 | %destructor { destroy ($$); } <*>; |
abcd36ca | 196 | %printer { print ($$); } <*>; |
12e35840 | 197 | |
3ebecc24 | 198 | %destructor { destroy ($$); } <>; |
abcd36ca | 199 | %printer { print ($$); } <>; |
ec5479ce JD |
200 | ]]) |
201 | ||
da730230 | 202 | AT_BISON_CHECK([input.y], [1], [], |
12e35840 | 203 | [[input.y:1.13-29: redeclaration for default tagged %destructor |
b2a0b7ca | 204 | input.y:1.13-29: previous declaration |
abcd36ca AD |
205 | input.y:2.10-24: redeclaration for default tagged %printer |
206 | input.y:2.10-24: previous declaration | |
12e35840 | 207 | input.y:4.13-29: redeclaration for default tagged %destructor |
ec5479ce | 208 | input.y:1.13-29: previous declaration |
abcd36ca AD |
209 | input.y:5.10-24: redeclaration for default tagged %printer |
210 | input.y:2.10-24: previous declaration | |
12e35840 JD |
211 | input.y:7.13-29: redeclaration for default tagless %destructor |
212 | input.y:7.13-29: previous declaration | |
abcd36ca AD |
213 | input.y:8.10-24: redeclaration for default tagless %printer |
214 | input.y:8.10-24: previous declaration | |
12e35840 JD |
215 | input.y:10.13-29: redeclaration for default tagless %destructor |
216 | input.y:7.13-29: previous declaration | |
abcd36ca AD |
217 | input.y:11.10-24: redeclaration for default tagless %printer |
218 | input.y:8.10-24: previous declaration | |
12e35840 | 219 | input.y:17.13-29: redeclaration for default tagged %destructor |
ec5479ce | 220 | input.y:4.13-29: previous declaration |
abcd36ca AD |
221 | input.y:18.10-24: redeclaration for default tagged %printer |
222 | input.y:5.10-24: previous declaration | |
12e35840 JD |
223 | input.y:20.13-29: redeclaration for default tagless %destructor |
224 | input.y:10.13-29: previous declaration | |
abcd36ca AD |
225 | input.y:21.10-24: redeclaration for default tagless %printer |
226 | input.y:11.10-24: previous declaration | |
ec5479ce JD |
227 | ]]) |
228 | ||
229 | AT_CLEANUP | |
230 | ||
231 | ||
b2a0b7ca JD |
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> | |
abcd36ca | 240 | %printer { print ($$); } <field1> <field2> |
b2a0b7ca JD |
241 | |
242 | %destructor { destroy ($$); } <field1> <field1> | |
abcd36ca | 243 | %printer { print ($$); } <field2> <field2> |
b2a0b7ca JD |
244 | |
245 | %% | |
246 | ||
247 | start: ; | |
248 | ||
249 | %destructor { destroy ($$); } <field2> <field1>; | |
abcd36ca | 250 | %printer { print ($$); } <field2> <field1>; |
b2a0b7ca JD |
251 | ]]) |
252 | ||
da730230 | 253 | AT_BISON_CHECK([input.y], [1], [], |
b2a0b7ca JD |
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 | |
abcd36ca AD |
258 | input.y:5.10-24: %printer redeclaration for <field2> |
259 | input.y:2.10-24: previous declaration | |
260 | input.y:5.10-24: %printer redeclaration for <field2> | |
261 | input.y:5.10-24: previous declaration | |
b2a0b7ca JD |
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 | |
abcd36ca AD |
266 | input.y:12.10-24: %printer redeclaration for <field1> |
267 | input.y:2.10-24: previous declaration | |
268 | input.y:12.10-24: %printer redeclaration for <field2> | |
269 | input.y:5.10-24: previous declaration | |
b2a0b7ca JD |
270 | ]]) |
271 | ||
272 | AT_CLEANUP | |
273 | ||
3b0b682f AD |
274 | ## ----------------------------------------------------- ## |
275 | ## Undeclared symbols used for a printer or destructor. ## | |
276 | ## ----------------------------------------------------- ## | |
b921d92f VS |
277 | |
278 | AT_SETUP([Undeclared symbols used for a printer or destructor]) | |
279 | ||
280 | AT_DATA([[input.y]], | |
3b0b682f AD |
281 | [[%printer {} foo baz |
282 | %destructor {} bar | |
b921d92f VS |
283 | |
284 | %% | |
3b0b682f | 285 | exp: bar; |
b921d92f VS |
286 | ]]) |
287 | ||
3b0b682f AD |
288 | AT_BISON_CHECK([input.y], [1], [], |
289 | [[input.y:2.16-18: symbol bar is used, but is not defined as a token and has no rules | |
290 | input.y:1.17-19: warning: symbol baz is used, but is not defined as a token and has no rules | |
291 | input.y:1.13-15: warning: symbol foo is used, but is not defined as a token and has no rules | |
b921d92f VS |
292 | ]]) |
293 | ||
294 | AT_CLEANUP | |
295 | ||
b2a0b7ca | 296 | |
ec5479ce JD |
297 | ## ---------------------------------------- ## |
298 | ## Unused values with default %destructor. ## | |
299 | ## ---------------------------------------- ## | |
300 | ||
301 | AT_SETUP([Unused values with default %destructor]) | |
302 | ||
303 | AT_DATA([[input.y]], | |
3ebecc24 | 304 | [[%destructor { destroy ($$); } <> |
12e35840 JD |
305 | %type <tag> tagged |
306 | ||
307 | %% | |
308 | ||
309 | start: end end tagged tagged { $<tag>1; $3; } ; | |
310 | end: { } ; | |
311 | tagged: { } ; | |
312 | ]]) | |
313 | ||
da730230 | 314 | AT_BISON_CHECK([input.y], [0], [], |
12e35840 JD |
315 | [[input.y:6.8-45: warning: unset value: $$ |
316 | input.y:6.8-45: warning: unused value: $2 | |
317 | input.y:7.6-8: warning: unset value: $$ | |
318 | ]]) | |
319 | ||
320 | AT_DATA([[input.y]], | |
321 | [[%destructor { destroy ($$); } <*> | |
322 | %type <tag> tagged | |
ec5479ce JD |
323 | |
324 | %% | |
325 | ||
12e35840 JD |
326 | start: end end tagged tagged { $<tag>1; $3; } ; |
327 | end: { } ; | |
328 | tagged: { } ; | |
ec5479ce JD |
329 | ]]) |
330 | ||
da730230 | 331 | AT_BISON_CHECK([input.y], [0], [], |
12e35840 JD |
332 | [[input.y:6.8-45: warning: unused value: $4 |
333 | input.y:8.9-11: warning: unset value: $$ | |
ec5479ce JD |
334 | ]]) |
335 | ||
336 | AT_CLEANUP | |
337 | ||
338 | ||
b2a0b7ca JD |
339 | ## ----------------------------------------- ## |
340 | ## Unused values with per-type %destructor. ## | |
341 | ## ----------------------------------------- ## | |
342 | ||
343 | AT_SETUP([Unused values with per-type %destructor]) | |
344 | ||
345 | AT_DATA([[input.y]], | |
346 | [[%destructor { destroy ($$); } <field1> | |
347 | %type <field1> start end | |
348 | ||
349 | %% | |
350 | ||
351 | start: end end { $1; } ; | |
352 | end: { } ; | |
353 | ]]) | |
354 | ||
da730230 | 355 | AT_BISON_CHECK([input.y], [0], [], |
b2a0b7ca JD |
356 | [[input.y:6.8-22: warning: unset value: $$ |
357 | input.y:6.8-22: warning: unused value: $2 | |
358 | input.y:7.6-8: warning: unset value: $$ | |
359 | ]]) | |
360 | ||
361 | AT_CLEANUP | |
362 | ||
363 | ||
df09ef2e AD |
364 | ## ---------------------- ## |
365 | ## Incompatible Aliases. ## | |
366 | ## ---------------------- ## | |
367 | ||
368 | AT_SETUP([Incompatible Aliases]) | |
369 | ||
370 | AT_DATA([input.y], | |
371 | [[%token foo "foo" | |
372 | ||
373 | %type <bar> foo | |
374 | %printer {bar} foo | |
375 | %destructor {bar} foo | |
376 | %left foo | |
377 | ||
378 | %type <baz> "foo" | |
379 | %printer {baz} "foo" | |
380 | %destructor {baz} "foo" | |
381 | %left "foo" | |
382 | ||
383 | %% | |
384 | exp: foo; | |
385 | ]]) | |
386 | ||
da730230 | 387 | AT_BISON_CHECK([input.y], [1], [], |
df09ef2e | 388 | [[input.y:8.7-11: %type redeclaration for foo |
dd60572a | 389 | input.y:3.7-11: previous declaration |
df09ef2e | 390 | input.y:10.13-17: %destructor redeclaration for foo |
dd60572a | 391 | input.y:5.13-17: previous declaration |
e2a8c0f5 | 392 | input.y:9.10-14: %printer redeclaration for foo |
dd60572a | 393 | input.y:4.10-14: previous declaration |
df09ef2e | 394 | input.y:11.1-5: %left redeclaration for foo |
dd60572a | 395 | input.y:6.1-5: previous declaration |
df09ef2e AD |
396 | ]]) |
397 | ||
398 | AT_CLEANUP | |
399 | ||
400 | ||
5a08f1ce AD |
401 | |
402 | ## ----------------------- ## | |
403 | ## Torturing the Scanner. ## | |
404 | ## ----------------------- ## | |
405 | ||
406 | # Be sure to compile and run, so that the C compiler checks what | |
407 | # we do. | |
408 | ||
409 | AT_SETUP([Torturing the Scanner]) | |
410 | ||
71c7e24f | 411 | AT_BISON_OPTION_PUSHDEFS |
0baf7c50 | 412 | AT_DATA([input.y], []) |
da730230 | 413 | AT_BISON_CHECK([input.y], [1], [], |
4a678af8 | 414 | [[input.y:1.1: syntax error, unexpected end of file |
0baf7c50 PE |
415 | ]]) |
416 | ||
417 | ||
e9071366 | 418 | AT_DATA([input.y], |
b2ddc3f3 AD |
419 | [{} |
420 | ]) | |
da730230 | 421 | AT_BISON_CHECK([input.y], [1], [], |
4a678af8 | 422 | [[input.y:1.1-2: syntax error, unexpected {...} |
b2ddc3f3 AD |
423 | ]]) |
424 | ||
425 | ||
9501dc6e | 426 | AT_DATA_GRAMMAR([input.y], |
5a08f1ce AD |
427 | [[%{ |
428 | /* This is seen in GCC: a %{ and %} in middle of a comment. */ | |
429 | const char *foo = "So %{ and %} can be here too."; | |
430 | ||
dda7a53e PE |
431 | #if 0 |
432 | /* These examples test Bison while not stressing C compilers too much. | |
433 | Many C compilers mishandle backslash-newlines, so this part of the | |
434 | test is inside "#if 0". The comment and string are written so that | |
435 | the "#endif" will be seen regardless of the C compiler bugs that we | |
436 | know about, namely: | |
437 | ||
438 | HP C (as of late 2002) mishandles *\[newline]\[newline]/ within a | |
439 | comment. | |
440 | ||
441 | The Apple Darwin compiler (as of late 2002) mishandles | |
442 | \\[newline]' within a character constant. | |
443 | ||
444 | */ | |
445 | ||
206fe6a5 | 446 | /\ |
dda7a53e PE |
447 | * A comment with backslash-newlines in it. %} *\ |
448 | \ | |
206fe6a5 | 449 | / |
dda7a53e | 450 | /* { Close the above comment, if the C compiler mishandled it. */ |
206fe6a5 PE |
451 | |
452 | char str[] = "\\ | |
453 | " A string with backslash-newlines in it %{ %} \\ | |
dda7a53e | 454 | \ |
206fe6a5 PE |
455 | ""; |
456 | ||
dda7a53e | 457 | char apostrophe = '\''; |
206fe6a5 PE |
458 | #endif |
459 | ||
5a08f1ce | 460 | #include <stdio.h> |
c4bd5bf7 | 461 | #include <stdlib.h> |
5a08f1ce AD |
462 | %} |
463 | /* %{ and %} can be here too. */ | |
464 | ||
465 | %{ | |
466 | /* Exercise pre-prologue dependency to %union. */ | |
051ade83 | 467 | typedef int value; |
5a08f1ce AD |
468 | %} |
469 | ||
470 | /* Exercise M4 quoting: '@:>@@:>@', 0. */ | |
471 | ||
472 | /* Also exercise %union. */ | |
473 | %union | |
474 | { | |
051ade83 | 475 | value ival; /* A comment to exercise an old bug. */ |
5a08f1ce AD |
476 | }; |
477 | ||
478 | ||
479 | /* Exercise post-prologue dependency to %union. */ | |
480 | %{ | |
051ade83 | 481 | static YYSTYPE value_as_yystype (value val); |
5a08f1ce AD |
482 | |
483 | /* Exercise quotes in declarations. */ | |
484 | char quote[] = "@:>@@:>@,"; | |
485 | %} | |
486 | ||
487 | %{ | |
55f48c48 AD |
488 | ]AT_YYERROR_DECLARE[ |
489 | ]AT_YYLEX_DECLARE[ | |
5a08f1ce AD |
490 | %} |
491 | ||
206fe6a5 | 492 | %type <ival> '@<:@' |
5a08f1ce AD |
493 | |
494 | /* Exercise quotes in strings. */ | |
3dc4c5fa | 495 | %token FAKE "fake @<:@@:>@ \a\b\f\n\r\t\v\"\'\?\\\u005B\U0000005c ??!??'??(??)??-??/??<??=??> \x1\1" |
5a08f1ce AD |
496 | |
497 | %% | |
206fe6a5 | 498 | /* Exercise M4 quoting: '@:>@@:>@', @<:@, 1. */ |
087b9fdf | 499 | exp: '@<:@' '\1' two '$' '@' '{' oline output.or.oline.opt |
5a08f1ce AD |
500 | { |
501 | /* Exercise quotes in braces. */ | |
502 | char tmp[] = "@<:@%c@:>@,\n"; | |
503 | printf (tmp, $1); | |
504 | } | |
505 | ; | |
5b7f88c7 PE |
506 | |
507 | two: '\x000000000000000000000000000000000000000000000000000000000000000000002'; | |
508 | oline: '@' 'o' 'l' 'i' 'n' 'e' '@' '_' '_' 'o' 'l' 'i' 'n' 'e' '_' '_'; | |
087b9fdf | 509 | output.or.oline.opt: ;|oline;;|output;;; |
5b7f88c7 | 510 | output: '#' 'o' 'u' 't' 'p' 'u' 't' ' '; |
5a08f1ce | 511 | %% |
206fe6a5 | 512 | /* Exercise M4 quoting: '@:>@@:>@', @<:@, 2. */ |
5a08f1ce AD |
513 | |
514 | static YYSTYPE | |
051ade83 | 515 | value_as_yystype (value val) |
5a08f1ce AD |
516 | { |
517 | YYSTYPE res; | |
518 | res.ival = val; | |
519 | return res; | |
520 | } | |
71c7e24f | 521 | ]AT_YYERROR_DEFINE[ |
7172e23e | 522 | static int |
5a08f1ce AD |
523 | yylex (void) |
524 | { | |
cf806753 | 525 | static char const input[] = "@<:@\1\2$@{@oline@__@&t@oline__\ |
5b7f88c7 PE |
526 | #output "; /* " |
527 | */ | |
cf806753 PE |
528 | static size_t toknum; |
529 | if (! (toknum < sizeof input)) | |
530 | abort (); | |
531 | yylval = value_as_yystype (input[toknum]); | |
532 | return input[toknum++]; | |
5a08f1ce | 533 | } |
5a08f1ce AD |
534 | ]]) |
535 | ||
9501dc6e AD |
536 | # Pacify Emacs'font-lock-mode: " |
537 | ||
5a08f1ce | 538 | AT_DATA([main.c], |
051ade83 | 539 | [[typedef int value; |
5a08f1ce AD |
540 | #include "input.h" |
541 | ||
542 | int yyparse (void); | |
543 | ||
544 | int | |
545 | main (void) | |
546 | { | |
547 | return yyparse (); | |
548 | } | |
549 | ]]) | |
71c7e24f | 550 | AT_BISON_OPTION_POPDEFS |
5a08f1ce | 551 | |
da730230 | 552 | AT_BISON_CHECK([-d -v -o input.c input.y]) |
efc6bf1b PE |
553 | AT_COMPILE([input.o], [-c input.c]) |
554 | AT_COMPILE([main.o], [-c main.c]) | |
555 | AT_COMPILE([input], [input.o main.o]) | |
1154cced | 556 | AT_PARSER_CHECK([./input], 0, |
206fe6a5 | 557 | [[[@<:@], |
5a08f1ce AD |
558 | ]]) |
559 | ||
560 | AT_CLEANUP | |
e59adf8f PE |
561 | |
562 | ||
563 | ## ---------------------- ## | |
564 | ## Typed symbol aliases. ## | |
565 | ## ---------------------- ## | |
566 | ||
567 | AT_SETUP([Typed symbol aliases]) | |
568 | ||
569 | # Bison 2.0 broke typed symbol aliases - ensure they work. | |
570 | ||
571 | AT_DATA_GRAMMAR([input.y], | |
572 | [[%union | |
573 | { | |
574 | int val; | |
575 | }; | |
576 | %token <val> MY_TOKEN "MY TOKEN" | |
577 | %type <val> exp | |
578 | %% | |
579 | exp: "MY TOKEN"; | |
580 | %% | |
581 | ]]) | |
582 | ||
da730230 | 583 | AT_BISON_CHECK([-o input.c input.y]) |
e59adf8f PE |
584 | |
585 | AT_CLEANUP | |
b50d2359 AD |
586 | |
587 | ||
588 | ## --------- ## | |
589 | ## Require. ## | |
590 | ## --------- ## | |
591 | ||
592 | m4_define([AT_CHECK_REQUIRE], | |
593 | [AT_SETUP([Require $1]) | |
594 | AT_DATA_GRAMMAR([input.y], | |
595 | [[%require "$1"; | |
596 | %% | |
597 | empty_file:; | |
598 | ]]) | |
da730230 | 599 | AT_BISON_CHECK([-o input.c input.y], $2, [], ignore) |
b50d2359 AD |
600 | AT_CLEANUP |
601 | ]) | |
602 | ||
603 | AT_CHECK_REQUIRE(1.0, 0) | |
604 | AT_CHECK_REQUIRE(AT_PACKAGE_VERSION, 0) | |
605 | ## FIXME: Some day augment this version number. | |
9b8a5ce0 | 606 | AT_CHECK_REQUIRE(100.0, 63) |
1f6b3679 JD |
607 | |
608 | ||
609 | ## ------------------------------------- ## | |
610 | ## String aliases for character tokens. ## | |
611 | ## ------------------------------------- ## | |
612 | ||
613 | AT_SETUP([String aliases for character tokens]) | |
614 | ||
dab244d5 AD |
615 | # Bison once thought a character token and its alias were different |
616 | # symbols with the same user token number. | |
1f6b3679 JD |
617 | |
618 | AT_DATA_GRAMMAR([input.y], | |
619 | [[%token 'a' "a" | |
620 | %% | |
621 | start: 'a'; | |
622 | %% | |
623 | ]]) | |
624 | ||
da730230 | 625 | AT_BISON_CHECK([-o input.c input.y]) |
1f6b3679 JD |
626 | |
627 | AT_CLEANUP | |
47aee066 JD |
628 | |
629 | ||
746ee38c AD |
630 | ## -------------- ## |
631 | ## Symbol names. ## | |
632 | ## -------------- ## | |
633 | ||
634 | AT_SETUP([Symbols]) | |
635 | ||
55f48c48 | 636 | AT_BISON_OPTION_PUSHDEFS |
746ee38c AD |
637 | AT_DATA_GRAMMAR([input.y], |
638 | [[%token WITH-DASH | |
639 | %token WITHOUT_DASH "WITHOUT-DASH" | |
640 | %token WITH.PERIOD | |
641 | %token WITHOUT_PERIOD "WITHOUT.PERIOD" | |
d521ee19 | 642 | %code { |
55f48c48 AD |
643 | ]AT_YYERROR_DECLARE[ |
644 | ]AT_YYLEX_DECLARE[ | |
d521ee19 | 645 | } |
746ee38c AD |
646 | %% |
647 | start: with-dash without_dash with.period without_period; | |
648 | with-dash: WITH-DASH; | |
649 | without_dash: "WITHOUT-DASH"; | |
650 | with.period: WITH.PERIOD; | |
651 | without_period: "WITHOUT.PERIOD"; | |
652 | %% | |
55f48c48 AD |
653 | ]AT_YYERROR_DEFINE[ |
654 | ]AT_YYLEX_DEFINE[ | |
746ee38c | 655 | ]]) |
55f48c48 | 656 | AT_BISON_OPTION_POPDEFS |
746ee38c AD |
657 | |
658 | # POSIX Yacc accept periods, but not dashes. | |
659 | AT_BISON_CHECK([--yacc input.y], [1], [], | |
660 | [[input.y:9.8-16: POSIX Yacc forbids dashes in symbol names: WITH-DASH | |
d521ee19 | 661 | input.y:18.8-16: POSIX Yacc forbids dashes in symbol names: with-dash |
746ee38c AD |
662 | ]]) |
663 | ||
664 | # So warn about them. | |
665 | AT_BISON_CHECK([-Wyacc input.y], [], [], | |
666 | [[input.y:9.8-16: warning: POSIX Yacc forbids dashes in symbol names: WITH-DASH | |
d521ee19 | 667 | input.y:18.8-16: warning: POSIX Yacc forbids dashes in symbol names: with-dash |
746ee38c AD |
668 | ]]) |
669 | ||
670 | # Dashes are fine for GNU Bison. | |
671 | AT_BISON_CHECK([-o input.c input.y]) | |
672 | ||
673 | # Make sure we don't export silly token identifiers with periods or dashes. | |
674 | AT_COMPILE([input.o], [-c input.c]) | |
675 | ||
676 | ||
82f3355e JD |
677 | # Periods are genuine letters, they can start identifiers. |
678 | # Digits and dashes cannot. | |
746ee38c | 679 | AT_DATA_GRAMMAR([input.y], |
cdf3f113 | 680 | [[%token .GOOD |
84a1cb5a AD |
681 | -GOOD |
682 | 1NV4L1D | |
82f3355e | 683 | -123 |
746ee38c | 684 | %% |
82f3355e | 685 | start: .GOOD GOOD |
746ee38c AD |
686 | ]]) |
687 | AT_BISON_CHECK([-o input.c input.y], [1], [], | |
ae93e4e4 JM |
688 | [[input.y:10.10: invalid character: '-' |
689 | input.y:11.10-16: invalid identifier: '1NV4L1D' | |
690 | input.y:12.10: invalid character: '-' | |
746ee38c AD |
691 | ]]) |
692 | ||
693 | AT_CLEANUP | |
694 | ||
695 | ||
ab2a9f57 AD |
696 | ## ----------------- ## |
697 | ## Numbered tokens. ## | |
698 | ## ----------------- ## | |
699 | ||
700 | AT_SETUP([Numbered tokens]) | |
701 | ||
83b60c97 JD |
702 | AT_DATA_GRAMMAR([redecl.y], |
703 | [[%token DECIMAL_1 11259375 | |
704 | HEXADECIMAL_1 0xabcdef | |
705 | HEXADECIMAL_2 0xFEDCBA | |
706 | DECIMAL_2 16702650 | |
ab2a9f57 | 707 | %% |
83b60c97 | 708 | start: DECIMAL_1 HEXADECIMAL_2; |
8893145a AD |
709 | ]]) |
710 | ||
83b60c97 JD |
711 | AT_BISON_CHECK([redecl.y], [1], [], |
712 | [[redecl.y:10.10-22: user token number 11259375 redeclaration for HEXADECIMAL_1 | |
713 | redecl.y:9.8-16: previous declaration for DECIMAL_1 | |
714 | redecl.y:12.10-18: user token number 16702650 redeclaration for DECIMAL_2 | |
715 | redecl.y:11.10-22: previous declaration for HEXADECIMAL_2 | |
8893145a AD |
716 | ]]) |
717 | ||
83b60c97 | 718 | AT_DATA_GRAMMAR([too-large.y], |
ab2a9f57 AD |
719 | [[%token TOO_LARGE_DEC 999999999999999999999 |
720 | TOO_LARGE_HEX 0xFFFFFFFFFFFFFFFFFFF | |
721 | %% | |
722 | start: TOO_LARGE_DEC TOO_LARGE_HEX | |
723 | %% | |
724 | ]]) | |
725 | ||
83b60c97 | 726 | AT_BISON_CHECK([too-large.y], [1], [], |
ae93e4e4 JM |
727 | [[too-large.y:9.22-42: integer out of range: '999999999999999999999' |
728 | too-large.y:10.24-44: integer out of range: '0xFFFFFFFFFFFFFFFFFFF' | |
ab2a9f57 AD |
729 | ]]) |
730 | ||
731 | AT_CLEANUP | |
732 | ||
733 | ||
47aee066 JD |
734 | ## --------------------- ## |
735 | ## Unclosed constructs. ## | |
736 | ## --------------------- ## | |
737 | ||
738 | AT_SETUP([Unclosed constructs]) | |
739 | ||
dab244d5 AD |
740 | # Bison's scan-gram.l once forgot to STRING_FINISH some unclosed |
741 | # constructs, so they were prepended to whatever it STRING_GROW'ed | |
742 | # next. It also threw them away rather than returning them to the | |
743 | # parser. The effect was confusing subsequent error messages. | |
47aee066 JD |
744 | |
745 | AT_DATA([input.y], | |
746 | [[%token A "a | |
747 | %token B "b" | |
748 | %token AB "ab" // Used to complain that "ab" was already used. | |
749 | %token C '1 | |
750 | %token TWO "2" | |
751 | %token TICK_TWELVE "'12" // Used to complain that "'12" was already used. | |
752 | ||
753 | %% | |
754 | ||
755 | start: ; | |
756 | ||
757 | // Used to report a syntax error because it didn't see any kind of symbol | |
758 | // identifier. | |
759 | %type <f> 'a | |
760 | ; | |
761 | %type <f> "a | |
762 | ; | |
763 | // Used to report a syntax error because it didn't see braced code. | |
764 | %destructor { free ($$) | |
765 | ]]) | |
766 | ||
da730230 | 767 | AT_BISON_CHECK([-o input.c input.y], 1, [], |
ae93e4e4 | 768 | [[input.y:1.10-2.0: missing '"' at end of line |
4a9cd8f2 AD |
769 | input.y:4.10-5.0: missing "'" at end of line |
770 | input.y:14.11-15.0: missing "'" at end of line | |
ae93e4e4 JM |
771 | input.y:16.11-17.0: missing '"' at end of line |
772 | input.y:19.13-20.0: missing '}' at end of file | |
3be03b13 | 773 | input.y:20.1: syntax error, unexpected end of file |
47aee066 JD |
774 | ]]) |
775 | ||
776 | AT_CLEANUP | |
4d7370cb JD |
777 | |
778 | ||
779 | ## ------------------------- ## | |
780 | ## %start after first rule. ## | |
781 | ## ------------------------- ## | |
782 | ||
783 | AT_SETUP([%start after first rule]) | |
784 | ||
dab244d5 AD |
785 | # Bison once complained that a %start after the first rule was a |
786 | # redeclaration of the start symbol. | |
4d7370cb JD |
787 | |
788 | AT_DATA([input.y], | |
789 | [[%% | |
790 | false_start: ; | |
791 | start: false_start ; | |
792 | %start start; | |
793 | ]]) | |
794 | ||
da730230 | 795 | AT_BISON_CHECK([-o input.c input.y]) |
4d7370cb JD |
796 | |
797 | AT_CLEANUP | |
26b8a438 JD |
798 | |
799 | ||
800 | ## --------------------- ## | |
801 | ## %prec takes a token. ## | |
802 | ## --------------------- ## | |
803 | ||
804 | AT_SETUP([%prec takes a token]) | |
805 | ||
806 | # Bison once allowed %prec sym where sym was a nonterminal. | |
807 | ||
808 | AT_DATA([input.y], | |
809 | [[%% | |
810 | start: PREC %prec PREC ; | |
811 | PREC: ; | |
812 | ]]) | |
813 | ||
da730230 | 814 | AT_BISON_CHECK([input.y], [1], [], |
26b8a438 JD |
815 | [[input.y:3.1-4: rule given for PREC, which is a token |
816 | ]]) | |
817 | ||
818 | AT_CLEANUP | |
8e0a5e9e JD |
819 | |
820 | ||
8bb3a2e7 JD |
821 | ## ------------------------------- ## |
822 | ## %prec's token must be defined. ## | |
823 | ## ------------------------------- ## | |
824 | ||
825 | AT_SETUP([[%prec's token must be defined]]) | |
826 | ||
827 | # According to POSIX, a %prec token must be defined separately. | |
828 | ||
829 | AT_DATA([[input.y]], | |
830 | [[%% | |
831 | start: %prec PREC ; | |
832 | ]]) | |
833 | ||
02354690 JD |
834 | AT_BISON_CHECK([[input.y]], [[0]], [], |
835 | [[input.y:2.8-17: warning: token for %prec is not defined: PREC | |
8bb3a2e7 JD |
836 | ]]) |
837 | ||
838 | AT_CLEANUP | |
839 | ||
840 | ||
6afc30cc JD |
841 | ## -------------------------------- ## |
842 | ## Reject unused %code qualifiers. ## | |
843 | ## -------------------------------- ## | |
8e0a5e9e | 844 | |
6afc30cc | 845 | AT_SETUP([Reject unused %code qualifiers]) |
8e0a5e9e JD |
846 | |
847 | AT_DATA([input-c.y], | |
16dc6a9e JD |
848 | [[%code q {} |
849 | %code bad {} | |
850 | %code bad {} | |
8405b70c | 851 | %code format {} |
8e0a5e9e JD |
852 | %% |
853 | start: ; | |
854 | ]]) | |
c6abeab1 | 855 | AT_BISON_CHECK([[input-c.y]], [[1]], [], |
4aa9d1ff JM |
856 | [[input-c.y:1.7: %code qualifier 'q' is not used |
857 | input-c.y:2.7-9: %code qualifier 'bad' is not used | |
858 | input-c.y:3.7-9: %code qualifier 'bad' is not used | |
859 | input-c.y:4.7-12: %code qualifier 'format' is not used | |
08af01c2 | 860 | ]]) |
8e0a5e9e JD |
861 | |
862 | AT_DATA([input-c-glr.y], | |
16dc6a9e JD |
863 | [[%code q {} |
864 | %code bad {} | |
865 | %code bad {} | |
8e0a5e9e JD |
866 | %% |
867 | start: ; | |
868 | ]]) | |
c6abeab1 | 869 | AT_BISON_CHECK([[input-c-glr.y]], [[1]], [], |
4aa9d1ff JM |
870 | [[input-c-glr.y:1.7: %code qualifier 'q' is not used |
871 | input-c-glr.y:2.7-9: %code qualifier 'bad' is not used | |
872 | input-c-glr.y:3.8-10: %code qualifier 'bad' is not used | |
08af01c2 | 873 | ]]) |
8e0a5e9e JD |
874 | |
875 | AT_DATA([input-c++.y], | |
16dc6a9e JD |
876 | [[%code q {} |
877 | %code bad {} | |
878 | %code q {} | |
8e0a5e9e JD |
879 | %% |
880 | start: ; | |
881 | ]]) | |
c6abeab1 | 882 | AT_BISON_CHECK([[input-c++.y]], [[1]], [], |
4aa9d1ff JM |
883 | [[input-c++.y:1.7: %code qualifier 'q' is not used |
884 | input-c++.y:2.7-9: %code qualifier 'bad' is not used | |
885 | input-c++.y:3.8: %code qualifier 'q' is not used | |
08af01c2 | 886 | ]]) |
8e0a5e9e JD |
887 | |
888 | AT_DATA([input-c++-glr.y], | |
16dc6a9e JD |
889 | [[%code bad {} |
890 | %code q {} | |
891 | %code q {} | |
8e0a5e9e JD |
892 | %% |
893 | start: ; | |
894 | ]]) | |
c6abeab1 | 895 | AT_BISON_CHECK([[input-c++-glr.y]], [[1]], [], |
4aa9d1ff JM |
896 | [[input-c++-glr.y:1.7-9: %code qualifier 'bad' is not used |
897 | input-c++-glr.y:2.7: %code qualifier 'q' is not used | |
898 | input-c++-glr.y:3.7: %code qualifier 'q' is not used | |
3fc65ead JD |
899 | ]]) |
900 | ||
901 | AT_DATA([special-char-@@.y], | |
16dc6a9e JD |
902 | [[%code bad {} |
903 | %code q {} | |
904 | %code q {} | |
3fc65ead JD |
905 | %% |
906 | start: ; | |
907 | ]]) | |
c6abeab1 | 908 | AT_BISON_CHECK([[special-char-@@.y]], [[1]], [], |
4aa9d1ff JM |
909 | [[special-char-@@.y:1.7-9: %code qualifier 'bad' is not used |
910 | special-char-@@.y:2.7: %code qualifier 'q' is not used | |
911 | special-char-@@.y:3.7: %code qualifier 'q' is not used | |
3fc65ead JD |
912 | ]]) |
913 | ||
914 | AT_DATA([special-char-@:>@.y], | |
16dc6a9e JD |
915 | [[%code bad {} |
916 | %code q {} | |
917 | %code q {} | |
3fc65ead JD |
918 | %% |
919 | start: ; | |
920 | ]]) | |
c6abeab1 | 921 | AT_BISON_CHECK([[special-char-@:>@.y]], [[1]], [], |
4aa9d1ff JM |
922 | [[special-char-@:>@.y:1.7-9: %code qualifier 'bad' is not used |
923 | special-char-@:>@.y:2.7: %code qualifier 'q' is not used | |
924 | special-char-@:>@.y:3.7: %code qualifier 'q' is not used | |
08af01c2 | 925 | ]]) |
8e0a5e9e JD |
926 | |
927 | AT_CLEANUP | |
7eb8a0bc JD |
928 | |
929 | ||
930 | ## ---------------- ## | |
931 | ## %define errors. ## | |
932 | ## ---------------- ## | |
933 | ||
934 | AT_SETUP([%define errors]) | |
935 | ||
0b6d43c5 | 936 | AT_DATA([input-redefined.y], |
16dc6a9e JD |
937 | [[%define var "value1" |
938 | %define var "value1" | |
939 | %define var "value2" | |
940 | %define special1 "@:>@" | |
941 | %define special2 "@<:@" | |
7eb8a0bc JD |
942 | %% |
943 | start: ; | |
944 | ]]) | |
945 | ||
0b6d43c5 | 946 | AT_BISON_CHECK([[input-redefined.y]], [[1]], [], |
4aa9d1ff | 947 | [[input-redefined.y:2.9-11: %define variable 'var' redefined |
0b6d43c5 | 948 | input-redefined.y:1.9-11: previous definition |
4aa9d1ff | 949 | input-redefined.y:3.10-12: %define variable 'var' redefined |
0b6d43c5 JD |
950 | input-redefined.y:2.9-11: previous definition |
951 | ]]) | |
952 | ||
953 | AT_DATA([input-unused.y], | |
954 | [[%define var "value" | |
955 | %% | |
956 | start: ; | |
957 | ]]) | |
958 | ||
c6abeab1 | 959 | AT_BISON_CHECK([[input-unused.y]], [[1]], [], |
4aa9d1ff | 960 | [[input-unused.y:1.9-11: %define variable 'var' is not used |
7eb8a0bc JD |
961 | ]]) |
962 | ||
963 | AT_CLEANUP | |
c1d19e10 | 964 | |
58697c6d | 965 | |
de5ab940 JD |
966 | ## ----------------------------------- ## |
967 | ## %define, --define, --force-define. ## | |
968 | ## ----------------------------------- ## | |
58697c6d | 969 | |
c6abeab1 | 970 | AT_SETUP([[%define, --define, --force-define]]) |
de5ab940 | 971 | |
c6abeab1 | 972 | AT_DATA([[skel.c]], |
de5ab940 JD |
973 | [[m4@&t@_divert_push(0)@ |
974 | @output(b4_parser_file_name@)@ | |
975 | [var-dd: ]b4_percent_define_get([[var-dd]])[ | |
976 | var-ff: ]b4_percent_define_get([[var-ff]])[ | |
de5ab940 JD |
977 | var-dfg: ]b4_percent_define_get([[var-dfg]])[ |
978 | var-fd: ]b4_percent_define_get([[var-fd]]) | |
979 | m4@&t@_divert_pop(0) | |
980 | ]]) | |
c6abeab1 | 981 | AT_DATA([[input.y]], |
0b6d43c5 | 982 | [[%define var-dfg "gram" |
58697c6d AD |
983 | %% |
984 | start: ; | |
985 | ]]) | |
de5ab940 JD |
986 | AT_BISON_CHECK([[-Dvar-dd=cmd-d1 -Dvar-dd=cmd-d2 \ |
987 | -Fvar-ff=cmd-f1 -Fvar-ff=cmd-f2 \ | |
de5ab940 JD |
988 | -Dvar-dfg=cmd-d -Fvar-dfg=cmd-f \ |
989 | -Fvar-fd=cmd-f -Dvar-fd=cmd-d \ | |
c6abeab1 | 990 | --skeleton ./skel.c input.y]]) |
de5ab940 JD |
991 | AT_CHECK([[cat input.tab.c]], [[0]], |
992 | [[var-dd: cmd-d2 | |
993 | var-ff: cmd-f2 | |
de5ab940 JD |
994 | var-dfg: cmd-f |
995 | var-fd: cmd-d | |
58697c6d AD |
996 | ]]) |
997 | ||
c6abeab1 | 998 | AT_DATA([[input-dg.y]], |
0b6d43c5 JD |
999 | [[%define var "gram" |
1000 | %% | |
1001 | start: ; | |
1002 | ]]) | |
0b6d43c5 | 1003 | AT_BISON_CHECK([[-Dvar=cmd-d input-dg.y]], [[1]], [], |
4aa9d1ff | 1004 | [[input-dg.y:1.9-11: %define variable 'var' redefined |
0b6d43c5 JD |
1005 | <command line>:2: previous definition |
1006 | ]]) | |
1007 | ||
c6abeab1 JD |
1008 | AT_DATA([[input-unused.y]], |
1009 | [[%% | |
1010 | start: ; | |
1011 | ]]) | |
1012 | AT_BISON_CHECK([[-Dunused-d -Funused-f input-unused.y]], [[1]], [], | |
4aa9d1ff JM |
1013 | [[<command line>:2: %define variable 'unused-d' is not used |
1014 | <command line>:3: %define variable 'unused-f' is not used | |
c6abeab1 JD |
1015 | ]]) |
1016 | ||
58697c6d AD |
1017 | AT_CLEANUP |
1018 | ||
c1d19e10 | 1019 | ## --------------------------- ## |
d782395d | 1020 | ## %define Boolean variables. ## |
c1d19e10 PB |
1021 | ## --------------------------- ## |
1022 | ||
d782395d | 1023 | AT_SETUP([[%define Boolean variables]]) |
c1d19e10 PB |
1024 | |
1025 | AT_DATA([Input.y], | |
1026 | [[%language "Java" | |
1027 | %define public "maybe" | |
1028 | %define parser_class_name "Input" | |
1029 | %% | |
1030 | start: ; | |
1031 | ]]) | |
1032 | ||
da730230 | 1033 | AT_BISON_CHECK([[Input.y]], [1], [], |
4aa9d1ff | 1034 | [[Input.y:2.9-14: invalid value for %define Boolean variable 'public' |
c1d19e10 PB |
1035 | ]]) |
1036 | ||
1037 | AT_CLEANUP | |
d782395d | 1038 | |
f4909773 JD |
1039 | ## ------------------------ ## |
1040 | ## %define enum variables. ## | |
1041 | ## ------------------------ ## | |
7254f6a8 | 1042 | |
f4909773 | 1043 | AT_SETUP([[%define enum variables]]) |
7254f6a8 | 1044 | |
f4909773 | 1045 | # Front-end. |
7254f6a8 | 1046 | AT_DATA([[input.y]], |
cf499cff | 1047 | [[%define lr.default-reductions bogus |
7254f6a8 JD |
1048 | %% |
1049 | start: ; | |
1050 | ]]) | |
7254f6a8 | 1051 | AT_BISON_CHECK([[input.y]], [[1]], [[]], |
4aa9d1ff JM |
1052 | [[input.y:1.9-29: invalid value for %define variable 'lr.default-reductions': 'bogus' |
1053 | input.y:1.9-29: accepted value: 'most' | |
1054 | input.y:1.9-29: accepted value: 'consistent' | |
1055 | input.y:1.9-29: accepted value: 'accepting' | |
7254f6a8 JD |
1056 | ]]) |
1057 | ||
f4909773 | 1058 | # Back-end. |
67212941 | 1059 | AT_DATA([[input.y]], |
cf499cff | 1060 | [[%define api.push-pull neither |
67212941 JD |
1061 | %% |
1062 | start: ; | |
1063 | ]]) | |
1064 | AT_BISON_CHECK([[input.y]], [1], [], | |
4aa9d1ff JM |
1065 | [[input.y:1.9-21: invalid value for %define variable 'api.push-pull': 'neither' |
1066 | input.y:1.9-21: accepted value: 'pull' | |
1067 | input.y:1.9-21: accepted value: 'push' | |
1068 | input.y:1.9-21: accepted value: 'both' | |
67212941 JD |
1069 | ]]) |
1070 | ||
1071 | AT_CLEANUP | |
1072 | ||
1073 | ## -------------------------------- ## | |
1074 | ## %define backward compatibility. ## | |
1075 | ## -------------------------------- ## | |
1076 | ||
1077 | AT_SETUP([[%define backward compatibility]]) | |
1078 | ||
1079 | # The error messages tell us whether underscores in these variables are | |
1080 | # being converted to dashes. | |
1081 | ||
d782395d | 1082 | AT_DATA([[input.y]], |
c373bf8b | 1083 | [[%define api.push_pull "neither" |
d782395d JD |
1084 | %% |
1085 | start: ; | |
1086 | ]]) | |
da730230 | 1087 | AT_BISON_CHECK([[input.y]], [1], [], |
4aa9d1ff JM |
1088 | [[input.y:1.9-21: invalid value for %define variable 'api.push-pull': 'neither' |
1089 | input.y:1.9-21: accepted value: 'pull' | |
1090 | input.y:1.9-21: accepted value: 'push' | |
1091 | input.y:1.9-21: accepted value: 'both' | |
d782395d JD |
1092 | ]]) |
1093 | ||
67212941 | 1094 | AT_DATA([[input.y]], |
cf499cff | 1095 | [[%define lr.keep_unreachable_states maybe |
67212941 JD |
1096 | %% |
1097 | start: ; | |
1098 | ]]) | |
1099 | AT_BISON_CHECK([[input.y]], [1], [], | |
4aa9d1ff | 1100 | [[input.y:1.9-34: invalid value for %define Boolean variable 'lr.keep-unreachable-states' |
67212941 JD |
1101 | ]]) |
1102 | ||
171ad99d AD |
1103 | AT_DATA([[input.y]], |
1104 | [[%define namespace "foo" | |
1105 | %define api.namespace "foo" | |
1106 | %% | |
1107 | start: ; | |
1108 | ]]) | |
1109 | AT_BISON_CHECK([[input.y]], [1], [], | |
4aa9d1ff | 1110 | [[input.y:2.9-21: %define variable 'api.namespace' redefined |
171ad99d AD |
1111 | input.y:1.9-17: previous definition |
1112 | ]]) | |
1113 | ||
67212941 JD |
1114 | AT_DATA([[input.y]], |
1115 | [[%define foo_bar "baz" | |
1116 | %% | |
1117 | start: ; | |
1118 | ]]) | |
c6abeab1 | 1119 | AT_BISON_CHECK([[input.y]], [[1]], [], |
4aa9d1ff | 1120 | [[input.y:1.9-15: %define variable 'foo_bar' is not used |
67212941 JD |
1121 | ]]) |
1122 | ||
d782395d | 1123 | AT_CLEANUP |
793fbca5 | 1124 | |
d9df47b6 JD |
1125 | ## ------------------------- ## |
1126 | ## Unused %define api.pure. ## | |
1127 | ## ------------------------- ## | |
1128 | ||
1129 | AT_SETUP([[Unused %define api.pure]]) | |
1130 | ||
1131 | # AT_CHECK_API_PURE(DECLS, VALUE) | |
1132 | # ------------------------------- | |
1133 | # Make sure Bison reports that `%define api.pure VALUE' is unused when DECLS | |
1134 | # are specified. | |
1135 | m4_define([AT_CHECK_API_PURE], | |
1136 | [ | |
1137 | AT_DATA([[input.y]], | |
1138 | [[%define api.pure ]$2[ | |
1139 | ]$1[ | |
1140 | %% | |
1141 | start: ; | |
1142 | ]]) | |
1143 | ||
c6abeab1 | 1144 | AT_BISON_CHECK([[input.y]], [[1]], [], |
4aa9d1ff | 1145 | [[input.y:1.9-16: %define variable 'api.pure' is not used |
d9df47b6 JD |
1146 | ]]) |
1147 | ]) | |
1148 | ||
1149 | AT_CHECK_API_PURE([[%language "c++" %defines]], [[]]) | |
cf499cff | 1150 | AT_CHECK_API_PURE([[%language "c++" %defines]], [[false]]) |
d9df47b6 | 1151 | AT_CHECK_API_PURE([[%language "c++" %defines %glr-parser]], [[""]]) |
cf499cff JD |
1152 | AT_CHECK_API_PURE([[%language "c++" %defines %glr-parser]], [[false]]) |
1153 | AT_CHECK_API_PURE([[%language "java"]], [[true]]) | |
1154 | AT_CHECK_API_PURE([[%language "java"]], [[false]]) | |
d9df47b6 JD |
1155 | |
1156 | AT_CLEANUP | |
1157 | ||
793fbca5 JD |
1158 | ## -------------------------------- ## |
1159 | ## C++ namespace reference errors. ## | |
1160 | ## -------------------------------- ## | |
1161 | ||
1162 | AT_SETUP([[C++ namespace reference errors]]) | |
1163 | ||
1164 | # AT_CHECK_NAMESPACE_ERROR(NAMESPACE-DECL, ERROR, [ERROR], ...) | |
1165 | # ------------------------------------------------------------- | |
1166 | # Make sure Bison reports all ERROR's for %define namespace "NAMESPACE-DECL". | |
1167 | m4_define([AT_CHECK_NAMESPACE_ERROR], | |
1168 | [ | |
1169 | AT_DATA([[input.y]], | |
1170 | [[%language "C++" | |
1171 | %defines | |
67501061 | 1172 | %define api.namespace "]$1[" |
793fbca5 JD |
1173 | %% |
1174 | start: ; | |
1175 | ]]) | |
1176 | ||
da730230 | 1177 | AT_BISON_CHECK([[input.y]], [1], [], |
793fbca5 | 1178 | [m4_foreach([b4_arg], m4_dquote(m4_shift($@)), |
67501061 | 1179 | [[input.y:3.9-21: ]b4_arg[ |
793fbca5 JD |
1180 | ]])]) |
1181 | ]) | |
1182 | ||
1183 | AT_CHECK_NAMESPACE_ERROR([[]], | |
1184 | [[namespace reference is empty]]) | |
1185 | AT_CHECK_NAMESPACE_ERROR([[ ]], | |
1186 | [[namespace reference is empty]]) | |
1187 | AT_CHECK_NAMESPACE_ERROR([[foo::::bar]], | |
1188 | [[namespace reference has consecutive "::"]]) | |
1189 | AT_CHECK_NAMESPACE_ERROR([[foo:: ::bar]], | |
1190 | [[namespace reference has consecutive "::"]]) | |
1191 | AT_CHECK_NAMESPACE_ERROR([[::::bar]], | |
1192 | [[namespace reference has consecutive "::"]]) | |
1193 | AT_CHECK_NAMESPACE_ERROR([[:: ::bar]], | |
1194 | [[namespace reference has consecutive "::"]]) | |
1195 | AT_CHECK_NAMESPACE_ERROR([[foo::bar:: ::]], | |
1196 | [[namespace reference has consecutive "::"]], | |
1197 | [[namespace reference has a trailing "::"]]) | |
1198 | AT_CHECK_NAMESPACE_ERROR([[foo::bar::]], | |
1199 | [[namespace reference has a trailing "::"]]) | |
1200 | AT_CHECK_NAMESPACE_ERROR([[foo::bar:: ]], | |
1201 | [[namespace reference has a trailing "::"]]) | |
1202 | AT_CHECK_NAMESPACE_ERROR([[::]], | |
1203 | [[namespace reference has a trailing "::"]]) | |
1204 | ||
1205 | AT_CLEANUP | |
3208e3f4 JD |
1206 | |
1207 | ## ------------------------ ## | |
1208 | ## Bad character literals. ## | |
1209 | ## ------------------------ ## | |
1210 | ||
1211 | # Bison used to accept character literals that were empty or contained | |
1212 | # too many characters. | |
1213 | ||
b70c7fb4 JD |
1214 | # FIXME: AT_DATA or some variant of AT_DATA may eventually permit |
1215 | # the final newline to be omitted. See the threads starting at | |
3208e3f4 JD |
1216 | # <http://lists.gnu.org/archive/html/bison-patches/2009-07/msg00019.html>. |
1217 | ||
1218 | AT_SETUP([[Bad character literals]]) | |
1219 | ||
1220 | AT_DATA([empty.y], | |
1221 | [[%% | |
1222 | start: ''; | |
1223 | start: ' | |
1224 | ]]) | |
b70c7fb4 | 1225 | AT_CHECK([[perl -e "print 'start: \'';" >> empty.y || exit 77]]) |
3208e3f4 JD |
1226 | |
1227 | AT_BISON_CHECK([empty.y], [1], [], | |
1228 | [[empty.y:2.8-9: warning: empty character literal | |
1229 | empty.y:3.8-4.0: warning: empty character literal | |
4a9cd8f2 | 1230 | empty.y:3.8-4.0: missing "'" at end of line |
3208e3f4 | 1231 | empty.y:4.8: warning: empty character literal |
4a9cd8f2 | 1232 | empty.y:4.8: missing "'" at end of file |
3208e3f4 JD |
1233 | ]]) |
1234 | ||
1235 | AT_DATA([two.y], | |
1236 | [[%% | |
1237 | start: 'ab'; | |
1238 | start: 'ab | |
1239 | ]]) | |
b70c7fb4 | 1240 | AT_CHECK([[perl -e "print 'start: \'ab';" >> two.y || exit 77]]) |
3208e3f4 JD |
1241 | |
1242 | AT_BISON_CHECK([two.y], [1], [], | |
1243 | [[two.y:2.8-11: warning: extra characters in character literal | |
1244 | two.y:3.8-4.0: warning: extra characters in character literal | |
4a9cd8f2 | 1245 | two.y:3.8-4.0: missing "'" at end of line |
3208e3f4 | 1246 | two.y:4.8-10: warning: extra characters in character literal |
4a9cd8f2 | 1247 | two.y:4.8-10: missing "'" at end of file |
3208e3f4 JD |
1248 | ]]) |
1249 | ||
1250 | AT_DATA([three.y], | |
1251 | [[%% | |
1252 | start: 'abc'; | |
1253 | start: 'abc | |
1254 | ]]) | |
b70c7fb4 | 1255 | AT_CHECK([[perl -e "print 'start: \'abc';" >> three.y || exit 77]]) |
3208e3f4 JD |
1256 | |
1257 | AT_BISON_CHECK([three.y], [1], [], | |
1258 | [[three.y:2.8-12: warning: extra characters in character literal | |
1259 | three.y:3.8-4.0: warning: extra characters in character literal | |
4a9cd8f2 | 1260 | three.y:3.8-4.0: missing "'" at end of line |
3208e3f4 | 1261 | three.y:4.8-11: warning: extra characters in character literal |
4a9cd8f2 | 1262 | three.y:4.8-11: missing "'" at end of file |
3208e3f4 JD |
1263 | ]]) |
1264 | ||
1265 | AT_CLEANUP | |
c2724603 JD |
1266 | |
1267 | ## ------------------------- ## | |
1268 | ## Bad escapes in literals. ## | |
1269 | ## ------------------------- ## | |
1270 | ||
1271 | AT_SETUP([[Bad escapes in literals]]) | |
1272 | ||
1273 | AT_DATA([input.y], | |
1274 | [[%% | |
1275 | start: '\777' '\0' '\xfff' '\x0' | |
1276 | '\uffff' '\u0000' '\Uffffffff' '\U00000000' | |
1277 | '\ ' '\A'; | |
1278 | ]]) | |
3bed3a75 | 1279 | |
b70c7fb4 | 1280 | # It is not easy to create special characters, we cannot even trust tr. |
3bed3a75 AD |
1281 | # Beside we cannot even expect "echo '\0'" to output two characters |
1282 | # (well three with \n): at least Bash 3.2 converts the two-character | |
1283 | # sequence "\0" into a single NUL character. | |
b70c7fb4 JD |
1284 | AT_CHECK([[perl -e 'print "start: \"\\\t\\\f\\\0\\\1\" ;";' >> input.y \ |
1285 | || exit 77]]) | |
c2724603 JD |
1286 | |
1287 | AT_BISON_CHECK([input.y], [1], [], | |
1288 | [[input.y:2.9-12: invalid number after \-escape: 777 | |
1289 | input.y:2.8-13: warning: empty character literal | |
1290 | input.y:2.16-17: invalid number after \-escape: 0 | |
1291 | input.y:2.15-18: warning: empty character literal | |
1292 | input.y:2.21-25: invalid number after \-escape: xfff | |
1293 | input.y:2.20-26: warning: empty character literal | |
1294 | input.y:2.29-31: invalid number after \-escape: x0 | |
1295 | input.y:2.28-32: warning: empty character literal | |
1296 | input.y:3.9-14: invalid number after \-escape: uffff | |
1297 | input.y:3.8-15: warning: empty character literal | |
1298 | input.y:3.18-23: invalid number after \-escape: u0000 | |
1299 | input.y:3.17-24: warning: empty character literal | |
1300 | input.y:3.27-36: invalid number after \-escape: Uffffffff | |
1301 | input.y:3.26-37: warning: empty character literal | |
1302 | input.y:3.40-49: invalid number after \-escape: U00000000 | |
1303 | input.y:3.39-50: warning: empty character literal | |
ae93e4e4 | 1304 | input.y:4.9-10: invalid character after \-escape: ' ' |
c2724603 JD |
1305 | input.y:4.8-11: warning: empty character literal |
1306 | input.y:4.14-15: invalid character after \-escape: A | |
1307 | input.y:4.13-16: warning: empty character literal | |
1308 | input.y:5.9-16: invalid character after \-escape: \t | |
1309 | input.y:5.17: invalid character after \-escape: \f | |
1310 | input.y:5.18: invalid character after \-escape: \0 | |
1311 | input.y:5.19: invalid character after \-escape: \001 | |
1312 | ]]) | |
1313 | ||
1314 | AT_CLEANUP | |
bf35c71c JD |
1315 | |
1316 | ## ------------------------- ## | |
1317 | ## LAC: Errors for %define. ## | |
1318 | ## ------------------------- ## | |
1319 | ||
1320 | AT_SETUP([[LAC: Errors for %define]]) | |
1321 | ||
1322 | AT_DATA([[input.y]], | |
1323 | [[%% | |
1324 | start: ; | |
1325 | ]]) | |
1326 | ||
1327 | # parse.lac.* options are useless if LAC isn't actually activated. | |
1328 | AT_BISON_CHECK([[-Dparse.lac.es-capacity-initial=1 input.y]], | |
1329 | [[1]], [], | |
4aa9d1ff | 1330 | [[<command line>:2: %define variable 'parse.lac.es-capacity-initial' is not used |
bf35c71c | 1331 | ]]) |
107844a3 JD |
1332 | AT_BISON_CHECK([[-Dparse.lac.memory-trace=full input.y]], |
1333 | [[1]], [], | |
4aa9d1ff | 1334 | [[<command line>:2: %define variable 'parse.lac.memory-trace' is not used |
107844a3 | 1335 | ]]) |
bf35c71c JD |
1336 | |
1337 | AT_CLEANUP | |
bf0e44e8 JD |
1338 | |
1339 | ## --------------------------------------------- ## | |
1340 | ## -Werror is not affected by -Wnone and -Wall. ## | |
1341 | ## --------------------------------------------- ## | |
1342 | ||
1343 | AT_SETUP([[-Werror is not affected by -Wnone and -Wall]]) | |
1344 | ||
1345 | AT_DATA([[input.y]], | |
1346 | [[%% | |
1347 | foo-bar: ; | |
1348 | ]]) | |
1349 | ||
1350 | # -Werror is not enabled by -Wall or equivalent. | |
1351 | AT_BISON_CHECK([[-Wall input.y]], [[0]], [[]], | |
1352 | [[input.y:2.1-7: warning: POSIX Yacc forbids dashes in symbol names: foo-bar | |
1353 | ]]) | |
1354 | AT_BISON_CHECK([[-W input.y]], [[0]], [[]], | |
1355 | [[input.y:2.1-7: warning: POSIX Yacc forbids dashes in symbol names: foo-bar | |
1356 | ]]) | |
1357 | AT_BISON_CHECK([[-Wno-none input.y]], [[0]], [[]], | |
1358 | [[input.y:2.1-7: warning: POSIX Yacc forbids dashes in symbol names: foo-bar | |
1359 | ]]) | |
1360 | ||
1361 | # -Werror is not disabled by -Wnone or equivalent. | |
1362 | AT_BISON_CHECK([[-Werror,none,yacc input.y]], [[1]], [[]], [[stderr]]) | |
1363 | AT_CHECK([[sed 's/^.*bison:/bison:/' stderr]], [[0]], | |
1364 | [[bison: warnings being treated as errors | |
1365 | input.y:2.1-7: warning: POSIX Yacc forbids dashes in symbol names: foo-bar | |
1366 | ]]) | |
1367 | [mv stderr experr] | |
1368 | AT_BISON_CHECK([[-Werror,no-all,yacc input.y]], [[1]], [[]], [[experr]]) | |
1369 | ||
1370 | AT_CLEANUP |