tests/actions.at

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