tests/regression.at

   1 # Bison Regressions.                               -*- Autotest -*-
   2
   3 # Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006 Free Software
   4 # Foundation, Inc.
   5
   6 # This program is free software; you can redistribute it and/or modify
   7 # it under the terms of the GNU General Public License as published by
   8 # the Free Software Foundation; either version 2, or (at your option)
   9 # any later version.
  10
  11 # This program is distributed in the hope that it will be useful,
  12 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  13 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  14 # GNU General Public License for more details.
  15
  16 # You should have received a copy of the GNU General Public License
  17 # along with this program; if not, write to the Free Software
  18 # Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
  19 # 02110-1301, USA.
  20
  21 AT_BANNER([[Regression tests.]])
  22
  23
  24 ## ------------------ ##
  25 ## Trivial grammars.  ##
  26 ## ------------------ ##
  27
  28 AT_SETUP([Trivial grammars])
  29
  30 AT_DATA_GRAMMAR([input.y],
  31 [[%{
  32 void yyerror (char const *);
  33 int yylex (void);
  34 #define YYSTYPE int *
  35 %}
  36
  37 %error-verbose
  38
  39 %%
  40
  41 program: 'x';
  42 ]])
  43
  44 AT_CHECK([bison -o input.c input.y])
  45 AT_COMPILE([input.o], [-c input.c])
  46 AT_COMPILE([input.o], [-DYYDEBUG -c input.c])
  47
  48 AT_CLEANUP
  49
  50
  51
  52 ## ----------------- ##
  53 ## YYSTYPE typedef.  ##
  54 ## ----------------- ##
  55
  56 AT_SETUP([YYSTYPE typedef])
  57
  58 AT_DATA_GRAMMAR([input.y],
  59 [[%{
  60 void yyerror (char const *);
  61 int yylex (void);
  62 typedef union { char const *val; } YYSTYPE;
  63 %}
  64
  65 %type <val> program
  66
  67 %%
  68
  69 program: { $$ = ""; };
  70 ]])
  71
  72 AT_CHECK([bison -o input.c input.y])
  73 AT_COMPILE([input.o], [-c input.c])
  74
  75 AT_CLEANUP
  76
  77
  78
  79 ## ------------------------------------- ##
  80 ## Early token definitions with --yacc.  ##
  81 ## ------------------------------------- ##
  82
  83
  84 AT_SETUP([Early token definitions with --yacc])
  85
  86 # Found in GCJ: they expect the tokens to be defined before the user
  87 # prologue, so that they can use the token definitions in it.
  88
  89 AT_DATA_GRAMMAR([input.y],
  90 [[%{
  91 void yyerror (const char *s);
  92 int yylex (void);
  93 %}
  94
  95 %union
  96 {
  97   int val;
  98 };
  99 %{
 100 #ifndef MY_TOKEN
 101 # error "MY_TOKEN not defined."
 102 #endif
 103 %}
 104 %token MY_TOKEN
 105 %%
 106 exp: MY_TOKEN;
 107 %%
 108 ]])
 109
 110 AT_CHECK([bison -y -o input.c input.y])
 111 AT_COMPILE([input.o], [-c input.c])
 112
 113 AT_CLEANUP
 114
 115
 116
 117 ## ---------------------------------------- ##
 118 ## Early token definitions without --yacc.  ##
 119 ## ---------------------------------------- ##
 120
 121
 122 AT_SETUP([Early token definitions without --yacc])
 123
 124 # Found in GCJ: they expect the tokens to be defined before the user
 125 # prologue, so that they can use the token definitions in it.
 126
 127 AT_DATA_GRAMMAR([input.y],
 128 [[%{
 129 #include <stdio.h>
 130 void yyerror (const char *s);
 131 int yylex (void);
 132 void print_my_token (void);
 133 %}
 134
 135 %union
 136 {
 137   int val;
 138 };
 139 %{
 140 void
 141 print_my_token (void)
 142 {
 143   enum yytokentype my_token = MY_TOKEN;
 144   printf ("%d\n", my_token);
 145 }
 146 %}
 147 %token MY_TOKEN
 148 %%
 149 exp: MY_TOKEN;
 150 %%
 151 ]])
 152
 153 AT_CHECK([bison -o input.c input.y])
 154 AT_COMPILE([input.o], [-c input.c])
 155
 156 AT_CLEANUP
 157
 158
 159
 160 ## ---------------- ##
 161 ## Braces parsing.  ##
 162 ## ---------------- ##
 163
 164
 165 AT_SETUP([Braces parsing])
 166
 167 AT_DATA([input.y],
 168 [[/* Bison used to swallow the character after `}'. */
 169
 170 %%
 171 exp: { tests = {{{{{{{{{{}}}}}}}}}}; };
 172 %%
 173 ]])
 174
 175 AT_CHECK([bison -v -o input.c input.y])
 176
 177 AT_CHECK([grep 'tests = {{{{{{{{{{}}}}}}}}}};' input.c], 0, [ignore])
 178
 179 AT_CLEANUP
 180
 181
 182 ## ------------------ ##
 183 ## Duplicate string.  ##
 184 ## ------------------ ##
 185
 186
 187 AT_SETUP([Duplicate string])
 188
 189 AT_DATA([input.y],
 190 [[/* `Bison -v' used to dump core when two tokens are defined with the same
 191    string, as LE and GE below. */
 192
 193 %token NUM
 194 %token LE "<="
 195 %token GE "<="
 196
 197 %%
 198 exp: '(' exp ')' | NUM ;
 199 %%
 200 ]])
 201
 202 AT_CHECK([bison -v -o input.c input.y], 0, [],
 203 [[input.y:6.8-14: warning: symbol `"<="' used more than once as a literal string
 204 ]])
 205
 206 AT_CLEANUP
 207
 208
 209 ## ------------------- ##
 210 ## Rule Line Numbers.  ##
 211 ## ------------------- ##
 212
 213 AT_SETUP([Rule Line Numbers])
 214
 215 AT_KEYWORDS([report])
 216
 217 AT_DATA([input.y],
 218 [[%%
 219 expr:
 220 'a'
 221
 222 {
 223
 224 }
 225
 226 'b'
 227
 228 {
 229
 230 }
 231
 232 |
 233
 234
 235 {
 236
 237
 238 }
 239
 240 'c'
 241
 242 {
 243
 244 };
 245 ]])
 246
 247 AT_CHECK([bison -o input.c -v input.y])
 248
 249 # Check the contents of the report.
 250 AT_CHECK([cat input.output], [],
 251 [[Grammar
 252
 253     0 $accept: expr $end
 254
 255     1 @1: /* empty */
 256
 257     2 expr: 'a' @1 'b'
 258
 259     3 @2: /* empty */
 260
 261     4 expr: @2 'c'
 262
 263
 264 Terminals, with rules where they appear
 265
 266 $end (0) 0
 267 'a' (97) 2
 268 'b' (98) 2
 269 'c' (99) 4
 270 error (256)
 271
 272
 273 Nonterminals, with rules where they appear
 274
 275 $accept (6)
 276     on left: 0
 277 expr (7)
 278     on left: 2 4, on right: 0
 279 @1 (8)
 280     on left: 1, on right: 2
 281 @2 (9)
 282     on left: 3, on right: 4
 283
 284
 285 state 0
 286
 287     0 $accept: . expr $end
 288
 289     'a'  shift, and go to state 1
 290
 291     $default  reduce using rule 3 (@2)
 292
 293     expr  go to state 2
 294     @2    go to state 3
 295
 296
 297 state 1
 298
 299     2 expr: 'a' . @1 'b'
 300
 301     $default  reduce using rule 1 (@1)
 302
 303     @1  go to state 4
 304
 305
 306 state 2
 307
 308     0 $accept: expr . $end
 309
 310     $end  shift, and go to state 5
 311
 312
 313 state 3
 314
 315     4 expr: @2 . 'c'
 316
 317     'c'  shift, and go to state 6
 318
 319
 320 state 4
 321
 322     2 expr: 'a' @1 . 'b'
 323
 324     'b'  shift, and go to state 7
 325
 326
 327 state 5
 328
 329     0 $accept: expr $end .
 330
 331     $default  accept
 332
 333
 334 state 6
 335
 336     4 expr: @2 'c' .
 337
 338     $default  reduce using rule 4 (expr)
 339
 340
 341 state 7
 342
 343     2 expr: 'a' @1 'b' .
 344
 345     $default  reduce using rule 2 (expr)
 346 ]])
 347
 348 AT_CLEANUP
 349
 350
 351
 352 ## ---------------------- ##
 353 ## Mixing %token styles.  ##
 354 ## ---------------------- ##
 355
 356
 357 AT_SETUP([Mixing %token styles])
 358
 359 # Taken from the documentation.
 360 AT_DATA([input.y],
 361 [[%token  <operator>  OR      "||"
 362 %token  <operator>  LE 134  "<="
 363 %left  OR  "<="
 364 %%
 365 exp: ;
 366 %%
 367 ]])
 368
 369 AT_CHECK([bison -v -o input.c input.y])
 370
 371 AT_CLEANUP
 372
 373
 374
 375 ## ---------------- ##
 376 ## Invalid inputs.  ##
 377 ## ---------------- ##
 378
 379
 380 AT_SETUP([Invalid inputs])
 381
 382 AT_DATA([input.y],
 383 [[%%
 384 ?
 385 default: 'a' }
 386 %&
 387 %a-does-not-exist
 388 %-
 389 %{
 390 ]])
 391
 392 AT_CHECK([bison input.y], [1], [],
 393 [[input.y:2.1: invalid character: `?'
 394 input.y:3.14: invalid character: `}'
 395 input.y:4.1: invalid character: `%'
 396 input.y:4.2: invalid character: `&'
 397 input.y:5.1-17: invalid directive: `%a-does-not-exist'
 398 input.y:6.1: invalid character: `%'
 399 input.y:6.2: invalid character: `-'
 400 input.y:7.1-8.0: missing `%}' at end of file
 401 input.y:7.1-8.0: syntax error, unexpected %{...%}
 402 ]])
 403
 404 AT_CLEANUP
 405
 406
 407 AT_SETUP([Invalid inputs with {}])
 408
 409 AT_DATA([input.y],
 410 [[
 411 %destructor
 412 %initial-action
 413 %lex-param
 414 %parse-param
 415 %printer
 416 %union
 417 ]])
 418
 419 AT_CHECK([bison input.y], [1], [],
 420 [[input.y:3.1-15: syntax error, unexpected %initial-action, expecting {...}
 421 ]])
 422
 423 AT_CLEANUP
 424
 425
 426
 427 ## ------------------- ##
 428 ## Token definitions.  ##
 429 ## ------------------- ##
 430
 431
 432 AT_SETUP([Token definitions])
 433
 434 # Bison managed, when fed with `%token 'f' "f"' to #define 'f'!
 435 AT_DATA_GRAMMAR([input.y],
 436 [%{
 437 #include <stdlib.h>
 438 #include <stdio.h>
 439 void yyerror (const char *s);
 440 int yylex (void);
 441 %}
 442 [%error-verbose
 443 %token MYEOF 0 "end of file"
 444 %token 'a' "a"
 445 %token B_TOKEN "b"
 446 %token C_TOKEN 'c'
 447 %token 'd' D_TOKEN
 448 %token SPECIAL "\\\'\?\"\a\b\f\n\r\t\v\001\201\x001\x000081??!"
 449 %%
 450 exp: "a" "\\\'\?\"\a\b\f\n\r\t\v\001\201\x001\x000081??!";
 451 %%
 452 void
 453 yyerror (char const *s)
 454 {
 455   fprintf (stderr, "%s\n", s);
 456 }
 457
 458 int
 459 yylex (void)
 460 {
 461   static int called;
 462   if (called++)
 463     abort ();
 464   return SPECIAL;
 465 }
 466
 467 int
 468 main (void)
 469 {
 470   return yyparse ();
 471 }
 472 ]])
 473
 474 AT_CHECK([bison -o input.c input.y])
 475 AT_COMPILE([input])
 476 AT_DATA([experr],
 477 [[syntax error, unexpected "\\'?\"\a\b\f\n\r\t\v\001\201\001\201?\?!", expecting a
 478 ]])
 479 AT_PARSER_CHECK([./input], 1, [], [experr])
 480 AT_CLEANUP
 481
 482
 483
 484 ## -------------------- ##
 485 ## Characters Escapes.  ##
 486 ## -------------------- ##
 487
 488
 489 AT_SETUP([Characters Escapes])
 490
 491 AT_DATA_GRAMMAR([input.y],
 492 [%{
 493 void yyerror (const char *s);
 494 int yylex (void);
 495 %}
 496 [%%
 497 exp:
 498   '\'' "\'"
 499 | '\"' "\""
 500 | '"'  "'"
 501 ;
 502 ]])
 503 # Pacify font-lock-mode: "
 504
 505 AT_CHECK([bison -o input.c input.y])
 506 AT_COMPILE([input.o], [-c input.c])
 507 AT_CLEANUP
 508
 509
 510
 511 ## -------------- ##
 512 ## Web2c Report.  ##
 513 ## -------------- ##
 514
 515 # The generation of the reduction was once wrong in Bison, and made it
 516 # miss some reductions.  In the following test case, the reduction on
 517 # `undef_id_tok' in state 1 was missing.  This is stripped down from
 518 # the actual web2c.y.
 519
 520 AT_SETUP([Web2c Report])
 521
 522 AT_KEYWORDS([report])
 523
 524 AT_DATA([input.y],
 525 [[%token        undef_id_tok const_id_tok
 526
 527 %start CONST_DEC_PART
 528 \f
 529 %%
 530 CONST_DEC_PART:
 531          CONST_DEC_LIST
 532         ;
 533
 534 CONST_DEC_LIST:
 535           CONST_DEC
 536         | CONST_DEC_LIST CONST_DEC
 537         ;
 538
 539 CONST_DEC:
 540           { } undef_id_tok '=' const_id_tok ';'
 541         ;
 542 %%
 543 ]])
 544
 545 AT_CHECK([bison -v input.y])
 546 AT_CHECK([cat input.output], 0,
 547 [[Grammar
 548
 549     0 $accept: CONST_DEC_PART $end
 550
 551     1 CONST_DEC_PART: CONST_DEC_LIST
 552
 553     2 CONST_DEC_LIST: CONST_DEC
 554     3               | CONST_DEC_LIST CONST_DEC
 555
 556     4 @1: /* empty */
 557
 558     5 CONST_DEC: @1 undef_id_tok '=' const_id_tok ';'
 559
 560
 561 Terminals, with rules where they appear
 562
 563 $end (0) 0
 564 ';' (59) 5
 565 '=' (61) 5
 566 error (256)
 567 undef_id_tok (258) 5
 568 const_id_tok (259) 5
 569
 570
 571 Nonterminals, with rules where they appear
 572
 573 $accept (7)
 574     on left: 0
 575 CONST_DEC_PART (8)
 576     on left: 1, on right: 0
 577 CONST_DEC_LIST (9)
 578     on left: 2 3, on right: 1 3
 579 CONST_DEC (10)
 580     on left: 5, on right: 2 3
 581 @1 (11)
 582     on left: 4, on right: 5
 583
 584
 585 state 0
 586
 587     0 $accept: . CONST_DEC_PART $end
 588
 589     $default  reduce using rule 4 (@1)
 590
 591     CONST_DEC_PART  go to state 1
 592     CONST_DEC_LIST  go to state 2
 593     CONST_DEC       go to state 3
 594     @1              go to state 4
 595
 596
 597 state 1
 598
 599     0 $accept: CONST_DEC_PART . $end
 600
 601     $end  shift, and go to state 5
 602
 603
 604 state 2
 605
 606     1 CONST_DEC_PART: CONST_DEC_LIST .
 607     3 CONST_DEC_LIST: CONST_DEC_LIST . CONST_DEC
 608
 609     undef_id_tok  reduce using rule 4 (@1)
 610     $default      reduce using rule 1 (CONST_DEC_PART)
 611
 612     CONST_DEC  go to state 6
 613     @1         go to state 4
 614
 615
 616 state 3
 617
 618     2 CONST_DEC_LIST: CONST_DEC .
 619
 620     $default  reduce using rule 2 (CONST_DEC_LIST)
 621
 622
 623 state 4
 624
 625     5 CONST_DEC: @1 . undef_id_tok '=' const_id_tok ';'
 626
 627     undef_id_tok  shift, and go to state 7
 628
 629
 630 state 5
 631
 632     0 $accept: CONST_DEC_PART $end .
 633
 634     $default  accept
 635
 636
 637 state 6
 638
 639     3 CONST_DEC_LIST: CONST_DEC_LIST CONST_DEC .
 640
 641     $default  reduce using rule 3 (CONST_DEC_LIST)
 642
 643
 644 state 7
 645
 646     5 CONST_DEC: @1 undef_id_tok . '=' const_id_tok ';'
 647
 648     '='  shift, and go to state 8
 649
 650
 651 state 8
 652
 653     5 CONST_DEC: @1 undef_id_tok '=' . const_id_tok ';'
 654
 655     const_id_tok  shift, and go to state 9
 656
 657
 658 state 9
 659
 660     5 CONST_DEC: @1 undef_id_tok '=' const_id_tok . ';'
 661
 662     ';'  shift, and go to state 10
 663
 664
 665 state 10
 666
 667     5 CONST_DEC: @1 undef_id_tok '=' const_id_tok ';' .
 668
 669     $default  reduce using rule 5 (CONST_DEC)
 670 ]])
 671
 672 AT_CLEANUP
 673
 674
 675 ## --------------- ##
 676 ## Web2c Actions.  ##
 677 ## --------------- ##
 678
 679 # The generation of the mapping `state -> action' was once wrong in
 680 # extremely specific situations.  web2c.y exhibits this situation.
 681 # Below is a stripped version of the grammar.  It looks like one can
 682 # simplify it further, but just don't: it is tuned to exhibit a bug,
 683 # which disapears when applying sane grammar transformations.
 684 #
 685 # It used to be wrong on yydefact only:
 686 #
 687 # static const yytype_uint8 yydefact[] =
 688 #  {
 689 # -       2,     0,     1,     0,     0,     2,     3,     2,     5,     4,
 690 # +       2,     0,     1,     0,     0,     0,     3,     2,     5,     4,
 691 #         0,     0
 692 #  };
 693 #
 694 # but let's check all the tables.
 695
 696
 697 AT_SETUP([Web2c Actions])
 698
 699 AT_KEYWORDS([report])
 700
 701 AT_DATA([input.y],
 702 [[%%
 703 statement:  struct_stat;
 704 struct_stat:  /* empty. */ | if else;
 705 if: "if" "const" "then" statement;
 706 else: "else" statement;
 707 %%
 708 ]])
 709
 710 AT_CHECK([bison -v -o input.c input.y])
 711
 712 # Check only the tables.  We don't use --no-parser, because it is
 713 # still to be implemented in the experimental branch of Bison.
 714 [sed -n 's/  *$//;/^static const.*\[\] =/,/^}/p' input.c >tables.c]
 715
 716 AT_CHECK([[cat tables.c]], 0,
 717 [[static const yytype_uint8 yytranslate[] =
 718 {
 719        0,     2,     2,     2,     2,     2,     2,     2,     2,     2,
 720        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
 721        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
 722        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
 723        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
 724        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
 725        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
 726        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
 727        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
 728        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
 729        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
 730        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
 731        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
 732        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
 733        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
 734        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
 735        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
 736        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
 737        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
 738        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
 739        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
 740        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
 741        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
 742        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
 743        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
 744        2,     2,     2,     2,     2,     2,     1,     2,     3,     4,
 745        5,     6
 746 };
 747 static const yytype_uint8 yyprhs[] =
 748 {
 749        0,     0,     3,     5,     6,     9,    14
 750 };
 751 static const yytype_int8 yyrhs[] =
 752 {
 753        8,     0,    -1,     9,    -1,    -1,    10,    11,    -1,     3,
 754        4,     5,     8,    -1,     6,     8,    -1
 755 };
 756 static const yytype_uint8 yyrline[] =
 757 {
 758        0,     2,     2,     3,     3,     4,     5
 759 };
 760 static const char *const yytname[] =
 761 {
 762   "$end", "error", "$undefined", "\"if\"", "\"const\"", "\"then\"",
 763   "\"else\"", "$accept", "statement", "struct_stat", "if", "else", 0
 764 };
 765 static const yytype_uint16 yytoknum[] =
 766 {
 767        0,   256,   257,   258,   259,   260,   261
 768 };
 769 static const yytype_uint8 yyr1[] =
 770 {
 771        0,     7,     8,     9,     9,    10,    11
 772 };
 773 static const yytype_uint8 yyr2[] =
 774 {
 775        0,     2,     1,     0,     2,     4,     2
 776 };
 777 static const yytype_uint8 yydefact[] =
 778 {
 779        3,     0,     0,     2,     0,     0,     1,     3,     4,     3,
 780        6,     5
 781 };
 782 static const yytype_int8 yydefgoto[] =
 783 {
 784       -1,     2,     3,     4,     8
 785 };
 786 static const yytype_int8 yypact[] =
 787 {
 788       -2,    -1,     4,    -8,     0,     2,    -8,    -2,    -8,    -2,
 789       -8,    -8
 790 };
 791 static const yytype_int8 yypgoto[] =
 792 {
 793       -8,    -7,    -8,    -8,    -8
 794 };
 795 static const yytype_uint8 yytable[] =
 796 {
 797       10,     1,    11,     5,     6,     0,     7,     9
 798 };
 799 static const yytype_int8 yycheck[] =
 800 {
 801        7,     3,     9,     4,     0,    -1,     6,     5
 802 };
 803 static const yytype_uint8 yystos[] =
 804 {
 805        0,     3,     8,     9,    10,     4,     0,     6,    11,     5,
 806        8,     8
 807 };
 808 ]])
 809
 810 AT_CLEANUP
 811
 812
 813 ## ------------------------- ##
 814 ## yycheck Bound Violation.  ##
 815 ## ------------------------- ##
 816
 817
 818 # _AT_DATA_DANCER_Y(BISON-OPTIONS)
 819 # --------------------------------
 820 # The following grammar, taken from Andrew Suffield's GPL'd implementation
 821 # of DGMTP, the Dancer Generic Message Transport Protocol, used to violate
 822 # yycheck's bounds where issuing a verbose error message.  Keep this test
 823 # so that possible bound checking compilers could check all the skeletons.
 824 m4_define([_AT_DATA_DANCER_Y],
 825 [AT_DATA_GRAMMAR([dancer.y],
 826 [%{
 827 static int yylex (AT_LALR1_CC_IF([int *], [void]));
 828 AT_LALR1_CC_IF([],
 829 [#include <stdlib.h>
 830 #include <stdio.h>
 831 static void yyerror (const char *);])
 832 %}
 833 $1
 834 %token ARROW INVALID NUMBER STRING DATA
 835 %defines
 836 %verbose
 837 %error-verbose
 838 /* Grammar follows */
 839 %%
 840 line: header body
 841    ;
 842
 843 header: '<' from ARROW to '>' type ':'
 844    | '<' ARROW to '>' type ':'
 845    | ARROW to type ':'
 846    | type ':'
 847    | '<' '>'
 848    ;
 849
 850 from: DATA
 851    | STRING
 852    | INVALID
 853    ;
 854
 855 to: DATA
 856    | STRING
 857    | INVALID
 858    ;
 859
 860 type: DATA
 861    | STRING
 862    | INVALID
 863    ;
 864
 865 body: /* empty */
 866    | body member
 867    ;
 868
 869 member: STRING
 870    | DATA
 871    | '+' NUMBER
 872    | '-' NUMBER
 873    | NUMBER
 874    | INVALID
 875    ;
 876 %%
 877 AT_LALR1_CC_IF(
 878 [/* A C++ error reporting function. */
 879 void
 880 yy::parser::error (const location&, const std::string& m)
 881 {
 882   std::cerr << m << std::endl;
 883 }
 884
 885 int
 886 yyparse ()
 887 {
 888   yy::parser parser;
 889 #if YYDEBUG
 890   parser.set_debug_level (YYDEBUG);
 891 #endif
 892   return parser.parse ();
 893 }
 894 ],
 895 [static void
 896 yyerror (const char *s)
 897 {
 898   fprintf (stderr, "%s\n", s);
 899 }])
 900
 901 static int
 902 yylex (AT_LALR1_CC_IF([int *lval], [void]))
 903 [{
 904   static int const tokens[] =
 905     {
 906       ':', -1
 907     };
 908   static size_t toknum;
 909   ]AT_LALR1_CC_IF([*lval = 0; /* Pacify GCC.  */])[
 910   if (! (toknum < sizeof tokens / sizeof *tokens))
 911     abort ();
 912   return tokens[toknum++];
 913 }]
 914
 915 int
 916 main (void)
 917 {
 918   return yyparse ();
 919 }
 920 ])
 921 ])# _AT_DATA_DANCER_Y
 922
 923
 924 # AT_CHECK_DANCER(BISON-OPTIONS)
 925 # ------------------------------
 926 # Generate the grammar, compile it, run it.
 927 m4_define([AT_CHECK_DANCER],
 928 [AT_SETUP([Dancer $1])
 929 AT_BISON_OPTION_PUSHDEFS([$1])
 930 _AT_DATA_DANCER_Y([$1])
 931 AT_CHECK([bison -o dancer.c dancer.y])
 932 AT_LALR1_CC_IF(
 933   [AT_CHECK([bison -o dancer.cc dancer.y])
 934    AT_COMPILE_CXX([dancer])],
 935   [AT_CHECK([bison -o dancer.c dancer.y])
 936    AT_COMPILE([dancer])])
 937 AT_PARSER_CHECK([./dancer], 1, [],
 938 [syntax error, unexpected ':'
 939 ])
 940 AT_BISON_OPTION_POPDEFS
 941 AT_CLEANUP
 942 ])
 943
 944 AT_CHECK_DANCER()
 945 AT_CHECK_DANCER([%glr-parser])
 946 AT_CHECK_DANCER([%skeleton "lalr1.cc"])
 947
 948
 949 ## ------------------------------------------ ##
 950 ## Diagnostic that expects two alternatives.  ##
 951 ## ------------------------------------------ ##
 952
 953
 954 # _AT_DATA_EXPECT2_Y(BISON-OPTIONS)
 955 # --------------------------------
 956 m4_define([_AT_DATA_EXPECT2_Y],
 957 [AT_DATA_GRAMMAR([expect2.y],
 958 [%{
 959 static int yylex (AT_LALR1_CC_IF([int *], [void]));
 960 AT_LALR1_CC_IF([],
 961 [#include <stdio.h>
 962 static void yyerror (const char *);])
 963 %}
 964 $1
 965 %defines
 966 %error-verbose
 967 %token A 1000
 968 %token B
 969
 970 %%
 971 program: /* empty */
 972  | program e ';'
 973  | program error ';';
 974
 975 e: e '+' t | t;
 976 t: A | B;
 977
 978 %%
 979 AT_LALR1_CC_IF(
 980 [/* A C++ error reporting function. */
 981 void
 982 yy::parser::error (const location&, const std::string& m)
 983 {
 984   std::cerr << m << std::endl;
 985 }
 986
 987 int
 988 yyparse ()
 989 {
 990   yy::parser parser;
 991   return parser.parse ();
 992 }
 993 ],
 994 [static void
 995 yyerror (const char *s)
 996 {
 997   fprintf (stderr, "%s\n", s);
 998 }])
 999
1000 static int
1001 yylex (AT_LALR1_CC_IF([int *lval], [void]))
1002 [{
1003   static int const tokens[] =
1004     {
1005       1000, '+', '+', -1
1006     };
1007   static size_t toknum;
1008   ]AT_LALR1_CC_IF([*lval = 0; /* Pacify GCC.  */])[
1009   if (! (toknum < sizeof tokens / sizeof *tokens))
1010     abort ();
1011   return tokens[toknum++];
1012 }]
1013
1014 int
1015 main (void)
1016 {
1017   return yyparse ();
1018 }
1019 ])
1020 ])# _AT_DATA_EXPECT2_Y
1021
1022
1023 # AT_CHECK_EXPECT2(BISON-OPTIONS)
1024 # ------------------------------
1025 # Generate the grammar, compile it, run it.
1026 m4_define([AT_CHECK_EXPECT2],
1027 [AT_SETUP([Expecting two tokens $1])
1028 AT_BISON_OPTION_PUSHDEFS([$1])
1029 _AT_DATA_EXPECT2_Y([$1])
1030 AT_CHECK([bison -o expect2.c expect2.y])
1031 AT_LALR1_CC_IF(
1032   [AT_CHECK([bison -o expect2.cc expect2.y])
1033    AT_COMPILE_CXX([expect2])],
1034   [AT_CHECK([bison -o expect2.c expect2.y])
1035    AT_COMPILE([expect2])])
1036 AT_PARSER_CHECK([./expect2], 1, [],
1037 [syntax error, unexpected '+', expecting A or B
1038 ])
1039 AT_BISON_OPTION_POPDEFS
1040 AT_CLEANUP
1041 ])
1042
1043 AT_CHECK_EXPECT2()
1044 AT_CHECK_EXPECT2([%glr-parser])
1045 AT_CHECK_EXPECT2([%skeleton "lalr1.cc"])
1046
1047
1048
1049 ## --------------------------------------------- ##
1050 ## Braced code in declaration in rules section.  ##
1051 ## --------------------------------------------- ##
1052
1053 AT_SETUP([Braced code in declaration in rules section])
1054
1055 # Bison once mistook braced code in a declaration in the rules section to be a
1056 # rule action.
1057
1058 AT_DATA_GRAMMAR([input.y],
1059 [[%{
1060 #include <stdio.h>
1061 static void yyerror (char const *msg);
1062 static int yylex (void);
1063 %}
1064
1065 %error-verbose
1066
1067 %%
1068
1069 start:
1070   {
1071     printf ("Bison would once convert this action to a midrule because of the"
1072             " subsequent braced code.\n");
1073   }
1074   ;
1075
1076 %destructor { fprintf (stderr, "DESTRUCTOR\n"); } 'a';
1077 %printer { fprintf (yyoutput, "PRINTER"); } 'a';
1078
1079 %%
1080
1081 static void
1082 yyerror (char const *msg)
1083 {
1084   fprintf (stderr, "%s\n", msg);
1085 }
1086
1087 static int
1088 yylex (void)
1089 {
1090   return 'a';
1091 }
1092
1093 int
1094 main (void)
1095 {
1096   yydebug = 1;
1097   return !yyparse ();
1098 }
1099 ]])
1100
1101 AT_CHECK([bison -t -o input.c input.y])
1102 AT_COMPILE([input])
1103 AT_PARSER_CHECK([./input], 0,
1104 [[Bison would once convert this action to a midrule because of the subsequent braced code.
1105 ]],
1106 [[Starting parse
1107 Entering state 0
1108 Reducing stack by rule 1 (line 22):
1109 -> $$ = nterm start ()
1110 Stack now 0
1111 Entering state 1
1112 Reading a token: Next token is token 'a' (PRINTER)
1113 syntax error, unexpected 'a', expecting $end
1114 Error: popping nterm start ()
1115 Stack now 0
1116 Cleanup: discarding lookahead token 'a' (PRINTER)
1117 DESTRUCTOR
1118 Stack now 0
1119 ]])
1120
1121 AT_CLEANUP
1122
1123
1124
1125 ## --------------------------------- ##
1126 ## String alias declared after use.  ##
1127 ## --------------------------------- ##
1128
1129 AT_SETUP([String alias declared after use])
1130
1131 # Bison once incorrectly asserted that the symbol number for either a token or
1132 # its alias was the highest symbol number so far at the point of the alias
1133 # declaration.  That was true unless the declaration appeared after their first
1134 # uses and other tokens appeared in between.
1135
1136 AT_DATA([input.y],
1137 [[%%
1138 start: 'a' "A" 'b';
1139 %token 'a' "A";
1140 ]])
1141
1142 AT_CHECK([bison -t -o input.c input.y])
1143
1144 AT_CLEANUP