tests/actions.at

   1 # Executing Actions.                               -*- Autotest -*-
   2
   3 # Copyright (C) 2001-2011 Free Software Foundation, Inc.
   4
   5 # This program is free software: you can redistribute it and/or modify
   6 # it under the terms of the GNU General Public License as published by
   7 # the Free Software Foundation, either version 3 of the License, or
   8 # (at your option) any later version.
   9 #
  10 # This program is distributed in the hope that it will be useful,
  11 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  12 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  13 # GNU General Public License for more details.
  14 #
  15 # You should have received a copy of the GNU General Public License
  16 # along with this program.  If not, see <http://www.gnu.org/licenses/>.
  17
  18 AT_BANNER([[User Actions.]])
  19
  20 ## ------------------ ##
  21 ## Mid-rule actions.  ##
  22 ## ------------------ ##
  23
  24 AT_SETUP([Mid-rule actions])
  25
  26 # Bison once forgot the mid-rule actions.  It was because the action
  27 # was attached to the host rule (the one with the mid-rule action),
  28 # instead of being attached to the empty rule dedicated to this
  29 # action.
  30
  31 AT_DATA_GRAMMAR([[input.y]],
  32 [[%error-verbose
  33 %debug
  34 %{
  35 # include <stdio.h>
  36 # include <stdlib.h>
  37   static void yyerror (const char *msg);
  38   static int yylex (void);
  39 %}
  40 %%
  41 exp:     { putchar ('0'); }
  42      '1' { putchar ('1'); }
  43      '2' { putchar ('2'); }
  44      '3' { putchar ('3'); }
  45      '4' { putchar ('4'); }
  46      '5' { putchar ('5'); }
  47      '6' { putchar ('6'); }
  48      '7' { putchar ('7'); }
  49      '8' { putchar ('8'); }
  50      '9' { putchar ('9'); }
  51          { putchar ('\n'); }
  52    ;
  53 %%
  54 static int
  55 yylex (void)
  56 {
  57   static char const input[] = "123456789";
  58   static size_t toknum;
  59   if (! (toknum < sizeof input))
  60     abort ();
  61   return input[toknum++];
  62 }
  63
  64 static void
  65 yyerror (const char *msg)
  66 {
  67   fprintf (stderr, "%s\n", msg);
  68 }
  69
  70 int
  71 main (void)
  72 {
  73   return yyparse ();
  74 }
  75 ]])
  76
  77 AT_BISON_CHECK([-d -v -o input.c input.y])
  78 AT_COMPILE([input])
  79 AT_PARSER_CHECK([./input], 0,
  80 [[0123456789
  81 ]])
  82
  83 AT_CLEANUP
  84
  85
  86
  87
  88
  89 ## ---------------- ##
  90 ## Exotic Dollars.  ##
  91 ## ---------------- ##
  92
  93 AT_SETUP([Exotic Dollars])
  94
  95 AT_DATA_GRAMMAR([[input.y]],
  96 [[%error-verbose
  97 %debug
  98 %{
  99 # include <stdio.h>
 100 # include <stdlib.h>
 101   static void yyerror (const char *msg);
 102   static int yylex (void);
 103 # define USE(Var)
 104 %}
 105
 106 %union
 107 {
 108   int val;
 109 };
 110
 111 %type <val> a_1 a_2 a_5
 112             sum_of_the_five_previous_values
 113
 114 %%
 115 exp: a_1 a_2 { $<val>$ = 3; } { $<val>$ = $<val>3 + 1; } a_5
 116      sum_of_the_five_previous_values
 117     {
 118        USE (($1, $2, $<foo>3, $<foo>4, $5));
 119        printf ("%d\n", $6);
 120     }
 121 ;
 122 a_1: { $$ = 1; };
 123 a_2: { $$ = 2; };
 124 a_5: { $$ = 5; };
 125
 126 sum_of_the_five_previous_values:
 127     {
 128        $$ = $<val>0 + $<val>-1 + $<val>-2 + $<val>-3 + $<val>-4;
 129     }
 130 ;
 131
 132 %%
 133 static int
 134 yylex (void)
 135 {
 136   static int called;
 137   if (called++)
 138     abort ();
 139   return EOF;
 140 }
 141
 142 static void
 143 yyerror (const char *msg)
 144 {
 145   fprintf (stderr, "%s\n", msg);
 146 }
 147
 148 int
 149 main (void)
 150 {
 151   return yyparse ();
 152 }
 153 ]])
 154
 155 AT_BISON_CHECK([-d -v -o input.c input.y], 0)
 156 AT_COMPILE([input])
 157 AT_PARSER_CHECK([./input], 0,
 158 [[15
 159 ]])
 160
 161 # Make sure that fields after $n or $-n are parsed correctly.  At one
 162 # point while implementing dashes in symbol names, we were dropping
 163 # fields after $-n.
 164 AT_DATA_GRAMMAR([[input.y]],
 165 [[
 166 %{
 167 # include <stdio.h>
 168   static int yylex (void);
 169   static void yyerror (char const *msg);
 170   typedef struct { int val; } stype;
 171 # define YYSTYPE stype
 172 %}
 173
 174 %%
 175 start: one two { $$.val = $1.val + $2.val; } sum ;
 176 one: { $$.val = 1; } ;
 177 two: { $$.val = 2; } ;
 178 sum: { printf ("%d\n", $0.val + $-1.val + $-2.val); } ;
 179
 180 %%
 181
 182 static int
 183 yylex (void)
 184 {
 185   return 0;
 186 }
 187
 188 static void
 189 yyerror (char const *msg)
 190 {
 191   fprintf (stderr, "%s\n", msg);
 192 }
 193
 194 int
 195 main (void)
 196 {
 197   return yyparse ();
 198 }
 199 ]])
 200
 201 AT_BISON_CHECK([[-o input.c input.y]])
 202 AT_COMPILE([[input]])
 203 AT_PARSER_CHECK([[./input]], [[0]],
 204 [[6
 205 ]])
 206
 207 AT_CLEANUP
 208
 209
 210
 211 ## -------------------------- ##
 212 ## Printers and Destructors.  ##
 213 ## -------------------------- ##
 214
 215 # _AT_CHECK_PRINTER_AND_DESTRUCTOR($1, $2, $3, $4, BISON-DIRECTIVE, UNION-FLAG)
 216 # -----------------------------------------------------------------------------
 217 m4_define([_AT_CHECK_PRINTER_AND_DESTRUCTOR],
 218 [# Make sure complex $n work.
 219 m4_if([$1$2$3], $[1]$[2]$[3], [],
 220        [m4_fatal([$0: Invalid arguments: $@])])dnl
 221
 222 # Be sure to pass all the %directives to this macro to have correct
 223 # helping macros.  So don't put any directly in the Bison file.
 224 AT_BISON_OPTION_PUSHDEFS([$5])
 225 AT_DATA_GRAMMAR([[input.y]],
 226 [[%code requires {
 227 #include <stdio.h>
 228 #include <stdlib.h>
 229 #include <string.h>
 230 #include <assert.h>
 231
 232 #define YYINITDEPTH 10
 233 #define YYMAXDEPTH 10
 234 ]AT_LALR1_CC_IF(
 235   [#define RANGE(Location) (Location).begin.line, (Location).end.line],
 236   [#define RANGE(Location) (Location).first_line, (Location).last_line])
 237 [}
 238
 239 $5]
 240 m4_ifval([$6], [%union
 241 {
 242   int ival;
 243 }])
 244 AT_LALR1_CC_IF([%define global_tokens_and_yystype])
 245 m4_ifval([$6], [[%code provides {]], [[%code {]])
 246 AT_LALR1_CC_IF([typedef yy::location YYLTYPE;])
 247 [static int yylex (]AT_LEX_FORMALS[);
 248 ]AT_LALR1_CC_IF([], [static void yyerror (const char *msg);])
 249 [}
 250
 251 ]m4_ifval([$6], [%type <ival> '(' 'x' 'y' ')' ';' thing line input END])[
 252
 253 /* FIXME: This %printer isn't actually tested.  */
 254 %printer
 255   {
 256     ]AT_LALR1_CC_IF([debug_stream () << $$;],
 257                     [fprintf (yyoutput, "%d", $$)])[;
 258   }
 259   input line thing 'x' 'y'
 260
 261 %destructor
 262   { printf ("Freeing nterm input (%d@%d-%d)\n", $$, RANGE (@$)); }
 263   input
 264
 265 %destructor
 266   { printf ("Freeing nterm line (%d@%d-%d)\n", $$, RANGE (@$)); }
 267   line
 268
 269 %destructor
 270   { printf ("Freeing nterm thing (%d@%d-%d)\n", $$, RANGE (@$)); }
 271   thing
 272
 273 %destructor
 274   { printf ("Freeing token 'x' (%d@%d-%d)\n", $$, RANGE (@$)); }
 275   'x'
 276
 277 %destructor
 278   { printf ("Freeing token 'y' (%d@%d-%d)\n", $$, RANGE (@$)); }
 279   'y'
 280
 281 %token END 0
 282 %destructor
 283   { printf ("Freeing token END (%d@%d-%d)\n", $$, RANGE (@$)); }
 284   END
 285
 286 %%
 287 /*
 288    This grammar is made to exercise error recovery.
 289    "Lines" starting with `(' support error recovery, with
 290    ')' as synchronizing token.  Lines starting with 'x' can never
 291    be recovered from if in error.
 292 */
 293
 294 input:
 295   /* Nothing. */
 296     {
 297       $$ = 0;
 298       printf ("input (%d@%d-%d): /* Nothing */\n", $$, RANGE (@$));
 299     }
 300 | line input /* Right recursive to load the stack so that popping at
 301                 END can be exercised.  */
 302     {
 303       $$ = 2;
 304       printf ("input (%d@%d-%d): line (%d@%d-%d) input (%d@%d-%d)\n",
 305               $$, RANGE (@$), $1, RANGE (@1), $2, RANGE (@2));
 306     }
 307 ;
 308
 309 line:
 310   thing thing thing ';'
 311     {
 312       $$ = $1;
 313       printf ("line (%d@%d-%d): thing (%d@%d-%d) thing (%d@%d-%d) thing (%d@%d-%d) ';' (%d@%d-%d)\n",
 314               $$, RANGE (@$), $1, RANGE (@1), $2, RANGE (@2),
 315               $3, RANGE (@3), $4, RANGE (@4));
 316     }
 317 | '(' thing thing ')'
 318     {
 319       $$ = $1;
 320       printf ("line (%d@%d-%d): '(' (%d@%d-%d) thing (%d@%d-%d) thing (%d@%d-%d) ')' (%d@%d-%d)\n",
 321               $$, RANGE (@$), $1, RANGE (@1), $2, RANGE (@2),
 322               $3, RANGE (@3), $4, RANGE (@4));
 323     }
 324 | '(' thing ')'
 325     {
 326       $$ = $1;
 327       printf ("line (%d@%d-%d): '(' (%d@%d-%d) thing (%d@%d-%d) ')' (%d@%d-%d)\n",
 328               $$, RANGE (@$), $1, RANGE (@1), $2, RANGE (@2), $3, RANGE (@3));
 329     }
 330 | '(' error ')'
 331     {
 332       $$ = -1;
 333       printf ("line (%d@%d-%d): '(' (%d@%d-%d) error (@%d-%d) ')' (%d@%d-%d)\n",
 334               $$, RANGE (@$), $1, RANGE (@1), RANGE (@2), $3, RANGE (@3));
 335     }
 336 ;
 337
 338 thing:
 339   'x'
 340     {
 341       $$ = $1;
 342       printf ("thing (%d@%d-%d): 'x' (%d@%d-%d)\n",
 343               $$, RANGE (@$), $1, RANGE (@1));
 344     }
 345 ;
 346 %%
 347 /* Alias to ARGV[1]. */
 348 const char *source = 0;
 349
 350 static int
 351 yylex (]AT_LEX_FORMALS[)
 352 {
 353   static unsigned int counter = 0;
 354
 355   int c = ]AT_VAL[]m4_ifval([$6], [.ival])[ = counter++;
 356   /* As in BASIC, line numbers go from 10 to 10.  */
 357 ]AT_LALR1_CC_IF(
 358 [ AT_LOC.begin.line = AT_LOC.begin.column = 10 * c;
 359   AT_LOC.end.line = AT_LOC.end.column = AT_LOC.begin.line + 9;
 360 ],
 361 [ AT_LOC.first_line = AT_LOC.first_column = 10 * c;
 362   AT_LOC.last_line = AT_LOC.last_column = AT_LOC.first_line + 9;
 363 ])[
 364
 365   if (! (0 <= c && c <= strlen (source)))
 366     abort ();
 367   if (source[c])
 368     printf ("sending: '%c'", source[c]);
 369   else
 370     printf ("sending: END");
 371   printf (" (%d@%d-%d)\n", c, RANGE (]AT_LOC[));
 372   return source[c];
 373 }
 374
 375 ]AT_LALR1_CC_IF(
 376 [/* A C++ error reporting function. */
 377 void
 378 yy::parser::error (const location& l, const std::string& m)
 379 {
 380   printf ("%d-%d: %s\n", RANGE (l), m.c_str());
 381 }
 382
 383 static bool yydebug;
 384 int
 385 yyparse ()
 386 {
 387   yy::parser parser;
 388   parser.set_debug_level (yydebug);
 389   return parser.parse ();
 390 }
 391 ],
 392 [static void
 393 yyerror (const char *msg)
 394 {
 395   printf ("%d-%d: %s\n", RANGE (yylloc), msg);
 396 }])[
 397
 398 int
 399 main (int argc, const char *argv[])
 400 {
 401   int status;
 402   yydebug = !!getenv ("YYDEBUG");
 403   assert (argc == 2);
 404   source = argv[1];
 405   status = yyparse ();
 406   switch (status)
 407     {
 408       case 0: printf ("Successful parse.\n"); break;
 409       case 1: printf ("Parsing FAILED.\n"); break;
 410       default: printf ("Parsing FAILED (status %d).\n", status); break;
 411     }
 412   return status;
 413 }
 414 ]])
 415
 416 AT_FULL_COMPILE([input])
 417
 418
 419 # Check the location of "empty"
 420 # -----------------------------
 421 # I.e., epsilon-reductions, as in "(x)" which ends by reducing
 422 # an empty "line" nterm.
 423 # FIXME: This location is not satisfying.  Depend on the lookahead?
 424 AT_PARSER_CHECK([./input '(x)'], 0,
 425 [[sending: '(' (0@0-9)
 426 sending: 'x' (1@10-19)
 427 thing (1@10-19): 'x' (1@10-19)
 428 sending: ')' (2@20-29)
 429 line (0@0-29): '(' (0@0-9) thing (1@10-19) ')' (2@20-29)
 430 sending: END (3@30-39)
 431 input (0@29-29): /* Nothing */
 432 input (2@0-29): line (0@0-29) input (0@29-29)
 433 Freeing token END (3@30-39)
 434 Freeing nterm input (2@0-29)
 435 Successful parse.
 436 ]])
 437
 438
 439 # Check locations in error recovery
 440 # ---------------------------------
 441 # '(y)' is an error, but can be recovered from.  But what's the location
 442 # of the error itself ('y'), and of the resulting reduction ('(error)').
 443 AT_PARSER_CHECK([./input '(y)'], 0,
 444 [[sending: '(' (0@0-9)
 445 sending: 'y' (1@10-19)
 446 10-19: syntax error, unexpected 'y', expecting 'x'
 447 Freeing token 'y' (1@10-19)
 448 sending: ')' (2@20-29)
 449 line (-1@0-29): '(' (0@0-9) error (@10-19) ')' (2@20-29)
 450 sending: END (3@30-39)
 451 input (0@29-29): /* Nothing */
 452 input (2@0-29): line (-1@0-29) input (0@29-29)
 453 Freeing token END (3@30-39)
 454 Freeing nterm input (2@0-29)
 455 Successful parse.
 456 ]])
 457
 458
 459 # Syntax errors caught by the parser
 460 # ----------------------------------
 461 # Exercise the discarding of stack top and input until `error'
 462 # can be reduced.
 463 #
 464 #     '(', 'x', 'x', 'x', 'x', 'x', ')',
 465 #
 466 # Load the stack and provoke an error that cannot be caught by the
 467 # grammar, to check that the stack is cleared.  And make sure the
 468 # lookahead is freed.
 469 #
 470 #     '(', 'x', ')',
 471 #     '(', 'x', ')',
 472 #     'y'
 473 AT_PARSER_CHECK([./input '(xxxxx)(x)(x)y'], 1,
 474 [[sending: '(' (0@0-9)
 475 sending: 'x' (1@10-19)
 476 thing (1@10-19): 'x' (1@10-19)
 477 sending: 'x' (2@20-29)
 478 thing (2@20-29): 'x' (2@20-29)
 479 sending: 'x' (3@30-39)
 480 30-39: syntax error, unexpected 'x', expecting ')'
 481 Freeing nterm thing (2@20-29)
 482 Freeing nterm thing (1@10-19)
 483 Freeing token 'x' (3@30-39)
 484 sending: 'x' (4@40-49)
 485 Freeing token 'x' (4@40-49)
 486 sending: 'x' (5@50-59)
 487 Freeing token 'x' (5@50-59)
 488 sending: ')' (6@60-69)
 489 line (-1@0-69): '(' (0@0-9) error (@10-59) ')' (6@60-69)
 490 sending: '(' (7@70-79)
 491 sending: 'x' (8@80-89)
 492 thing (8@80-89): 'x' (8@80-89)
 493 sending: ')' (9@90-99)
 494 line (7@70-99): '(' (7@70-79) thing (8@80-89) ')' (9@90-99)
 495 sending: '(' (10@100-109)
 496 sending: 'x' (11@110-119)
 497 thing (11@110-119): 'x' (11@110-119)
 498 sending: ')' (12@120-129)
 499 line (10@100-129): '(' (10@100-109) thing (11@110-119) ')' (12@120-129)
 500 sending: 'y' (13@130-139)
 501 input (0@129-129): /* Nothing */
 502 input (2@100-129): line (10@100-129) input (0@129-129)
 503 input (2@70-129): line (7@70-99) input (2@100-129)
 504 input (2@0-129): line (-1@0-69) input (2@70-129)
 505 130-139: syntax error, unexpected 'y', expecting END
 506 Freeing nterm input (2@0-129)
 507 Freeing token 'y' (13@130-139)
 508 Parsing FAILED.
 509 ]])
 510
 511
 512 # Syntax error caught by the parser where lookahead = END
 513 # --------------------------------------------------------
 514 # Load the stack and provoke an error that cannot be caught by the
 515 # grammar, to check that the stack is cleared.  And make sure the
 516 # lookahead is freed.
 517 #
 518 #     '(', 'x', ')',
 519 #     '(', 'x', ')',
 520 #     'x'
 521 AT_PARSER_CHECK([./input '(x)(x)x'], 1,
 522 [[sending: '(' (0@0-9)
 523 sending: 'x' (1@10-19)
 524 thing (1@10-19): 'x' (1@10-19)
 525 sending: ')' (2@20-29)
 526 line (0@0-29): '(' (0@0-9) thing (1@10-19) ')' (2@20-29)
 527 sending: '(' (3@30-39)
 528 sending: 'x' (4@40-49)
 529 thing (4@40-49): 'x' (4@40-49)
 530 sending: ')' (5@50-59)
 531 line (3@30-59): '(' (3@30-39) thing (4@40-49) ')' (5@50-59)
 532 sending: 'x' (6@60-69)
 533 thing (6@60-69): 'x' (6@60-69)
 534 sending: END (7@70-79)
 535 70-79: syntax error, unexpected END, expecting 'x'
 536 Freeing nterm thing (6@60-69)
 537 Freeing nterm line (3@30-59)
 538 Freeing nterm line (0@0-29)
 539 Freeing token END (7@70-79)
 540 Parsing FAILED.
 541 ]])
 542
 543
 544 # Check destruction upon stack overflow
 545 # -------------------------------------
 546 # Upon stack overflow, all symbols on the stack should be destroyed.
 547 # Only check for yacc.c.
 548 AT_YACC_IF([
 549 AT_PARSER_CHECK([./input '(x)(x)(x)(x)(x)(x)(x)'], 2,
 550 [[sending: '(' (0@0-9)
 551 sending: 'x' (1@10-19)
 552 thing (1@10-19): 'x' (1@10-19)
 553 sending: ')' (2@20-29)
 554 line (0@0-29): '(' (0@0-9) thing (1@10-19) ')' (2@20-29)
 555 sending: '(' (3@30-39)
 556 sending: 'x' (4@40-49)
 557 thing (4@40-49): 'x' (4@40-49)
 558 sending: ')' (5@50-59)
 559 line (3@30-59): '(' (3@30-39) thing (4@40-49) ')' (5@50-59)
 560 sending: '(' (6@60-69)
 561 sending: 'x' (7@70-79)
 562 thing (7@70-79): 'x' (7@70-79)
 563 sending: ')' (8@80-89)
 564 line (6@60-89): '(' (6@60-69) thing (7@70-79) ')' (8@80-89)
 565 sending: '(' (9@90-99)
 566 sending: 'x' (10@100-109)
 567 thing (10@100-109): 'x' (10@100-109)
 568 sending: ')' (11@110-119)
 569 line (9@90-119): '(' (9@90-99) thing (10@100-109) ')' (11@110-119)
 570 sending: '(' (12@120-129)
 571 sending: 'x' (13@130-139)
 572 thing (13@130-139): 'x' (13@130-139)
 573 sending: ')' (14@140-149)
 574 line (12@120-149): '(' (12@120-129) thing (13@130-139) ')' (14@140-149)
 575 sending: '(' (15@150-159)
 576 sending: 'x' (16@160-169)
 577 thing (16@160-169): 'x' (16@160-169)
 578 sending: ')' (17@170-179)
 579 line (15@150-179): '(' (15@150-159) thing (16@160-169) ')' (17@170-179)
 580 sending: '(' (18@180-189)
 581 sending: 'x' (19@190-199)
 582 thing (19@190-199): 'x' (19@190-199)
 583 sending: ')' (20@200-209)
 584 200-209: memory exhausted
 585 Freeing nterm thing (19@190-199)
 586 Freeing nterm line (15@150-179)
 587 Freeing nterm line (12@120-149)
 588 Freeing nterm line (9@90-119)
 589 Freeing nterm line (6@60-89)
 590 Freeing nterm line (3@30-59)
 591 Freeing nterm line (0@0-29)
 592 Parsing FAILED (status 2).
 593 ]])
 594 ])
 595
 596 ])
 597
 598
 599 # AT_CHECK_PRINTER_AND_DESTRUCTOR([BISON-OPTIONS], [UNION-FLAG], [SKIP_FLAG])
 600 # ---------------------------------------------------------------------------
 601 m4_define([AT_CHECK_PRINTER_AND_DESTRUCTOR],
 602 [AT_SETUP([Printers and Destructors $2: $1])
 603
 604 $3
 605 _AT_CHECK_PRINTER_AND_DESTRUCTOR($[1], $[2], $[3], $[4],
 606 [%error-verbose
 607 %debug
 608 %verbose
 609 %locations
 610 $1], [$2])
 611
 612 AT_CLEANUP
 613 ])
 614
 615
 616 AT_CHECK_PRINTER_AND_DESTRUCTOR([])
 617 AT_CHECK_PRINTER_AND_DESTRUCTOR([], [with union])
 618
 619 AT_CHECK_PRINTER_AND_DESTRUCTOR([%defines %skeleton "lalr1.cc"])
 620 AT_CHECK_PRINTER_AND_DESTRUCTOR([%defines %skeleton "lalr1.cc"], [with union])
 621
 622 AT_CHECK_PRINTER_AND_DESTRUCTOR([%glr-parser])
 623 AT_CHECK_PRINTER_AND_DESTRUCTOR([%glr-parser], [with union])
 624
 625
 626
 627 ## ----------------------------------------- ##
 628 ## Default tagless %printer and %destructor. ##
 629 ## ----------------------------------------- ##
 630
 631 # Check that the right %printer and %destructor are called, that they're not
 632 # called for $end, and that $$ and @$ work correctly.
 633
 634 AT_SETUP([Default tagless %printer and %destructor])
 635
 636 AT_DATA_GRAMMAR([[input.y]],
 637 [[%error-verbose
 638 %debug
 639 %locations
 640 %initial-action {
 641   @$.first_line = @$.last_line = 1;
 642   @$.first_column = @$.last_column = 1;
 643 }
 644
 645 %{
 646 # include <stdio.h>
 647 # include <stdlib.h>
 648   static void yyerror (const char *msg);
 649   static int yylex (void);
 650 # define USE(SYM)
 651 %}
 652
 653 %printer {
 654   fprintf (yyoutput, "<*> printer should not be called.\n");
 655 } <*>
 656
 657 %printer {
 658   fprintf (yyoutput, "<> printer for '%c' @ %d", $$, @$.first_column);
 659 } <>
 660 %destructor {
 661   fprintf (stdout, "<> destructor for '%c' @ %d.\n", $$, @$.first_column);
 662 } <>
 663
 664 %printer {
 665   fprintf (yyoutput, "'b'/'c' printer for '%c' @ %d", $$, @$.first_column);
 666 } 'b' 'c'
 667 %destructor {
 668   fprintf (stdout, "'b'/'c' destructor for '%c' @ %d.\n", $$, @$.first_column);
 669 } 'b' 'c'
 670
 671 %destructor {
 672   fprintf (yyoutput, "<*> destructor should not be called.\n");
 673 } <*>
 674
 675 %%
 676
 677 start: 'a' 'b' 'c' 'd' 'e' { $$ = 'S'; USE(($1, $2, $3, $4, $5)); } ;
 678
 679 %%
 680
 681 static int
 682 yylex (void)
 683 {
 684   static char const input[] = "abcd";
 685   static size_t toknum;
 686   if (! (toknum < sizeof input))
 687     abort ();
 688   yylval = input[toknum++];
 689   yylloc.first_line = yylloc.last_line = 1;
 690   yylloc.first_column = yylloc.last_column = toknum;
 691   return yylval;
 692 }
 693
 694 static void
 695 yyerror (const char *msg)
 696 {
 697   fprintf (stderr, "%s\n", msg);
 698 }
 699
 700 int
 701 main (void)
 702 {
 703   yydebug = 1;
 704   return yyparse ();
 705 }
 706 ]])
 707
 708 AT_BISON_CHECK([-o input.c input.y])
 709 AT_COMPILE([input])
 710 AT_PARSER_CHECK([./input], 1,
 711 [[<> destructor for 'd' @ 4.
 712 'b'/'c' destructor for 'c' @ 3.
 713 'b'/'c' destructor for 'b' @ 2.
 714 <> destructor for 'a' @ 1.
 715 ]],
 716 [[Starting parse
 717 Entering state 0
 718 Reading a token: Next token is token 'a' (1.1-1.1: <> printer for 'a' @ 1)
 719 Shifting token 'a' (1.1-1.1: <> printer for 'a' @ 1)
 720 Entering state 1
 721 Reading a token: Next token is token 'b' (1.2-1.2: 'b'/'c' printer for 'b' @ 2)
 722 Shifting token 'b' (1.2-1.2: 'b'/'c' printer for 'b' @ 2)
 723 Entering state 3
 724 Reading a token: Next token is token 'c' (1.3-1.3: 'b'/'c' printer for 'c' @ 3)
 725 Shifting token 'c' (1.3-1.3: 'b'/'c' printer for 'c' @ 3)
 726 Entering state 5
 727 Reading a token: Next token is token 'd' (1.4-1.4: <> printer for 'd' @ 4)
 728 Shifting token 'd' (1.4-1.4: <> printer for 'd' @ 4)
 729 Entering state 6
 730 Reading a token: Now at end of input.
 731 syntax error, unexpected $end, expecting 'e'
 732 Error: popping token 'd' (1.4-1.4: <> printer for 'd' @ 4)
 733 Stack now 0 1 3 5
 734 Error: popping token 'c' (1.3-1.3: 'b'/'c' printer for 'c' @ 3)
 735 Stack now 0 1 3
 736 Error: popping token 'b' (1.2-1.2: 'b'/'c' printer for 'b' @ 2)
 737 Stack now 0 1
 738 Error: popping token 'a' (1.1-1.1: <> printer for 'a' @ 1)
 739 Stack now 0
 740 Cleanup: discarding lookahead token $end (1.5-1.5: )
 741 Stack now 0
 742 ]])
 743
 744 AT_CLEANUP
 745
 746
 747
 748 ## ------------------------------------------------------ ##
 749 ## Default tagged and per-type %printer and %destructor.  ##
 750 ## ------------------------------------------------------ ##
 751
 752 AT_SETUP([Default tagged and per-type %printer and %destructor])
 753
 754 AT_DATA_GRAMMAR([[input.y]],
 755 [[%error-verbose
 756 %debug
 757
 758 %{
 759 # include <stdio.h>
 760 # include <stdlib.h>
 761   static void yyerror (const char *msg);
 762   static int yylex (void);
 763 # define USE(SYM)
 764 %}
 765
 766 %printer {
 767   fprintf (yyoutput, "<> printer should not be called.\n");
 768 } <>
 769
 770 %union { int field0; int field1; int field2; }
 771 %type <field0> start 'a' 'g'
 772 %type <field1> 'e'
 773 %type <field2> 'f'
 774 %printer {
 775   fprintf (yyoutput, "<*>/<field2>/e printer");
 776 } <*> 'e' <field2>
 777 %destructor {
 778   fprintf (stdout, "<*>/<field2>/e destructor.\n");
 779 } <*> 'e' <field2>
 780
 781 %type <field1> 'b'
 782 %printer { fprintf (yyoutput, "<field1> printer"); } <field1>
 783 %destructor { fprintf (stdout, "<field1> destructor.\n"); } <field1>
 784
 785 %type <field0> 'c'
 786 %printer { fprintf (yyoutput, "'c' printer"); } 'c'
 787 %destructor { fprintf (stdout, "'c' destructor.\n"); } 'c'
 788
 789 %type <field1> 'd'
 790 %printer { fprintf (yyoutput, "'d' printer"); } 'd'
 791 %destructor { fprintf (stdout, "'d' destructor.\n"); } 'd'
 792
 793 %destructor {
 794   fprintf (yyoutput, "<> destructor should not be called.\n");
 795 } <>
 796
 797 %%
 798
 799 start:
 800   'a' 'b' 'c' 'd' 'e' 'f' 'g'
 801     {
 802       USE(($1, $2, $3, $4, $5, $6, $7));
 803       $$ = 'S';
 804     }
 805   ;
 806
 807 %%
 808
 809 static int
 810 yylex (void)
 811 {
 812   static char const input[] = "abcdef";
 813   static size_t toknum;
 814   if (! (toknum < sizeof input))
 815     abort ();
 816   return input[toknum++];
 817 }
 818
 819 static void
 820 yyerror (const char *msg)
 821 {
 822   fprintf (stderr, "%s\n", msg);
 823 }
 824
 825 int
 826 main (void)
 827 {
 828   yydebug = 1;
 829   return yyparse ();
 830 }
 831 ]])
 832
 833 AT_BISON_CHECK([-o input.c input.y])
 834 AT_COMPILE([input])
 835 AT_PARSER_CHECK([./input], 1,
 836 [[<*>/<field2>/e destructor.
 837 <*>/<field2>/e destructor.
 838 'd' destructor.
 839 'c' destructor.
 840 <field1> destructor.
 841 <*>/<field2>/e destructor.
 842 ]],
 843 [[Starting parse
 844 Entering state 0
 845 Reading a token: Next token is token 'a' (<*>/<field2>/e printer)
 846 Shifting token 'a' (<*>/<field2>/e printer)
 847 Entering state 1
 848 Reading a token: Next token is token 'b' (<field1> printer)
 849 Shifting token 'b' (<field1> printer)
 850 Entering state 3
 851 Reading a token: Next token is token 'c' ('c' printer)
 852 Shifting token 'c' ('c' printer)
 853 Entering state 5
 854 Reading a token: Next token is token 'd' ('d' printer)
 855 Shifting token 'd' ('d' printer)
 856 Entering state 6
 857 Reading a token: Next token is token 'e' (<*>/<field2>/e printer)
 858 Shifting token 'e' (<*>/<field2>/e printer)
 859 Entering state 7
 860 Reading a token: Next token is token 'f' (<*>/<field2>/e printer)
 861 Shifting token 'f' (<*>/<field2>/e printer)
 862 Entering state 8
 863 Reading a token: Now at end of input.
 864 syntax error, unexpected $end, expecting 'g'
 865 Error: popping token 'f' (<*>/<field2>/e printer)
 866 Stack now 0 1 3 5 6 7
 867 Error: popping token 'e' (<*>/<field2>/e printer)
 868 Stack now 0 1 3 5 6
 869 Error: popping token 'd' ('d' printer)
 870 Stack now 0 1 3 5
 871 Error: popping token 'c' ('c' printer)
 872 Stack now 0 1 3
 873 Error: popping token 'b' (<field1> printer)
 874 Stack now 0 1
 875 Error: popping token 'a' (<*>/<field2>/e printer)
 876 Stack now 0
 877 Cleanup: discarding lookahead token $end ()
 878 Stack now 0
 879 ]])
 880
 881 AT_CLEANUP
 882
 883
 884
 885 ## ------------------------------------------------------------- ##
 886 ## Default %printer and %destructor for user-defined end token.  ##
 887 ## ------------------------------------------------------------- ##
 888
 889 AT_SETUP([Default %printer and %destructor for user-defined end token])
 890
 891 # _AT_CHECK_DEFAULT_PRINTER_AND_DESTRUCTOR_FOR_END_TOKEN(TYPED)
 892 # -----------------------------------------------------------------------------
 893 m4_define([_AT_CHECK_DEFAULT_PRINTER_AND_DESTRUCTOR_FOR_END_TOKEN],
 894 [m4_if($1, 0,
 895   [m4_pushdef([kind], []) m4_pushdef([not_kind], [*])],
 896   [m4_pushdef([kind], [*]) m4_pushdef([not_kind], [])])
 897
 898 AT_DATA_GRAMMAR([[input]]$1[[.y]],
 899 [[%error-verbose
 900 %debug
 901 %locations
 902 %initial-action {
 903   @$.first_line = @$.last_line = 1;
 904   @$.first_column = @$.last_column = 1;
 905 }
 906
 907 %{
 908 # include <stdio.h>
 909 # include <stdlib.h>
 910   static void yyerror (const char *msg);
 911   static int yylex (void);
 912 # define USE(SYM)
 913 %}
 914
 915 %destructor {
 916   fprintf (yyoutput, "<]]not_kind[[> destructor should not be called.\n");
 917 } <]]not_kind[[>
 918
 919 %token END 0
 920 %printer {
 921   fprintf (yyoutput, "<]]kind[[> for '%c' @ %d", $$, @$.first_column);
 922 } <]]kind[[>
 923 %destructor {
 924   fprintf (stdout, "<]]kind[[> for '%c' @ %d.\n", $$, @$.first_column);
 925 } <]]kind[[>
 926
 927 %printer {
 928   fprintf (yyoutput, "<]]not_kind[[> printer should not be called.\n");
 929 } <]]not_kind[[>
 930
 931 ]]m4_if($1, 0, [[[
 932 ]]],
 933 [[[%union { char tag; }
 934 %type <tag> start END]]])[[
 935
 936 %%
 937
 938 start: { $$ = 'S'; } ;
 939
 940 %%
 941
 942 static int
 943 yylex (void)
 944 {
 945   static int called;
 946   if (called++)
 947     abort ();
 948   yylval]]m4_if($1, 0,, [[[.tag]]])[[ = 'E';
 949   yylloc.first_line = yylloc.last_line = 1;
 950   yylloc.first_column = yylloc.last_column = 1;
 951   return 0;
 952 }
 953
 954 static void
 955 yyerror (const char *msg)
 956 {
 957   fprintf (stderr, "%s\n", msg);
 958 }
 959
 960 int
 961 main (void)
 962 {
 963   yydebug = 1;
 964   return yyparse ();
 965 }
 966 ]])
 967
 968 AT_BISON_CHECK([-o input$1.c input$1.y])
 969 AT_COMPILE([input$1])
 970 AT_PARSER_CHECK([./input$1], 0,
 971 [[<]]kind[[> for 'E' @ 1.
 972 <]]kind[[> for 'S' @ 1.
 973 ]],
 974 [[Starting parse
 975 Entering state 0
 976 Reducing stack by rule 1 (line 46):
 977 -> $$ = nterm start (1.1-1.1: <]]kind[[> for 'S' @ 1)
 978 Stack now 0
 979 Entering state 1
 980 Reading a token: Now at end of input.
 981 Shifting token END (1.1-1.1: <]]kind[[> for 'E' @ 1)
 982 Entering state 2
 983 Stack now 0 1 2
 984 Cleanup: popping token END (1.1-1.1: <]]kind[[> for 'E' @ 1)
 985 Cleanup: popping nterm start (1.1-1.1: <]]kind[[> for 'S' @ 1)
 986 ]])
 987
 988 m4_popdef([kind])
 989 m4_popdef([not_kind])
 990 ])
 991
 992 _AT_CHECK_DEFAULT_PRINTER_AND_DESTRUCTOR_FOR_END_TOKEN(0)
 993 _AT_CHECK_DEFAULT_PRINTER_AND_DESTRUCTOR_FOR_END_TOKEN(1)
 994
 995 AT_CLEANUP
 996
 997
 998
 999 ## ------------------------------------------------------------------ ##
1000 ## Default %printer and %destructor are not for error or $undefined.  ##
1001 ## ------------------------------------------------------------------ ##
1002
1003 AT_SETUP([Default %printer and %destructor are not for error or $undefined])
1004
1005 # If Bison were to apply the default %printer and %destructor to the error
1006 # token or to $undefined:
1007 #   - For the error token:
1008 #     - It would generate warnings for unused $n.
1009 #     - It would invoke the %printer and %destructor on the error token's
1010 #       semantic value, which would be initialized from the lookahead, which
1011 #       would be destroyed separately.
1012 #   - For $undefined, who knows what the semantic value would be.
1013
1014 AT_DATA_GRAMMAR([[input.y]],
1015 [[%debug
1016
1017 %{
1018 # include <stdio.h>
1019 # include <stdlib.h>
1020   static void yyerror (const char *msg);
1021   static int yylex (void);
1022 # define USE(SYM)
1023 %}
1024
1025 %printer {
1026   fprintf (yyoutput, "'%c'", $$);
1027 } <> <*>
1028 %destructor {
1029   fprintf (stderr, "DESTROY '%c'\n", $$);
1030 } <> <*>
1031
1032 %%
1033
1034 start:
1035   { $$ = 'S'; }
1036   /* In order to reveal the problems that this bug caused during parsing, add
1037    * $2 to USE.  */
1038   | 'a' error 'b' 'c' { USE(($1, $3, $4)); $$ = 'S'; }
1039   ;
1040
1041 %%
1042
1043 static int
1044 yylex (void)
1045 {
1046   static char const input[] = "abd";
1047   static size_t toknum;
1048   if (! (toknum < sizeof input))
1049     abort ();
1050   yylval = input[toknum++];
1051   return yylval;
1052 }
1053
1054 static void
1055 yyerror (const char *msg)
1056 {
1057   fprintf (stderr, "%s\n", msg);
1058 }
1059
1060 int
1061 main (void)
1062 {
1063   yydebug = 1;
1064   return yyparse ();
1065 }
1066 ]])
1067
1068 AT_BISON_CHECK([-o input.c input.y])
1069 AT_COMPILE([input])
1070 AT_PARSER_CHECK([./input], [1], [],
1071 [[Starting parse
1072 Entering state 0
1073 Reading a token: Next token is token 'a' ('a')
1074 Shifting token 'a' ('a')
1075 Entering state 1
1076 Reading a token: Next token is token 'b' ('b')
1077 syntax error
1078 Shifting token error ()
1079 Entering state 3
1080 Next token is token 'b' ('b')
1081 Shifting token 'b' ('b')
1082 Entering state 5
1083 Reading a token: Next token is token $undefined ()
1084 Error: popping token 'b' ('b')
1085 DESTROY 'b'
1086 Stack now 0 1 3
1087 Error: popping token error ()
1088 Stack now 0 1
1089 Shifting token error ()
1090 Entering state 3
1091 Next token is token $undefined ()
1092 Error: discarding token $undefined ()
1093 Error: popping token error ()
1094 Stack now 0 1
1095 Shifting token error ()
1096 Entering state 3
1097 Reading a token: Now at end of input.
1098 Cleanup: discarding lookahead token $end ()
1099 Stack now 0 1 3
1100 Cleanup: popping token error ()
1101 Cleanup: popping token 'a' ('a')
1102 DESTROY 'a'
1103 ]])
1104
1105 AT_CLEANUP
1106
1107
1108
1109 ## ------------------------------------------------------ ##
1110 ## Default %printer and %destructor are not for $accept.  ##
1111 ## ------------------------------------------------------ ##
1112
1113 AT_SETUP([Default %printer and %destructor are not for $accept])
1114
1115 # If YYSTYPE is a union and Bison were to apply the default %printer and
1116 # %destructor to $accept:
1117 #   - The %printer and %destructor code generated for $accept would always be
1118 #     dead code because $accept is currently never shifted onto the stack.
1119 #   - $$ for $accept would always be of type YYSTYPE because it's not possible
1120 #     to declare `%type <field> $accept'.  (Also true for $undefined.)
1121 #   - Thus, the compiler might complain that the user code assumes the wrong
1122 #     type for $$ since the code might assume the type associated with a
1123 #     specific union field, which is especially reasonable in C++ since that
1124 #     type may be a base type.  This test case checks for this problem.  (Also
1125 #     true for $undefined and the error token, so there are three warnings for
1126 #     %printer and three for %destructor.)
1127
1128 AT_DATA_GRAMMAR([[input.y]],
1129 [[%debug /* So that %printer is actually compiled.  */
1130
1131 %{
1132 # include <stdio.h>
1133 # include <stdlib.h>
1134   static void yyerror (const char *msg);
1135   static int yylex (void);
1136 # define USE(SYM)
1137 %}
1138
1139 %printer {
1140   char chr = $$;
1141   fprintf (yyoutput, "'%c'", chr);
1142 } <> <*>
1143 %destructor {
1144   char chr = $$;
1145   fprintf (stderr, "DESTROY '%c'\n", chr);
1146 } <> <*>
1147
1148 %union { char chr; }
1149 %type <chr> start
1150
1151 %%
1152
1153 start: { USE($$); } ;
1154
1155 %%
1156
1157 static int
1158 yylex (void)
1159 {
1160   static int called;
1161   if (called++)
1162     abort ();
1163   return 0;
1164 }
1165
1166 static void
1167 yyerror (const char *msg)
1168 {
1169   fprintf (stderr, "%s\n", msg);
1170 }
1171
1172 int
1173 main (void)
1174 {
1175   return yyparse ();
1176 }
1177 ]])
1178
1179 AT_BISON_CHECK([-o input.c input.y])
1180 AT_COMPILE([input])
1181
1182 AT_CLEANUP
1183
1184
1185
1186 ## ------------------------------------------------------ ##
1187 ## Default %printer and %destructor for mid-rule values.  ##
1188 ## ------------------------------------------------------ ##
1189
1190 AT_SETUP([Default %printer and %destructor for mid-rule values])
1191
1192 AT_DATA_GRAMMAR([[input.y]],
1193 [[%debug /* So that %printer is actually compiled.  */
1194
1195 %{
1196 # include <stdio.h>
1197 # include <stdlib.h>
1198   static void yyerror (const char *msg);
1199   static int yylex (void);
1200 # define USE(SYM)
1201 # define YYLTYPE int
1202 # define YYLLOC_DEFAULT(Current, Rhs, N)
1203 # define YY_LOCATION_PRINT(File, Loc)
1204 %}
1205
1206 %printer { fprintf (yyoutput, "%d", @$); } <>
1207 %destructor { fprintf (stderr, "DESTROY %d\n", @$); } <>
1208 %printer { fprintf (yyoutput, "<*> printer should not be called"); } <*>
1209 %destructor { fprintf (yyoutput, "<*> destructor should not be called"); } <*>
1210
1211 %%
1212
1213 start:
1214   {           @$ = 1; } // Not set or used.
1215   { USE ($$); @$ = 2; } // Both set and used.
1216   { USE ($$); @$ = 3; } // Only set.
1217   {           @$ = 4; } // Only used.
1218   'c'
1219   { USE (($$, $2, $4, $5)); @$ = 0; }
1220   ;
1221
1222 %%
1223
1224 static int
1225 yylex (void)
1226 {
1227   static int called;
1228   if (called++)
1229     abort ();
1230   return 0;
1231 }
1232
1233 static void
1234 yyerror (const char *msg)
1235 {
1236   fprintf (stderr, "%s\n", msg);
1237 }
1238
1239 int
1240 main (void)
1241 {
1242   yydebug = 1;
1243   return yyparse ();
1244 }
1245 ]])
1246
1247 AT_BISON_CHECK([-o input.c input.y], 0,,
1248 [[input.y:33.3-23: warning: unset value: $$
1249 input.y:30.3-35.37: warning: unused value: $3
1250 ]])
1251
1252 AT_COMPILE([input])
1253 AT_PARSER_CHECK([./input], 1,,
1254 [[Starting parse
1255 Entering state 0
1256 Reducing stack by rule 1 (line 30):
1257 -> $$ = nterm $@1 (: )
1258 Stack now 0
1259 Entering state 2
1260 Reducing stack by rule 2 (line 31):
1261 -> $$ = nterm @2 (: 2)
1262 Stack now 0 2
1263 Entering state 4
1264 Reducing stack by rule 3 (line 32):
1265 -> $$ = nterm @3 (: 3)
1266 Stack now 0 2 4
1267 Entering state 5
1268 Reducing stack by rule 4 (line 33):
1269 -> $$ = nterm @4 (: 4)
1270 Stack now 0 2 4 5
1271 Entering state 6
1272 Reading a token: Now at end of input.
1273 syntax error
1274 Error: popping nterm @4 (: 4)
1275 DESTROY 4
1276 Stack now 0 2 4 5
1277 Error: popping nterm @3 (: 3)
1278 DESTROY 3
1279 Stack now 0 2 4
1280 Error: popping nterm @2 (: 2)
1281 DESTROY 2
1282 Stack now 0 2
1283 Error: popping nterm $@1 (: )
1284 Stack now 0
1285 Cleanup: discarding lookahead token $end (: )
1286 Stack now 0
1287 ]])
1288
1289 AT_CLEANUP
1290
1291
1292 ## ----------------------- ##
1293 ## @$ implies %locations.  ##
1294 ## ----------------------- ##
1295
1296 # Bison once forgot to check for @$ in actions other than semantic actions.
1297
1298 # AT_CHECK_ACTION_LOCATIONS(ACTION-DIRECTIVE)
1299 # -------------------------------------------------------
1300 m4_define([AT_CHECK_ACTION_LOCATIONS],
1301 [AT_SETUP([[@$ in ]$1[ implies %locations]])
1302
1303 AT_DATA_GRAMMAR([[input.y]],
1304 [[%code {
1305   #include <stdio.h>
1306   static int yylex (void);
1307   static void yyerror (char const *msg);
1308 }
1309
1310 %debug
1311
1312 ]$1[ {
1313   printf ("%d\n", @$.first_line);
1314 } ]m4_if($1, [%initial-action], [], [[start]])[
1315
1316 %%
1317
1318 start:  ;
1319
1320 %%
1321
1322 static int
1323 yylex (void)
1324 {
1325   return 0;
1326 }
1327
1328 static void
1329 yyerror (char const *msg)
1330 {
1331   fprintf (stderr, "%s\n", msg);
1332 }
1333
1334 int
1335 main (void)
1336 {
1337   return yyparse ();
1338 }
1339 ]])
1340
1341 AT_BISON_CHECK([[-o input.c input.y]])
1342 AT_COMPILE([[input]])
1343
1344 AT_CLEANUP])
1345
1346 AT_CHECK_ACTION_LOCATIONS([[%initial-action]])
1347 AT_CHECK_ACTION_LOCATIONS([[%destructor]])
1348 AT_CHECK_ACTION_LOCATIONS([[%printer]])
1349
1350
1351 ## ----------------------------------------------- ##
1352 ## Fix user actions without a trailing semicolon.  ##
1353 ## ----------------------------------------------- ##
1354
1355 AT_SETUP([[Fix user actions without a trailing semicolon]])
1356
1357 # This feature is undocumented, but we accidentally broke it in 2.3a,
1358 # and there was a complaint at:
1359 # <http://lists.gnu.org/archive/html/bug-bison/2008-11/msg00001.html>.
1360
1361 AT_DATA([input.y],
1362 [[%%
1363 start: test2 test1 test0 testc;
1364
1365 test2
1366 : 'a' { semi;                   /* TEST:N:2 */ }
1367 | 'b' { if (0) {no_semi}        /* TEST:N:2 */ }
1368 | 'c' { if (0) {semi;}          /* TEST:N:2 */ }
1369 | 'd' { semi;   no_semi         /* TEST:Y:2 */ }
1370 | 'e' { semi(); no_semi()       /* TEST:Y:2 */ }
1371 | 'f' { semi[]; no_semi[]       /* TEST:Y:2 */ }
1372 | 'g' { semi++; no_semi++       /* TEST:Y:2 */ }
1373 | 'h' { {no_semi} no_semi       /* TEST:Y:2 */ }
1374 | 'i' { {semi;}   no_semi       /* TEST:Y:2 */ }
1375 ;
1376 test1
1377   : 'a' { semi;                 // TEST:N:1 ;
1378 } | 'b' { if (0) {no_semi}      // TEST:N:1 ;
1379 } | 'c' { if (0) {semi;}        // TEST:N:1 ;
1380 } | 'd' { semi;   no_semi       // TEST:Y:1 ;
1381 } | 'e' { semi(); no_semi()     // TEST:Y:1 ;
1382 } | 'f' { semi[]; no_semi[]     // TEST:Y:1 ;
1383 } | 'g' { semi++; no_semi++     // TEST:Y:1 ;
1384 } | 'h' { {no_semi} no_semi     // TEST:Y:1 ;
1385 } | 'i' { {semi;}   no_semi     // TEST:Y:1 ;
1386 } ;
1387 test0
1388   : 'a' { semi;                 // TEST:N:1 {}
1389 } | 'b' { if (0) {no_semi}      // TEST:N:1 {}
1390 } | 'c' { if (0) {semi;}        // TEST:N:1 {}
1391 } | 'd' { semi;   no_semi       // TEST:Y:1 {}
1392 } | 'e' { semi(); no_semi()     // TEST:Y:1 {}
1393 } | 'f' { semi[]; no_semi[]     // TEST:Y:1 {}
1394 } | 'g' { semi++; no_semi++     // TEST:Y:1 {}
1395 } | 'h' { {no_semi} no_semi     // TEST:Y:1 {}
1396 } | 'i' { {semi;}   no_semi     // TEST:Y:1 {}
1397 } ;
1398
1399 testc
1400 : 'a' {
1401 #define TEST_MACRO_N \
1402 []"broken\" $ @ $$ @$ [];\
1403 string;"}
1404 | 'b' {
1405 no_semi
1406 #define TEST_MACRO_N \
1407 []"broken\" $ @ $$ @$ [];\
1408 string;"}
1409 ]])
1410
1411 AT_BISON_CHECK([[-o input.c input.y]], [0], [],
1412 [[input.y:8.48: warning: a `;' might be needed at the end of action code
1413 input.y:8.48: warning: future versions of Bison will not add the `;'
1414 input.y:9.48: warning: a `;' might be needed at the end of action code
1415 input.y:9.48: warning: future versions of Bison will not add the `;'
1416 input.y:10.48: warning: a `;' might be needed at the end of action code
1417 input.y:10.48: warning: future versions of Bison will not add the `;'
1418 input.y:11.48: warning: a `;' might be needed at the end of action code
1419 input.y:11.48: warning: future versions of Bison will not add the `;'
1420 input.y:12.48: warning: a `;' might be needed at the end of action code
1421 input.y:12.48: warning: future versions of Bison will not add the `;'
1422 input.y:13.48: warning: a `;' might be needed at the end of action code
1423 input.y:13.48: warning: future versions of Bison will not add the `;'
1424 input.y:20.1: warning: a `;' might be needed at the end of action code
1425 input.y:20.1: warning: future versions of Bison will not add the `;'
1426 input.y:21.1: warning: a `;' might be needed at the end of action code
1427 input.y:21.1: warning: future versions of Bison will not add the `;'
1428 input.y:22.1: warning: a `;' might be needed at the end of action code
1429 input.y:22.1: warning: future versions of Bison will not add the `;'
1430 input.y:23.1: warning: a `;' might be needed at the end of action code
1431 input.y:23.1: warning: future versions of Bison will not add the `;'
1432 input.y:24.1: warning: a `;' might be needed at the end of action code
1433 input.y:24.1: warning: future versions of Bison will not add the `;'
1434 input.y:25.1: warning: a `;' might be needed at the end of action code
1435 input.y:25.1: warning: future versions of Bison will not add the `;'
1436 input.y:31.1: warning: a `;' might be needed at the end of action code
1437 input.y:31.1: warning: future versions of Bison will not add the `;'
1438 input.y:32.1: warning: a `;' might be needed at the end of action code
1439 input.y:32.1: warning: future versions of Bison will not add the `;'
1440 input.y:33.1: warning: a `;' might be needed at the end of action code
1441 input.y:33.1: warning: future versions of Bison will not add the `;'
1442 input.y:34.1: warning: a `;' might be needed at the end of action code
1443 input.y:34.1: warning: future versions of Bison will not add the `;'
1444 input.y:35.1: warning: a `;' might be needed at the end of action code
1445 input.y:35.1: warning: future versions of Bison will not add the `;'
1446 input.y:36.1: warning: a `;' might be needed at the end of action code
1447 input.y:36.1: warning: future versions of Bison will not add the `;'
1448 ]])
1449
1450 AT_MATCHES_CHECK([input.c], [[/\* TEST:N:2 \*/ \}$]],       [[3]])
1451 AT_MATCHES_CHECK([input.c], [[/\* TEST:Y:2 \*/ ;\}$]],      [[6]])
1452 AT_MATCHES_CHECK([input.c], [[// TEST:N:1 [;{}]*\n\}$]],    [[6]])
1453 AT_MATCHES_CHECK([input.c], [[// TEST:Y:1 [;{}]*\n;\}$]],  [[12]])
1454 AT_MATCHES_CHECK([input.c], [[#define TEST_MACRO_N \\\n\[\]"broken\\" \$ \@ \$\$ \@\$ \[\];\\\nstring;"\}]], [[2]])
1455
1456 AT_CLEANUP
1457
1458
1459 ## -------------------------------------------------- ##
1460 ## Destroying lookahead assigned by semantic action.  ##
1461 ## -------------------------------------------------- ##
1462
1463 AT_SETUP([[Destroying lookahead assigned by semantic action]])
1464
1465 AT_DATA_GRAMMAR([input.y],
1466 [[
1467 %code {
1468   #include <assert.h>
1469   #include <stdio.h>
1470   static void yyerror (char const *);
1471   static int yylex (void);
1472   #define USE(Var)
1473 }
1474
1475 %destructor { fprintf (stderr, "'a' destructor\n"); } 'a'
1476 %destructor { fprintf (stderr, "'b' destructor\n"); } 'b'
1477
1478 %%
1479
1480 // In a previous version of Bison, yychar assigned by the semantic
1481 // action below was not translated into yytoken before the lookahead was
1482 // discarded and thus before its destructor (selected according to
1483 // yytoken) was called in order to return from yyparse.  This would
1484 // happen even if YYACCEPT was performed in a later semantic action as
1485 // long as only consistent states with default reductions were visited
1486 // in between.  However, we leave YYACCEPT in the same semantic action
1487 // for this test in order to show that skeletons cannot simply translate
1488 // immediately after every semantic action because a semantic action
1489 // that has set yychar might not always return normally.  Instead,
1490 // skeletons must translate before every use of yytoken.
1491 start: 'a' accept { USE($1); } ;
1492 accept: /*empty*/ {
1493   assert (yychar == YYEMPTY);
1494   yychar = 'b';
1495   YYACCEPT;
1496 } ;
1497
1498 %%
1499
1500 static void
1501 yyerror (char const *msg)
1502 {
1503   fprintf (stderr, "%s\n", msg);
1504 }
1505
1506 static int
1507 yylex (void)
1508 {
1509   static char const *input = "a";
1510   return *input++;
1511 }
1512
1513 int
1514 main (void)
1515 {
1516   return yyparse ();
1517 }
1518 ]])
1519
1520 AT_BISON_CHECK([[-o input.c input.y]])
1521 AT_COMPILE([[input]])
1522 AT_PARSER_CHECK([[./input]], [[0]], [],
1523 [['b' destructor
1524 'a' destructor
1525 ]])
1526
1527 AT_CLEANUP