tests/regression.at

   1 # Bison Regressions.                               -*- Autotest -*-
   2 # Copyright 2001, 2002 Free Software Foundation, Inc.
   3
   4 # This program is free software; you can redistribute it and/or modify
   5 # it under the terms of the GNU General Public License as published by
   6 # the Free Software Foundation; either version 2, or (at your option)
   7 # any later version.
   8
   9 # This program is distributed in the hope that it will be useful,
  10 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  11 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  12 # GNU General Public License for more details.
  13
  14 # You should have received a copy of the GNU General Public License
  15 # along with this program; if not, write to the Free Software
  16 # Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
  17 # 02111-1307, USA.
  18
  19 AT_BANNER([[Regression tests.]])
  20
  21
  22 ## ---------------- ##
  23 ## Braces parsing.  ##
  24 ## ---------------- ##
  25
  26
  27 AT_SETUP([braces parsing])
  28
  29 AT_DATA([input.y],
  30 [[/* Bison used to swallow the character after `}'. */
  31
  32 %%
  33 exp: { tests = {{{{{{{{{{}}}}}}}}}}; };
  34 %%
  35 ]])
  36
  37 AT_CHECK([bison -v input.y -o input.c], 0, ignore, ignore)
  38
  39 AT_CHECK([fgrep 'tests = {{{{{{{{{{}}}}}}}}}};' input.c], 0, [ignore])
  40
  41 AT_CLEANUP
  42
  43
  44 ## ------------------ ##
  45 ## Duplicate string.  ##
  46 ## ------------------ ##
  47
  48
  49 AT_SETUP([Duplicate string])
  50
  51 AT_DATA([input.y],
  52 [[/* `Bison -v' used to dump core when two tokens are defined with the same
  53    string, as LE and GE below. */
  54
  55 %token NUM
  56 %token LE "<="
  57 %token GE "<="
  58
  59 %%
  60 exp: '(' exp ')' | NUM ;
  61 %%
  62 ]])
  63
  64 AT_CHECK([bison -v input.y -o input.c], 0, ignore, ignore)
  65
  66 AT_CLEANUP
  67
  68
  69 ## ------------------- ##
  70 ## Rule Line Numbers.  ##
  71 ## ------------------- ##
  72
  73 AT_SETUP([Rule Line Numbers])
  74
  75 AT_DATA([input.y],
  76 [[%%
  77 expr:
  78 'a'
  79
  80 {
  81
  82 }
  83
  84 'b'
  85
  86 {
  87
  88 }
  89
  90 |
  91
  92
  93 {
  94
  95
  96 }
  97
  98 'c'
  99
 100 {
 101
 102 };
 103 ]])
 104
 105 AT_CHECK([bison input.y -o input.c -v], 0, [], [])
 106
 107 # Check the contents of the report.
 108 AT_CHECK([cat input.output], [],
 109 [[Grammar
 110
 111   Number, Line, Rule
 112     0   2 $axiom -> expr $
 113     1   2 @1 -> /* empty */
 114     2   2 expr -> 'a' @1 'b'
 115     3  15 @2 -> /* empty */
 116     4  15 expr -> @2 'c'
 117
 118
 119 Terminals, with rules where they appear
 120
 121 $ (0) 0
 122 'a' (97) 2
 123 'b' (98) 2
 124 'c' (99) 4
 125 error (256)
 126
 127
 128 Nonterminals, with rules where they appear
 129
 130 $axiom (6)
 131     on left: 0
 132 expr (7)
 133     on left: 2 4, on right: 0
 134 @1 (8)
 135     on left: 1, on right: 2
 136 @2 (9)
 137     on left: 3, on right: 4
 138
 139
 140 state 0
 141
 142     $axiom  ->  . expr $   (rule 0)
 143
 144     'a'         shift, and go to state 1
 145
 146     $default    reduce using rule 3 (@2)
 147
 148     expr        go to state 2
 149     @2          go to state 3
 150
 151
 152
 153 state 1
 154
 155     expr  ->  'a' . @1 'b'   (rule 2)
 156
 157     $default    reduce using rule 1 (@1)
 158
 159     @1          go to state 4
 160
 161
 162
 163 state 2
 164
 165     $axiom  ->  expr . $   (rule 0)
 166
 167     $           shift, and go to state 5
 168
 169
 170
 171 state 3
 172
 173     expr  ->  @2 . 'c'   (rule 4)
 174
 175     'c'         shift, and go to state 6
 176
 177
 178
 179 state 4
 180
 181     expr  ->  'a' @1 . 'b'   (rule 2)
 182
 183     'b'         shift, and go to state 7
 184
 185
 186
 187 state 5
 188
 189     $axiom  ->  expr $ .   (rule 0)
 190
 191     $default    accept
 192
 193
 194 state 6
 195
 196     expr  ->  @2 'c' .   (rule 4)
 197
 198     $default    reduce using rule 4 (expr)
 199
 200
 201
 202 state 7
 203
 204     expr  ->  'a' @1 'b' .   (rule 2)
 205
 206     $default    reduce using rule 2 (expr)
 207
 208
 209
 210 ]])
 211
 212 AT_CLEANUP
 213
 214
 215
 216 ## ---------------------- ##
 217 ## Mixing %token styles.  ##
 218 ## ---------------------- ##
 219
 220
 221 AT_SETUP([Mixing %token styles])
 222
 223 # Taken from the documentation.
 224 AT_DATA([input.y],
 225 [[%token  <operator>  OR      "||"
 226 %token  <operator>  LE 134  "<="
 227 %left  OR  "<="
 228 %%
 229 exp: ;
 230 %%
 231 ]])
 232
 233 AT_CHECK([bison -v input.y -o input.c], 0, ignore, ignore)
 234
 235 AT_CLEANUP
 236
 237
 238
 239 ## ---------------- ##
 240 ## Invalid inputs.  ##
 241 ## ---------------- ##
 242
 243
 244 AT_SETUP([Invalid inputs])
 245
 246 AT_DATA([input.y],
 247 [[%%
 248 ?
 249 default: 'a' }
 250 %{
 251 %&
 252 %a
 253 %-
 254 ]])
 255
 256 AT_CHECK([bison input.y], [1], [],
 257 [[input.y:2: invalid input: `?'
 258 input.y:3: invalid input: `}'
 259 input.y:4: invalid input: `%{'
 260 input.y:5: invalid input: `%&'
 261 input.y:6: invalid input: `%a'
 262 input.y:7: invalid input: `%-'
 263 ]])
 264
 265 AT_CLEANUP
 266
 267
 268
 269 ## -------------------- ##
 270 ## Invalid %directive.  ##
 271 ## -------------------- ##
 272
 273
 274 AT_SETUP([Invalid %directive])
 275
 276 AT_DATA([input.y],
 277 [[%invalid
 278 ]])
 279
 280 AT_CHECK([bison input.y], [1], [],
 281 [[input.y:1: unrecognized: %invalid
 282 input.y:1:    Skipping to next %
 283 input.y:2: fatal error: no input grammar
 284 ]])
 285
 286 AT_CLEANUP
 287
 288
 289
 290 ## ------------------- ##
 291 ## Token definitions.  ##
 292 ## ------------------- ##
 293
 294
 295 AT_SETUP([Token definitions])
 296
 297 # Bison managed, when fed with `%token 'f' "f"' to #define 'f'!
 298 AT_DATA([input.y],
 299 [[%token "end of file"
 300 %token 'a' "a"
 301 %token "b" 'b'
 302 %token "c" c
 303 %token d "d"
 304 %token e 'e'
 305 %token 'f' e
 306 %%
 307 exp: "a";
 308 ]])
 309
 310 AT_CHECK([bison input.y -o input.c])
 311 AT_CHECK([$CC $CFLAGS $CPPFLAGS input.c -c])
 312 AT_CLEANUP
 313
 314
 315
 316 ## -------------- ##
 317 ## Web2c Report.  ##
 318 ## -------------- ##
 319
 320 # The generation of the reduction was once wrong in Bison, and made it
 321 # miss some reductions.  In the following test case, the reduction on
 322 # `undef_id_tok' in state 1 was missing.  This is stripped down from
 323 # the actual web2c.y.
 324
 325 AT_SETUP([Web2c Report])
 326
 327 AT_DATA([input.y],
 328 [[%token        undef_id_tok const_id_tok
 329
 330 %start CONST_DEC_PART
 331 \f
 332 %%
 333 CONST_DEC_PART:
 334          CONST_DEC_LIST
 335         ;
 336
 337 CONST_DEC_LIST:
 338           CONST_DEC
 339         | CONST_DEC_LIST CONST_DEC
 340         ;
 341
 342 CONST_DEC:
 343           { } undef_id_tok '=' const_id_tok ';'
 344         ;
 345 %%
 346
 347 ]])
 348
 349 AT_CHECK([bison -v input.y])
 350
 351 AT_CHECK([sed -n 's/  *$//;/^$/!p' input.output], 0,
 352 [[Grammar
 353   Number, Line, Rule
 354     0   6 $axiom -> CONST_DEC_PART $
 355     1   6 CONST_DEC_PART -> CONST_DEC_LIST
 356     2  10 CONST_DEC_LIST -> CONST_DEC
 357     3  12 CONST_DEC_LIST -> CONST_DEC_LIST CONST_DEC
 358     4  15 @1 -> /* empty */
 359     5  15 CONST_DEC -> @1 undef_id_tok '=' const_id_tok ';'
 360 Terminals, with rules where they appear
 361 $ (0) 0
 362 ';' (59) 5
 363 '=' (61) 5
 364 error (256)
 365 undef_id_tok (258) 5
 366 const_id_tok (259) 5
 367 Nonterminals, with rules where they appear
 368 $axiom (7)
 369     on left: 0
 370 CONST_DEC_PART (8)
 371     on left: 1, on right: 0
 372 CONST_DEC_LIST (9)
 373     on left: 2 3, on right: 1 3
 374 CONST_DEC (10)
 375     on left: 5, on right: 2 3
 376 @1 (11)
 377     on left: 4, on right: 5
 378 state 0
 379     $axiom  ->  . CONST_DEC_PART $   (rule 0)
 380     $default    reduce using rule 4 (@1)
 381     CONST_DEC_PART      go to state 1
 382     CONST_DEC_LIST      go to state 2
 383     CONST_DEC   go to state 3
 384     @1          go to state 4
 385 state 1
 386     $axiom  ->  CONST_DEC_PART . $   (rule 0)
 387     $           shift, and go to state 5
 388 state 2
 389     CONST_DEC_PART  ->  CONST_DEC_LIST .   (rule 1)
 390     CONST_DEC_LIST  ->  CONST_DEC_LIST . CONST_DEC   (rule 3)
 391     undef_id_tok        reduce using rule 4 (@1)
 392     $default    reduce using rule 1 (CONST_DEC_PART)
 393     CONST_DEC   go to state 6
 394     @1          go to state 4
 395 state 3
 396     CONST_DEC_LIST  ->  CONST_DEC .   (rule 2)
 397     $default    reduce using rule 2 (CONST_DEC_LIST)
 398 state 4
 399     CONST_DEC  ->  @1 . undef_id_tok '=' const_id_tok ';'   (rule 5)
 400     undef_id_tok        shift, and go to state 7
 401 state 5
 402     $axiom  ->  CONST_DEC_PART $ .   (rule 0)
 403     $default    accept
 404 state 6
 405     CONST_DEC_LIST  ->  CONST_DEC_LIST CONST_DEC .   (rule 3)
 406     $default    reduce using rule 3 (CONST_DEC_LIST)
 407 state 7
 408     CONST_DEC  ->  @1 undef_id_tok . '=' const_id_tok ';'   (rule 5)
 409     '='         shift, and go to state 8
 410 state 8
 411     CONST_DEC  ->  @1 undef_id_tok '=' . const_id_tok ';'   (rule 5)
 412     const_id_tok        shift, and go to state 9
 413 state 9
 414     CONST_DEC  ->  @1 undef_id_tok '=' const_id_tok . ';'   (rule 5)
 415     ';'         shift, and go to state 10
 416 state 10
 417     CONST_DEC  ->  @1 undef_id_tok '=' const_id_tok ';' .   (rule 5)
 418     $default    reduce using rule 5 (CONST_DEC)
 419 ]])
 420
 421 AT_CLEANUP
 422
 423
 424 ## --------------- ##
 425 ## Web2c Actions.  ##
 426 ## --------------- ##
 427
 428 # The generation of the mapping `state -> action' was once wrong in
 429 # extremely specific situations.  web2c.y exhibits this situation.
 430 # Below is a stripped version of the grammar.  It looks like one can
 431 # simplify it further, but just don't: it is tuned to exhibit a bug,
 432 # which disapears when applying sane grammar transformations.
 433 #
 434 # It used to be wrong on yydefact only:
 435 #
 436 # static const short yydefact[] =
 437 #  {
 438 # -       2,     0,     1,     0,     0,     2,     3,     2,     5,     4,
 439 # +       2,     0,     1,     0,     0,     0,     3,     2,     5,     4,
 440 #         0,     0
 441 #  };
 442 #
 443 # but let's check all the tables.
 444
 445
 446 AT_SETUP([Web2c Actions])
 447
 448 AT_DATA([input.y],
 449 [[%%
 450 statement:  struct_stat;
 451 struct_stat:  /* empty. */ | if else;
 452 if: "if" "const" "then" statement;
 453 else: "else" statement;
 454 %%
 455 ]])
 456
 457 AT_CHECK([bison -v input.y -o input.c])
 458
 459 # Check only the tables.  We don't use --no-parser, because it is
 460 # still to be implemented in the experimental branch of Bison.
 461 AT_CHECK([[sed -n 's/  *$//;/^static const.*\[\] =/,/^}/p' input.c]], 0,
 462 [[static const yy_token_number_type yytranslate[] =
 463 {
 464        0,     2,     2,     2,     2,     2,     2,     2,     2,     2,
 465        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
 466        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
 467        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
 468        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
 469        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
 470        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
 471        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
 472        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
 473        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
 474        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
 475        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
 476        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
 477        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
 478        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
 479        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
 480        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
 481        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
 482        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
 483        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
 484        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
 485        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
 486        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
 487        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
 488        2,     2,     2,     2,     2,     2,     2,     2,     2,     2,
 489        2,     2,     2,     2,     2,     2,     1,     2,     3,     4,
 490        5,     6
 491 };
 492 static const unsigned char yyprhs[] =
 493 {
 494        0,     0,     3,     5,     6,     9,    14
 495 };
 496 static const signed char yyrhs[] =
 497 {
 498        8,     0,    -1,     9,    -1,    -1,    10,    11,    -1,     3,
 499        4,     5,     8,    -1,     6,     8,    -1
 500 };
 501 static const unsigned char yyrline[] =
 502 {
 503        0,     2,     2,     3,     3,     4,     5
 504 };
 505 static const char *const yytname[] =
 506 {
 507   "$", "error", "$undefined.", "\"if\"", "\"const\"", "\"then\"",
 508   "\"else\"", "$axiom", "statement", "struct_stat", "if", "else", 0
 509 };
 510 static const short yytoknum[] =
 511 {
 512        0,   256,   257,   258,   259,   260,   261,    -1
 513 };
 514 static const yy_token_number_type yyr1[] =
 515 {
 516        0,     7,     8,     9,     9,    10,    11
 517 };
 518 static const unsigned char yyr2[] =
 519 {
 520        0,     2,     1,     0,     2,     4,     2
 521 };
 522 static const short yydefact[] =
 523 {
 524        3,     0,     0,     2,     0,     0,     0,     3,     4,     3,
 525        6,     5
 526 };
 527 static const short yydefgoto[] =
 528 {
 529       -1,     2,     3,     4,     8
 530 };
 531 static const short yypact[] =
 532 {
 533       -2,    -1,     4,-32768,     0,     2,-32768,    -2,-32768,    -2,
 534   -32768,-32768
 535 };
 536 static const short yypgoto[] =
 537 {
 538   -32768,    -7,-32768,-32768,-32768
 539 };
 540 static const short yytable[] =
 541 {
 542       10,     1,    11,     5,     6,     0,     7,     9
 543 };
 544 static const short yycheck[] =
 545 {
 546        7,     3,     9,     4,     0,    -1,     6,     5
 547 };
 548 ]])
 549
 550 AT_CLEANUP