]>
Commit | Line | Data |
---|---|---|
82c035a8 | 1 | # Executing Actions. -*- Autotest -*- |
1f916a78 | 2 | # Copyright (C) 2001, 2002, 2003, 2004 Free Software Foundation, Inc. |
82c035a8 AD |
3 | |
4 | # This program is free software; you can redistribute it and/or modify | |
5 | # it under the terms of the GNU General Public License as published by | |
6 | # the Free Software Foundation; either version 2, or (at your option) | |
7 | # any later version. | |
8 | ||
9 | # This program is distributed in the hope that it will be useful, | |
10 | # but WITHOUT ANY WARRANTY; without even the implied warranty of | |
11 | # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
12 | # GNU General Public License for more details. | |
13 | ||
14 | # You should have received a copy of the GNU General Public License | |
15 | # along with this program; if not, write to the Free Software | |
16 | # Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA | |
17 | # 02111-1307, USA. | |
18 | ||
19 | AT_BANNER([[User Actions.]]) | |
20 | ||
21 | ## ------------------ ## | |
22 | ## Mid-rule actions. ## | |
23 | ## ------------------ ## | |
24 | ||
25 | AT_SETUP([Mid-rule actions]) | |
26 | ||
27 | # Bison once forgot the mid-rule actions. It was because the action | |
28 | # was attached to the host rule (the one with the mid-rule action), | |
29 | # instead of being attached to the empty rule dedicated to this | |
30 | # action. | |
31 | ||
9501dc6e | 32 | AT_DATA_GRAMMAR([[input.y]], |
82c035a8 | 33 | [[%{ |
d99361e6 AD |
34 | # include <stdio.h> |
35 | # include <stdlib.h> | |
36 | static void yyerror (const char *msg); | |
37 | static int yylex (void); | |
38 | # define YYDEBUG 1 | |
39 | # define YYERROR_VERBOSE 1 | |
82c035a8 AD |
40 | %} |
41 | %% | |
931394cb AD |
42 | exp: { putchar ('0'); } |
43 | '1' { putchar ('1'); } | |
44 | '2' { putchar ('2'); } | |
45 | '3' { putchar ('3'); } | |
46 | '4' { putchar ('4'); } | |
47 | '5' { putchar ('5'); } | |
48 | '6' { putchar ('6'); } | |
49 | '7' { putchar ('7'); } | |
50 | '8' { putchar ('8'); } | |
51 | '9' { putchar ('9'); } | |
52 | { putchar ('\n'); } | |
82c035a8 AD |
53 | ; |
54 | %% | |
55 | static int | |
56 | yylex (void) | |
57 | { | |
58 | static const char *input = "123456789"; | |
59 | return *input++; | |
60 | } | |
61 | ||
62 | static void | |
63 | yyerror (const char *msg) | |
64 | { | |
65 | fprintf (stderr, "%s\n", msg); | |
66 | } | |
67 | ||
68 | int | |
69 | main (void) | |
70 | { | |
71 | return yyparse (); | |
72 | } | |
73 | ]]) | |
74 | ||
b56471a6 | 75 | AT_CHECK([bison -d -v -o input.c input.y]) |
1154cced AD |
76 | AT_COMPILE([input]) |
77 | AT_PARSER_CHECK([./input], 0, | |
931394cb | 78 | [[0123456789 |
82c035a8 AD |
79 | ]]) |
80 | ||
81 | AT_CLEANUP | |
75d1fe16 AD |
82 | |
83 | ||
84 | ||
5dac0025 PE |
85 | |
86 | ||
75d1fe16 AD |
87 | ## ---------------- ## |
88 | ## Exotic Dollars. ## | |
89 | ## ---------------- ## | |
90 | ||
91 | AT_SETUP([Exotic Dollars]) | |
92 | ||
9501dc6e | 93 | AT_DATA_GRAMMAR([[input.y]], |
75d1fe16 AD |
94 | [[%{ |
95 | # include <stdio.h> | |
96 | # include <stdlib.h> | |
97 | static void yyerror (const char *msg); | |
98 | static int yylex (void); | |
99 | # define YYDEBUG 1 | |
100 | # define YYERROR_VERBOSE 1 | |
101 | %} | |
102 | ||
103 | %union | |
104 | { | |
105 | int val; | |
106 | }; | |
107 | ||
0ff67d71 | 108 | %type <val> a_1 a_2 a_5 |
75d1fe16 AD |
109 | sum_of_the_five_previous_values |
110 | ||
111 | %% | |
0ff67d71 PE |
112 | exp: a_1 a_2 { $<val>$ = 3; } { $<val>$ = $<val>3 + 1; } a_5 |
113 | sum_of_the_five_previous_values | |
75d1fe16 AD |
114 | { |
115 | printf ("%d\n", $6); | |
116 | } | |
117 | ; | |
118 | a_1: { $$ = 1; }; | |
119 | a_2: { $$ = 2; }; | |
75d1fe16 AD |
120 | a_5: { $$ = 5; }; |
121 | ||
122 | sum_of_the_five_previous_values: | |
123 | { | |
124 | $$ = $<val>0 + $<val>-1 + $<val>-2 + $<val>-3 + $<val>-4; | |
125 | } | |
126 | ; | |
127 | ||
128 | %% | |
129 | static int | |
130 | yylex (void) | |
131 | { | |
132 | return EOF; | |
133 | } | |
134 | ||
135 | static void | |
136 | yyerror (const char *msg) | |
137 | { | |
138 | fprintf (stderr, "%s\n", msg); | |
139 | } | |
140 | ||
141 | int | |
142 | main (void) | |
143 | { | |
144 | return yyparse (); | |
145 | } | |
146 | ]]) | |
147 | ||
b56471a6 | 148 | AT_CHECK([bison -d -v -o input.c input.y]) |
1154cced AD |
149 | AT_COMPILE([input]) |
150 | AT_PARSER_CHECK([./input], 0, | |
75d1fe16 AD |
151 | [[15 |
152 | ]]) | |
153 | ||
154 | AT_CLEANUP | |
9280d3ef AD |
155 | |
156 | ||
157 | ||
e776192e AD |
158 | ## -------------------------- ## |
159 | ## Printers and Destructors. ## | |
160 | ## -------------------------- ## | |
9280d3ef | 161 | |
ac700aa6 PE |
162 | # _AT_CHECK_PRINTER_AND_DESTRUCTOR($1, $2, $3, $4, BISON-DIRECTIVE, UNION-FLAG) |
163 | # ----------------------------------------------------------------------------- | |
3df37415 | 164 | m4_define([_AT_CHECK_PRINTER_AND_DESTRUCTOR], |
9c66f418 AD |
165 | [# Make sure complex $n work. |
166 | m4_if([$1$2$3], $[1]$[2]$[3], [], | |
3df37415 AD |
167 | [m4_fatal([$0: Invalid arguments: $@])])dnl |
168 | ||
9c66f418 AD |
169 | # Be sure to pass all the %directives to this macro to have correct |
170 | # helping macros. So don't put any directly in the Bison file. | |
c2729758 | 171 | AT_BISON_OPTION_PUSHDEFS([$5]) |
9501dc6e | 172 | AT_DATA_GRAMMAR([[input.y]], |
9c66f418 | 173 | [[%{ |
9280d3ef AD |
174 | #include <stdio.h> |
175 | #include <stdlib.h> | |
9c66f418 | 176 | #include <assert.h> |
c2729758 ADL |
177 | ]AT_LALR1_CC_IF( |
178 | [#define RANGE(Location) (Location).begin.line, (Location).end.line], | |
179 | [#define RANGE(Location) (Location).first_line, (Location).last_line]) | |
180 | [%} | |
9c66f418 AD |
181 | |
182 | $5] | |
183 | m4_ifval([$6], [%union | |
9280d3ef AD |
184 | { |
185 | int ival; | |
ac700aa6 PE |
186 | }]) |
187 | [ | |
c2729758 | 188 | %{ |
99880de5 | 189 | ]AT_LALR1_CC_IF([typedef yy::location YYLTYPE; |
9c66f418 | 190 | m4_ifval([$6], , [#define YYSTYPE int])]) |
c2729758 | 191 | [static int yylex (]AT_LEX_FORMALS[); |
ca6f187f PE |
192 | ]AT_LALR1_CC_IF([], [static void yyerror (const char *msg);]) |
193 | [%} | |
c2729758 | 194 | |
9c66f418 | 195 | ]m4_ifval([$6], [%type <ival> '(' 'x' 'y' ')' ';' thing line input])[ |
e3170060 | 196 | |
a5eb1ed2 AD |
197 | %printer |
198 | { | |
9a1e9989 | 199 | ]AT_LALR1_CC_IF([debug_stream () << $$;], |
3fc16193 | 200 | [fprintf (yyoutput, "%d", $$)])[; |
a5eb1ed2 | 201 | } |
9c66f418 | 202 | input line thing 'x' 'y' |
e3170060 AD |
203 | |
204 | %destructor | |
4c6cc1db | 205 | { printf ("Freeing nterm input (%d@%d-%d)\n", $$, RANGE (@$)); } |
7bd6c77e | 206 | input |
5719c109 | 207 | |
7bd6c77e | 208 | %destructor |
4c6cc1db | 209 | { printf ("Freeing nterm line (%d@%d-%d)\n", $$, RANGE (@$)); } |
7bd6c77e AD |
210 | line |
211 | ||
212 | %destructor | |
4c6cc1db | 213 | { printf ("Freeing nterm thing (%d@%d-%d)\n", $$, RANGE (@$)); } |
7bd6c77e AD |
214 | thing |
215 | ||
216 | %destructor | |
4c6cc1db | 217 | { printf ("Freeing token 'x' (%d@%d-%d)\n", $$, RANGE (@$)); } |
7bd6c77e | 218 | 'x' |
5719c109 | 219 | |
9c66f418 AD |
220 | %destructor |
221 | { printf ("Freeing token 'y' (%d@%d-%d)\n", $$, RANGE (@$)); } | |
222 | 'y' | |
223 | ||
9280d3ef | 224 | %% |
9c66f418 AD |
225 | /* |
226 | This grammar is made to exercise error recovery. | |
227 | "Lines" starting with `(' support error recovery, with | |
228 | ')' as synchronizing token. Lines starting with 'x' can never | |
229 | be recovered from if in error. | |
230 | */ | |
231 | ||
9280d3ef AD |
232 | input: |
233 | /* Nothing. */ | |
5719c109 AD |
234 | { |
235 | $$ = 0; | |
16f37b35 | 236 | printf ("input (%d@%d-%d): /* Nothing */\n", $$, RANGE (@$)); |
5719c109 AD |
237 | } |
238 | | line input /* Right recursive to load the stack so that popping at | |
239 | EOF can be exercised. */ | |
240 | { | |
241 | $$ = 2; | |
16f37b35 | 242 | printf ("input (%d@%d-%d): line (%d@%d-%d) input (%d@%d-%d)\n", |
4c6cc1db | 243 | $$, RANGE (@$), $1, RANGE (@1), $2, RANGE (@2)); |
5719c109 | 244 | } |
9280d3ef AD |
245 | ; |
246 | ||
247 | line: | |
248 | thing thing thing ';' | |
5719c109 AD |
249 | { |
250 | $$ = $1; | |
16f37b35 | 251 | printf ("line (%d@%d-%d): thing (%d@%d-%d) thing (%d@%d-%d) thing (%d@%d-%d) ';' (%d@%d-%d)\n", |
4c6cc1db | 252 | $$, RANGE (@$), $1, RANGE (@1), $2, RANGE (@2), |
16f37b35 | 253 | $3, RANGE (@3), $4, RANGE (@4)); |
5719c109 | 254 | } |
9c66f418 | 255 | | '(' thing thing ')' |
5719c109 AD |
256 | { |
257 | $$ = $1; | |
9c66f418 AD |
258 | printf ("line (%d@%d-%d): '(' (%d@%d-%d) thing (%d@%d-%d) thing (%d@%d-%d) ')' (%d@%d-%d)\n", |
259 | $$, RANGE (@$), $1, RANGE (@1), $2, RANGE (@2), | |
260 | $3, RANGE (@3), $4, RANGE (@4)); | |
5719c109 | 261 | } |
9c66f418 | 262 | | '(' thing ')' |
5719c109 AD |
263 | { |
264 | $$ = $1; | |
9c66f418 AD |
265 | printf ("line (%d@%d-%d): '(' (%d@%d-%d) thing (%d@%d-%d) ')' (%d@%d-%d)\n", |
266 | $$, RANGE (@$), $1, RANGE (@1), $2, RANGE (@2), $3, RANGE (@3)); | |
5719c109 | 267 | } |
9c66f418 | 268 | | '(' error ')' |
5719c109 AD |
269 | { |
270 | $$ = -1; | |
9c66f418 AD |
271 | printf ("line (%d@%d-%d): '(' (%d@%d-%d) error (@%d-%d) ')' (%d@%d-%d)\n", |
272 | $$, RANGE (@$), $1, RANGE (@1), RANGE (@2), $3, RANGE (@3)); | |
5719c109 | 273 | } |
9280d3ef AD |
274 | ; |
275 | ||
276 | thing: | |
5719c109 AD |
277 | 'x' |
278 | { | |
279 | $$ = $1; | |
4c6cc1db AD |
280 | printf ("thing (%d@%d-%d): 'x' (%d@%d-%d)\n", |
281 | $$, RANGE (@$), $1, RANGE (@1)); | |
5719c109 | 282 | } |
9280d3ef AD |
283 | ; |
284 | %% | |
9c66f418 AD |
285 | /* Alias to ARGV[1]. */ |
286 | const char *yysource = 0; | |
287 | ||
9280d3ef | 288 | static int |
c2729758 | 289 | yylex (]AT_LEX_FORMALS[) |
9280d3ef | 290 | { |
5a08f1ce | 291 | static unsigned int counter = 0; |
9280d3ef | 292 | |
9c66f418 AD |
293 | int c = ]AT_VAL[]m4_ifval([$6], [.ival])[ = counter++; |
294 | /* As in BASIC, line numbers go from 10 to 10. */ | |
c2729758 | 295 | ]AT_LALR1_CC_IF( |
9c66f418 AD |
296 | [ AT_LOC.begin.line = AT_LOC.begin.column = 10 * c; |
297 | AT_LOC.end.line = AT_LOC.end.column = AT_LOC.begin.line + 9; | |
c2729758 | 298 | ], |
9c66f418 AD |
299 | [ AT_LOC.first_line = AT_LOC.first_column = 10 * c; |
300 | AT_LOC.last_line = AT_LOC.last_column = AT_LOC.first_line + 9; | |
c2729758 | 301 | ])[ |
9c66f418 AD |
302 | |
303 | if (yysource[c]) | |
304 | printf ("sending: '%c'", yysource[c]); | |
9280d3ef | 305 | else |
9c66f418 AD |
306 | printf ("sending: EOF"); |
307 | printf (" (%d@%d-%d)\n", c, RANGE (]AT_LOC[)); | |
308 | return yysource[c]; | |
9280d3ef AD |
309 | } |
310 | ||
c2729758 | 311 | ]AT_LALR1_CC_IF( |
68e11668 | 312 | [/* A C++ error reporting function. */ |
c2729758 | 313 | void |
99880de5 | 314 | yy::parser::error (const location& l, const std::string& m) |
c2729758 | 315 | { |
efeed023 | 316 | printf ("%d-%d: %s\n", RANGE (l), m.c_str()); |
c2729758 ADL |
317 | } |
318 | ||
319 | static bool yydebug; | |
320 | int | |
321 | yyparse () | |
322 | { | |
99880de5 | 323 | yy::parser parser; |
a3cb6248 | 324 | parser.set_debug_level (yydebug); |
c2729758 ADL |
325 | return parser.parse (); |
326 | } | |
327 | ], | |
328 | [static void | |
9280d3ef AD |
329 | yyerror (const char *msg) |
330 | { | |
4c6cc1db | 331 | printf ("%d-%d: %s\n", RANGE (yylloc), msg); |
c2729758 | 332 | }])[ |
9280d3ef | 333 | |
9280d3ef | 334 | int |
9c66f418 | 335 | main (int argc, const char *argv[]) |
9280d3ef AD |
336 | { |
337 | yydebug = !!getenv ("YYDEBUG"); | |
9c66f418 AD |
338 | assert (argc == 2); |
339 | yysource = argv[1]; | |
9280d3ef AD |
340 | if (yyparse ()) |
341 | { | |
4c6cc1db | 342 | printf ("Parsing FAILED.\n"); |
9280d3ef AD |
343 | exit (1); |
344 | } | |
4c6cc1db | 345 | printf ("Successful parse.\n"); |
9280d3ef AD |
346 | return 0; |
347 | } | |
348 | ]]) | |
349 | ||
07971983 PE |
350 | AT_LALR1_CC_IF( |
351 | [AT_CHECK([bison -o input.cc input.y]) | |
352 | AT_COMPILE_CXX([input])], | |
353 | [AT_CHECK([bison -o input.c input.y]) | |
354 | AT_COMPILE([input])]) | |
9c66f418 AD |
355 | |
356 | ||
357 | # Check the location of "empty" | |
358 | # ----------------------------- | |
359 | # I.e., epsilon-reductions, as in "(x)" which ends by reducing | |
360 | # an empty "line" nterm. | |
361 | # FIXME: This location is not satisfying. Depend on the lookahead? | |
362 | AT_PARSER_CHECK([./input '(x)'], 0, | |
363 | [[sending: '(' (0@0-9) | |
364 | sending: 'x' (1@10-19) | |
365 | thing (1@10-19): 'x' (1@10-19) | |
366 | sending: ')' (2@20-29) | |
367 | line (0@0-29): '(' (0@0-9) thing (1@10-19) ')' (2@20-29) | |
368 | sending: EOF (3@30-39) | |
b4a20338 AD |
369 | input (0@29-29): /* Nothing */ |
370 | input (2@0-29): line (0@0-29) input (0@29-29) | |
9c66f418 AD |
371 | Successful parse. |
372 | ]]) | |
373 | ||
374 | ||
375 | # Check locations in error recovery | |
376 | # --------------------------------- | |
377 | # '(y)' is an error, but can be recovered from. But what's the location | |
378 | # of the error itself ('y'), and of the resulting reduction ('(error)'). | |
379 | AT_PARSER_CHECK([./input '(y)'], 0, | |
380 | [[sending: '(' (0@0-9) | |
381 | sending: 'y' (1@10-19) | |
382 | 10-19: syntax error, unexpected 'y', expecting 'x' | |
383 | Freeing token 'y' (1@10-19) | |
384 | sending: ')' (2@20-29) | |
385 | line (-1@0-29): '(' (0@0-9) error (@10-19) ')' (2@20-29) | |
386 | sending: EOF (3@30-39) | |
b4a20338 AD |
387 | input (0@29-29): /* Nothing */ |
388 | input (2@0-29): line (-1@0-29) input (0@29-29) | |
9c66f418 AD |
389 | Successful parse. |
390 | ]]) | |
391 | ||
392 | ||
393 | # Syntax errors caught by the parser | |
394 | # ---------------------------------- | |
395 | # Exercise the discarding of stack top and input until `error' | |
396 | # can be reduced. | |
397 | # | |
398 | # '(', 'x', 'x', 'x', 'x', 'x', ')', | |
399 | # | |
400 | # Load the stack and provoke an error that cannot be caught by the | |
401 | # grammar, to check that the stack is cleared. And make sure the | |
402 | # lookahead is freed. | |
403 | # | |
404 | # '(', 'x', ')', | |
405 | # '(', 'x', ')', | |
406 | # 'y' | |
407 | AT_PARSER_CHECK([./input '(xxxxx)(x)(x)y'], 1, | |
408 | [[sending: '(' (0@0-9) | |
4c6cc1db AD |
409 | sending: 'x' (1@10-19) |
410 | thing (1@10-19): 'x' (1@10-19) | |
411 | sending: 'x' (2@20-29) | |
412 | thing (2@20-29): 'x' (2@20-29) | |
413 | sending: 'x' (3@30-39) | |
9c66f418 | 414 | 30-39: syntax error, unexpected 'x', expecting ')' |
4c6cc1db AD |
415 | Freeing nterm thing (2@20-29) |
416 | Freeing nterm thing (1@10-19) | |
4c6cc1db AD |
417 | Freeing token 'x' (3@30-39) |
418 | sending: 'x' (4@40-49) | |
419 | Freeing token 'x' (4@40-49) | |
420 | sending: 'x' (5@50-59) | |
421 | Freeing token 'x' (5@50-59) | |
9c66f418 AD |
422 | sending: ')' (6@60-69) |
423 | line (-1@0-69): '(' (0@0-9) error (@10-59) ')' (6@60-69) | |
424 | sending: '(' (7@70-79) | |
4c6cc1db AD |
425 | sending: 'x' (8@80-89) |
426 | thing (8@80-89): 'x' (8@80-89) | |
9c66f418 AD |
427 | sending: ')' (9@90-99) |
428 | line (7@70-99): '(' (7@70-79) thing (8@80-89) ')' (9@90-99) | |
429 | sending: '(' (10@100-109) | |
430 | sending: 'x' (11@110-119) | |
431 | thing (11@110-119): 'x' (11@110-119) | |
432 | sending: ')' (12@120-129) | |
433 | line (10@100-129): '(' (10@100-109) thing (11@110-119) ')' (12@120-129) | |
434 | sending: 'y' (13@130-139) | |
b4a20338 AD |
435 | input (0@129-129): /* Nothing */ |
436 | input (2@100-129): line (10@100-129) input (0@129-129) | |
9c66f418 AD |
437 | input (2@70-129): line (7@70-99) input (2@100-129) |
438 | input (2@0-129): line (-1@0-69) input (2@70-129) | |
439 | 130-139: syntax error, unexpected 'y', expecting $end | |
440 | Freeing nterm input (2@0-129) | |
441 | Freeing token 'y' (13@130-139) | |
5719c109 | 442 | Parsing FAILED. |
9280d3ef AD |
443 | ]]) |
444 | ||
3df37415 AD |
445 | ]) |
446 | ||
447 | ||
a14a26fa | 448 | # AT_CHECK_PRINTER_AND_DESTRUCTOR([BISON-OPTIONS], [UNION-FLAG], [SKIP_FLAG]) |
046ac74e | 449 | # --------------------------------------------------------------------------- |
3df37415 | 450 | m4_define([AT_CHECK_PRINTER_AND_DESTRUCTOR], |
9c66f418 AD |
451 | [AT_SETUP([Printers and Destructors $2: $1]) |
452 | ||
a14a26fa | 453 | $3 |
9c66f418 AD |
454 | _AT_CHECK_PRINTER_AND_DESTRUCTOR($[1], $[2], $[3], $[4], |
455 | [%error-verbose | |
456 | %debug | |
457 | %verbose | |
458 | %locations | |
459 | $1], [$2]) | |
460 | ||
461 | AT_CLEANUP | |
3df37415 AD |
462 | ]) |
463 | ||
464 | ||
ac700aa6 PE |
465 | AT_CHECK_PRINTER_AND_DESTRUCTOR([]) |
466 | AT_CHECK_PRINTER_AND_DESTRUCTOR([], [with union]) | |
046ac74e | 467 | |
a14a26fa PE |
468 | # These tests currently fail on a Debian GNU/Linux 3.0r2 x86 host, |
469 | # but the 2nd test succeeds on a Solaris 9 sparc hosts (Forte 7 cc). | |
470 | # Skip them until we figure out what the problem is. | |
fd19f271 AD |
471 | AT_CHECK_PRINTER_AND_DESTRUCTOR([%defines %skeleton "lalr1.cc"]) |
472 | AT_CHECK_PRINTER_AND_DESTRUCTOR([%defines %skeleton "lalr1.cc"], [with union]) | |
046ac74e | 473 | |
1576d44d AD |
474 | AT_CHECK_PRINTER_AND_DESTRUCTOR([%glr-parser]) |
475 | AT_CHECK_PRINTER_AND_DESTRUCTOR([%glr-parser], [with union]) |