tests/input.at

   1 # Checking the Bison scanner.                    -*- Autotest -*-
   2
   3 # Copyright (C) 2002-2015 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([[Input Processing.]])
  19
  20 # Mostly test that we are robust to mistakes.
  21
  22
  23 ## ----------------- ##
  24 ## Invalid options.  ##
  25 ## ----------------- ##
  26
  27 AT_SETUP([Invalid options])
  28
  29 AT_DATA([input.y],
  30 [[%%
  31 exp: '0'
  32 ]])
  33
  34 # We used to accept these, as -f, --report and others were sharing
  35 # their code with -W.
  36 AT_BISON_CHECK([-ferror=caret input.y], [1], [], [ignore])
  37 AT_BISON_CHECK([--report=error=itemsets input.y], [1], [], [ignore])
  38
  39 # We used to accept any character after "-Werror", instead of ensuring
  40 # this is "=".
  41 AT_BISON_CHECK([-Werror?all input.y], [1], [], [ignore])
  42
  43 AT_CLEANUP
  44
  45
  46 ## ---------------- ##
  47 ## Invalid inputs.  ##
  48 ## ---------------- ##
  49
  50 AT_SETUP([Invalid inputs])
  51
  52 AT_DATA([input.y],
  53 [[\000\001\002\377?
  54 %%
  55 ?
  56 default: 'a' }
  57 %&
  58 %a-does-not-exist
  59 %-
  60 %{
  61 ]])
  62 AT_CHECK([[$PERL -pi -e 's/\\(\d{3})/chr(oct($1))/ge' input.y || exit 77]])
  63
  64 AT_BISON_CHECK([input.y], [1], [],
  65 [[input.y:1.1-2: error: invalid characters: '\0\001\002\377?'
  66 input.y:3.1: error: invalid character: '?'
  67 input.y:4.14: error: invalid character: '}'
  68 input.y:5.1: error: invalid character: '%'
  69 input.y:5.2: error: invalid character: '&'
  70 input.y:6.1-17: error: invalid directive: '%a-does-not-exist'
  71 input.y:7.1: error: invalid character: '%'
  72 input.y:7.2: error: invalid character: '-'
  73 input.y:8.1-9.0: error: missing '%}' at end of file
  74 input.y:8.1-9.0: error: syntax error, unexpected %{...%}
  75 ]])
  76
  77 AT_CLEANUP
  78
  79
  80 AT_SETUP([Invalid inputs with {}])
  81
  82 # We used to SEGV here.  See
  83 # http://lists.gnu.org/archive/html/bug-bison/2005-07/msg00053.html
  84
  85 AT_DATA([input.y],
  86 [[
  87 %destructor
  88 %initial-action
  89 %lex-param
  90 %parse-param
  91 %printer
  92 %union
  93 ]])
  94
  95 AT_BISON_CHECK([input.y], [1], [],
  96 [[input.y:3.1-15: error: syntax error, unexpected %initial-action, expecting {...}
  97 ]])
  98
  99 AT_CLEANUP
 100
 101
 102
 103 ## ------------ ##
 104 ## Invalid $n.  ##
 105 ## ------------ ##
 106
 107 AT_SETUP([Invalid $n and @n])
 108
 109 AT_DATA([input.y],
 110 [[%%
 111 exp: %empty { $$ = $1 ; };
 112 exp: %empty { @$ = @1 ; };
 113 ]])
 114
 115 AT_BISON_CHECK([-fcaret input.y], [1], [],
 116 [[input.y:2.20-21: error: integer out of range: '$1'
 117  exp: %empty { $$ = $1 ; };
 118                     ^^
 119 input.y:3.20-21: error: integer out of range: '@1'
 120  exp: %empty { @$ = @1 ; };
 121                     ^^
 122 ]])
 123
 124 AT_CLEANUP
 125
 126
 127 ## -------------- ##
 128 ## Type Clashes.  ##
 129 ## -------------- ##
 130
 131 AT_SETUP([Type Clashes])
 132
 133 AT_DATA([input.y],
 134 [[%union { int bar; }
 135 %token foo
 136 %type <bar> exp
 137 %%
 138 exp: foo { $$; } foo { $2; } foo
 139    | foo
 140    | %empty
 141    ;
 142 ]])
 143
 144 AT_BISON_CHECK([-fcaret input.y], [1], [],
 145 [[input.y:5.12-13: error: $$ for the midrule at $2 of 'exp' has no declared type
 146  exp: foo { $$; } foo { $2; } foo
 147             ^^
 148 input.y:5.24-25: error: $2 of 'exp' has no declared type
 149  exp: foo { $$; } foo { $2; } foo
 150                         ^^
 151 input.y:5.6-32: warning: type clash on default action: <bar> != <> [-Wother]
 152  exp: foo { $$; } foo { $2; } foo
 153       ^^^^^^^^^^^^^^^^^^^^^^^^^^^
 154 input.y:6.6-8: warning: type clash on default action: <bar> != <> [-Wother]
 155     | foo
 156       ^^^
 157 input.y:7.6-11: warning: empty rule for typed nonterminal, and no action [-Wother]
 158     | %empty
 159       ^^^^^^
 160 ]])
 161
 162 AT_CLEANUP
 163
 164
 165 # _AT_UNUSED_VALUES_DECLARATIONS()
 166 # --------------------------------
 167 # Generate the token, type, and destructor
 168 # declarations for the unused values tests.
 169 m4_define([_AT_UNUSED_VALUES_DECLARATIONS],
 170 [[[%token <integer> INT;
 171 %type <integer> a b c d e f g h i j k l;
 172 %destructor { destroy ($$); } INT a b c d e f g h i j k l;]]])
 173
 174
 175 # AT_CHECK_UNUSED_VALUES(DECLARATIONS_AFTER, CHECK_MIDRULE_VALUES)
 176 # ----------------------------------------------------------------
 177 # Generate a grammar to test unused values, compile it, run it.  If
 178 # DECLARATIONS_AFTER is set, then the token, type, and destructor
 179 # declarations are generated after the rules rather than before.  If
 180 # CHECK_MIDRULE_VALUES is set, then --warnings=midrule-values is set.
 181 m4_define([AT_CHECK_UNUSED_VALUES],
 182 [AT_DATA([input.y],
 183 m4_ifval($1, [
 184
 185
 186 ], [_AT_UNUSED_VALUES_DECLARATIONS
 187 ])[[%%
 188 start:
 189   'a' a { $]2[; } | 'b' b { $]2[; } | 'c' c { $]2[; } | 'd' d { $]2[; }
 190 | 'e' e { $]2[; } | 'f' f { $]2[; } | 'g' g { $]2[; } | 'h' h { $]2[; }
 191 | 'i' i { $]2[; } | 'j' j { $]2[; } | 'k' k { $]2[; } | 'l' l { $]2[; }
 192 ;
 193
 194 a: INT | INT { } INT { } INT { };
 195 b: INT | %empty;
 196 c: INT | INT { $]1[; } INT { $<integer>2; } INT { $<integer>4; };
 197 d: INT | INT { } INT { $]1[; } INT { $<integer>2; };
 198 e: INT | INT { } INT {  } INT { $]1[; };
 199 f: INT | INT { } INT {  } INT { $]$[ = $]1[ + $]3[ + $]5[; };
 200 g: INT | INT { $<integer>$; } INT { $<integer>$; } INT { };
 201 h: INT | INT { $<integer>$; } INT { $<integer>$ = $<integer>2; } INT { };
 202 i: INT | INT INT { } { $]$[ = $]1[ + $]2[; };
 203 j: INT | INT INT { $<integer>$ = 1; } { $]$[ = $]1[ + $]2[; };
 204 k: INT | INT INT { $<integer>$; } { $<integer>$ = $<integer>3; } { };
 205 l: INT | INT { $<integer>$ = $<integer>1; } INT { $<integer>$ = $<integer>2 + $<integer>3; } INT { $<integer>$ = $<integer>4 + $<integer>5; };]]m4_ifval($1, [
 206 _AT_UNUSED_VALUES_DECLARATIONS])
 207 )
 208
 209 AT_BISON_CHECK(m4_ifval($2, [--warnings=midrule-values ])[-fcaret input.y],
 210                [0], [],
 211 [[input.y:11.10-32: warning: unset value: $][$ [-Wother]
 212  a: INT | INT { } INT { } INT { };
 213           ^^^^^^^^^^^^^^^^^^^^^^^
 214 input.y:11.10-12: warning: unused value: $][1 [-Wother]
 215  a: INT | INT { } INT { } INT { };
 216           ^^^
 217 input.y:11.18-20: warning: unused value: $][3 [-Wother]
 218  a: INT | INT { } INT { } INT { };
 219                   ^^^
 220 input.y:11.26-28: warning: unused value: $][5 [-Wother]
 221  a: INT | INT { } INT { } INT { };
 222                           ^^^
 223 input.y:12.10-15: warning: empty rule for typed nonterminal, and no action [-Wother]
 224  b: INT | %empty;
 225           ^^^^^^
 226 ]]m4_ifval($2, [[[input.y:13.14-20: warning: unset value: $][$ [-Wmidrule-values]
 227  c: INT | INT { $][1; } INT { $<integer>2; } INT { $<integer>4; };
 228               ^^^^^^^
 229 input.y:13.26-41: warning: unset value: $][$ [-Wmidrule-values]
 230  c: INT | INT { $][1; } INT { $<integer>2; } INT { $<integer>4; };
 231                           ^^^^^^^^^^^^^^^^
 232 ]]])[[input.y:13.10-62: warning: unset value: $][$ [-Wother]
 233  c: INT | INT { $][1; } INT { $<integer>2; } INT { $<integer>4; };
 234           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 235 input.y:13.22-24: warning: unused value: $][3 [-Wother]
 236  c: INT | INT { $][1; } INT { $<integer>2; } INT { $<integer>4; };
 237                       ^^^
 238 input.y:13.43-45: warning: unused value: $][5 [-Wother]
 239  c: INT | INT { $][1; } INT { $<integer>2; } INT { $<integer>4; };
 240                                            ^^^
 241 ]]m4_ifval($2, [[[input.y:14.14-16: warning: unset value: $][$ [-Wmidrule-values]
 242  d: INT | INT { } INT { $][1; } INT { $<integer>2; };
 243               ^^^
 244 ]]])[[input.y:14.10-49: warning: unset value: $][$ [-Wother]
 245  d: INT | INT { } INT { $][1; } INT { $<integer>2; };
 246           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 247 input.y:14.18-20: warning: unused value: $][3 [-Wother]
 248  d: INT | INT { } INT { $][1; } INT { $<integer>2; };
 249                   ^^^
 250 input.y:14.30-32: warning: unused value: $][5 [-Wother]
 251  d: INT | INT { } INT { $][1; } INT { $<integer>2; };
 252                               ^^^
 253 input.y:15.10-37: warning: unset value: $][$ [-Wother]
 254  e: INT | INT { } INT {  } INT { $][1; };
 255           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 256 input.y:15.18-20: warning: unused value: $][3 [-Wother]
 257  e: INT | INT { } INT {  } INT { $][1; };
 258                   ^^^
 259 input.y:15.27-29: warning: unused value: $][5 [-Wother]
 260  e: INT | INT { } INT {  } INT { $][1; };
 261                            ^^^
 262 input.y:17.10-58: warning: unset value: $][$ [-Wother]
 263  g: INT | INT { $<integer>$; } INT { $<integer>$; } INT { };
 264           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 265 input.y:17.10-12: warning: unused value: $][1 [-Wother]
 266  g: INT | INT { $<integer>$; } INT { $<integer>$; } INT { };
 267           ^^^
 268 ]]m4_ifval($2, [[[input.y:17.14-29: warning: unused value: $][2 [-Wmidrule-values]
 269  g: INT | INT { $<integer>$; } INT { $<integer>$; } INT { };
 270               ^^^^^^^^^^^^^^^^
 271 ]]])[[input.y:17.31-33: warning: unused value: $][3 [-Wother]
 272  g: INT | INT { $<integer>$; } INT { $<integer>$; } INT { };
 273                                ^^^
 274 ]]m4_ifval($2, [[[input.y:17.35-50: warning: unused value: $][4 [-Wmidrule-values]
 275  g: INT | INT { $<integer>$; } INT { $<integer>$; } INT { };
 276                                    ^^^^^^^^^^^^^^^^
 277 ]]])[[input.y:17.52-54: warning: unused value: $][5 [-Wother]
 278  g: INT | INT { $<integer>$; } INT { $<integer>$; } INT { };
 279                                                     ^^^
 280 input.y:18.10-72: warning: unset value: $][$ [-Wother]
 281  h: INT | INT { $<integer>$; } INT { $<integer>$ = $<integer>2; } INT { };
 282           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 283 input.y:18.10-12: warning: unused value: $][1 [-Wother]
 284  h: INT | INT { $<integer>$; } INT { $<integer>$ = $<integer>2; } INT { };
 285           ^^^
 286 input.y:18.31-33: warning: unused value: $][3 [-Wother]
 287  h: INT | INT { $<integer>$; } INT { $<integer>$ = $<integer>2; } INT { };
 288                                ^^^
 289 ]]m4_ifval($2, [[[input.y:18.35-64: warning: unused value: $][4 [-Wmidrule-values]
 290  h: INT | INT { $<integer>$; } INT { $<integer>$ = $<integer>2; } INT { };
 291                                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 292 ]]])[[input.y:18.66-68: warning: unused value: $][5 [-Wother]
 293  h: INT | INT { $<integer>$; } INT { $<integer>$ = $<integer>2; } INT { };
 294                                                                   ^^^
 295 ]]m4_ifval($2, [[[input.y:20.18-37: warning: unused value: $][3 [-Wmidrule-values]
 296  j: INT | INT INT { $<integer>$ = 1; } { $][$ = $][1 + $][2; };
 297                   ^^^^^^^^^^^^^^^^^^^^
 298 ]]])[[input.y:21.10-68: warning: unset value: $][$ [-Wother]
 299  k: INT | INT INT { $<integer>$; } { $<integer>$ = $<integer>3; } { };
 300           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 301 input.y:21.10-12: warning: unused value: $][1 [-Wother]
 302  k: INT | INT INT { $<integer>$; } { $<integer>$ = $<integer>3; } { };
 303           ^^^
 304 input.y:21.14-16: warning: unused value: $][2 [-Wother]
 305  k: INT | INT INT { $<integer>$; } { $<integer>$ = $<integer>3; } { };
 306               ^^^
 307 ]]m4_ifval($2, [[[input.y:21.35-64: warning: unused value: $][4 [-Wmidrule-values]
 308  k: INT | INT INT { $<integer>$; } { $<integer>$ = $<integer>3; } { };
 309                                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 310 ]]]))
 311 ])
 312
 313 ## --------------- ##
 314 ## Unused values.  ##
 315 ## --------------- ##
 316
 317 AT_SETUP([Unused values])
 318 AT_CHECK_UNUSED_VALUES
 319 AT_CHECK_UNUSED_VALUES(, [1])
 320 AT_CLEANUP
 321
 322
 323 ## ------------------------------------------ ##
 324 ## Unused values before symbol declarations.  ##
 325 ## ------------------------------------------ ##
 326
 327 AT_SETUP([Unused values before symbol declarations])
 328 AT_CHECK_UNUSED_VALUES([1])
 329 AT_CHECK_UNUSED_VALUES([1], [1])
 330 AT_CLEANUP
 331
 332
 333 ## --------------------------------------------- ##
 334 ## Default %printer and %destructor redeclared.  ##
 335 ## --------------------------------------------- ##
 336
 337 AT_SETUP([Default %printer and %destructor redeclared])
 338
 339 # AT_TEST([*])
 340 # ------------
 341 m4_pushdef([AT_TEST],
 342 [AT_DATA([[input.y]],
 343 [[%destructor { destroy ($$); } <$1> <$1>
 344 %printer { print ($$); } <$1> <$1>
 345
 346 %destructor { destroy ($$); } <$1>
 347 %printer { print ($$); } <$1>
 348
 349 %%
 350
 351 start: %empty;
 352
 353 %destructor { destroy ($$); } <$1>;
 354 %printer { print ($$); } <$1>;
 355 ]])
 356
 357 AT_BISON_CHECK([-fcaret input.y], [1], [],
 358 [[input.y:1.13-29: error: %destructor redeclaration for <>
 359  %destructor { destroy ($$); } <> <>
 360              ^^^^^^^^^^^^^^^^^
 361 input.y:1.13-29:     previous declaration
 362  %destructor { destroy ($$); } <> <>
 363              ^^^^^^^^^^^^^^^^^
 364 input.y:2.10-24: error: %printer redeclaration for <>
 365  %printer { print ($$); } <> <>
 366           ^^^^^^^^^^^^^^^
 367 input.y:2.10-24:     previous declaration
 368  %printer { print ($$); } <> <>
 369           ^^^^^^^^^^^^^^^
 370 input.y:4.13-29: error: %destructor redeclaration for <>
 371  %destructor { destroy ($$); } <>
 372              ^^^^^^^^^^^^^^^^^
 373 input.y:1.13-29:     previous declaration
 374  %destructor { destroy ($$); } <> <>
 375              ^^^^^^^^^^^^^^^^^
 376 input.y:5.10-24: error: %printer redeclaration for <>
 377  %printer { print ($$); } <>
 378           ^^^^^^^^^^^^^^^
 379 input.y:2.10-24:     previous declaration
 380  %printer { print ($$); } <> <>
 381           ^^^^^^^^^^^^^^^
 382 input.y:11.13-29: error: %destructor redeclaration for <>
 383  %destructor { destroy ($$); } <>;
 384              ^^^^^^^^^^^^^^^^^
 385 input.y:1.13-29:      previous declaration
 386  %destructor { destroy ($$); } <> <>
 387              ^^^^^^^^^^^^^^^^^
 388 input.y:12.10-24: error: %printer redeclaration for <>
 389  %printer { print ($$); } <>;
 390           ^^^^^^^^^^^^^^^
 391 input.y:2.10-24:      previous declaration
 392  %printer { print ($$); } <> <>
 393           ^^^^^^^^^^^^^^^
 394 ]])
 395 ])
 396
 397 AT_TEST([], [], [])
 398 AT_TEST([], [*], [*])
 399 m4_popdef([AT_TEST])
 400
 401 AT_CLEANUP
 402
 403
 404 ## ---------------------------------------------- ##
 405 ## Per-type %printer and %destructor redeclared.  ##
 406 ## ---------------------------------------------- ##
 407
 408 AT_SETUP([Per-type %printer and %destructor redeclared])
 409
 410 AT_DATA([[input.y]],
 411 [[%destructor { destroy ($$); } <field1> <field2>
 412 %printer { print ($$); } <field1> <field2>
 413
 414 %destructor { destroy ($$); } <field1> <field1>
 415 %printer { print ($$); } <field2> <field2>
 416
 417 %%
 418
 419 start: %empty;
 420
 421 %destructor { destroy ($$); } <field2> <field1>;
 422 %printer { print ($$); } <field2> <field1>;
 423 ]])
 424
 425 AT_BISON_CHECK([input.y], [1], [],
 426 [[input.y:4.13-29: error: %destructor redeclaration for <field1>
 427 input.y:1.13-29:     previous declaration
 428 input.y:4.13-29: error: %destructor redeclaration for <field1>
 429 input.y:1.13-29:     previous declaration
 430 input.y:5.10-24: error: %printer redeclaration for <field2>
 431 input.y:2.10-24:     previous declaration
 432 input.y:5.10-24: error: %printer redeclaration for <field2>
 433 input.y:2.10-24:     previous declaration
 434 input.y:11.13-29: error: %destructor redeclaration for <field2>
 435 input.y:1.13-29:      previous declaration
 436 input.y:11.13-29: error: %destructor redeclaration for <field1>
 437 input.y:1.13-29:      previous declaration
 438 input.y:12.10-24: error: %printer redeclaration for <field2>
 439 input.y:2.10-24:      previous declaration
 440 input.y:12.10-24: error: %printer redeclaration for <field1>
 441 input.y:2.10-24:      previous declaration
 442 ]])
 443
 444 AT_CLEANUP
 445
 446 ## ------------------- ##
 447 ## Undefined symbols.  ##
 448 ## ------------------- ##
 449
 450 AT_SETUP([Undefined symbols])
 451
 452 AT_DATA([[input.y]],
 453 [[%printer {} foo baz
 454 %destructor {} bar
 455 %type <foo> qux
 456 %%
 457 exp: bar;
 458 ]])
 459
 460 AT_BISON_CHECK([-fcaret input.y], [1], [],
 461 [[input.y:2.16-18: error: symbol bar is used, but is not defined as a token and has no rules
 462  %destructor {} bar
 463                 ^^^
 464 input.y:1.17-19: warning: symbol baz is used, but is not defined as a token and has no rules [-Wother]
 465  %printer {} foo baz
 466                  ^^^
 467 input.y:1.13-15: warning: symbol foo is used, but is not defined as a token and has no rules [-Wother]
 468  %printer {} foo baz
 469              ^^^
 470 input.y:3.13-15: warning: symbol qux is used, but is not defined as a token and has no rules [-Wother]
 471  %type <foo> qux
 472              ^^^
 473 ]])
 474
 475 AT_CLEANUP
 476
 477
 478 ## ----------------------------------------------------- ##
 479 ## Unassociated types used for a printer or destructor.  ##
 480 ## ----------------------------------------------------- ##
 481
 482 AT_SETUP([Unassociated types used for a printer or destructor])
 483
 484 AT_DATA([[input.y]],
 485 [[%token <type1> tag1
 486 %type <type2> tag2
 487
 488 %printer { } <type1> <type3>
 489 %destructor { } <type2> <type4>
 490
 491 %%
 492
 493 exp: tag1 { $1; }
 494    | tag2 { $1; }
 495
 496 tag2: "a" { $$; }
 497 ]])
 498
 499 AT_BISON_CHECK([input.y], [0], [],
 500 [[input.y:4.22-28: warning: type <type3> is used, but is not associated to any symbol [-Wother]
 501 input.y:5.25-31: warning: type <type4> is used, but is not associated to any symbol [-Wother]
 502 ]])
 503
 504 AT_CLEANUP
 505
 506
 507 ## --------------------------------- ##
 508 ## Useless printers or destructors.  ##
 509 ## --------------------------------- ##
 510
 511 AT_SETUP([Useless printers or destructors])
 512
 513 # AT_TEST([INPUT], [STDERR])
 514 # --------------------------
 515 m4_pushdef([AT_TEST],
 516 [AT_DATA([[input.y]],
 517 [$1
 518 ])
 519 AT_BISON_CHECK([input.y], [0], [], [$2
 520 ])])
 521
 522 AT_TEST([[%token <type1> token1
 523 %token <type2> token2
 524 %token <type3> token3
 525 %token <type4> token4
 526 %token <type5> token51 token52
 527 %token <type6> token61 token62
 528 %token <type7> token7
 529
 530 %printer {} token1
 531 %destructor {} token2
 532 %printer {} token51
 533 %destructor {} token61
 534
 535 %printer {} token7
 536
 537 %printer {} <type1>
 538 %destructor {} <type2>
 539 %printer {} <type3>
 540 %destructor {} <type4>
 541
 542 %printer {} <type5>
 543 %destructor {} <type6>
 544
 545 %destructor {} <type7>
 546
 547 %%
 548 exp: "a";]],
 549 [[input.y:16.13-19: warning: useless %printer for type <type1> [-Wother]
 550 input.y:17.16-22: warning: useless %destructor for type <type2> [-Wother]]])
 551
 552 # If everybody is typed, <> is useless.
 553 AT_TEST([[%type <type> exp
 554 %token <type> a
 555 %printer {} <> <*>
 556 %%
 557 exp: a;]],
 558 [[input.y:3.13-14: warning: useless %printer for type <> [-Wother]]])
 559
 560 # If nobody is typed, <*> is useless.
 561 AT_TEST([[%token a
 562 %printer {} <> <*>
 563 %%
 564 exp: a;]],
 565 [[input.y:2.16-18: warning: useless %printer for type <*> [-Wother]]])
 566
 567 m4_popdef([AT_TEST])
 568
 569 AT_CLEANUP
 570
 571
 572 ## ---------------------------------------- ##
 573 ## Unused values with default %destructor.  ##
 574 ## ---------------------------------------- ##
 575
 576 AT_SETUP([Unused values with default %destructor])
 577
 578 AT_DATA([[input.y]],
 579 [[%destructor { destroy ($$); } <>
 580 %type <tag> tagged
 581
 582 %%
 583
 584 start: end end tagged tagged { $<tag>1; $3; } ;
 585 end: { } ;
 586 tagged: { } ;
 587 ]])
 588
 589 AT_BISON_CHECK([-fcaret input.y], [0], [],
 590 [[input.y:6.8-45: warning: unset value: $$ [-Wother]
 591  start: end end tagged tagged { $<tag>1; $3; } ;
 592         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 593 input.y:6.12-14: warning: unused value: $2 [-Wother]
 594  start: end end tagged tagged { $<tag>1; $3; } ;
 595             ^^^
 596 input.y:7.6-8: warning: unset value: $$ [-Wother]
 597  end: { } ;
 598       ^^^
 599 ]])
 600
 601 AT_DATA([[input.y]],
 602 [[%destructor { destroy ($$); } <*>
 603 %type <tag> tagged
 604
 605 %%
 606
 607 start: end end tagged tagged { $<tag>1; $3; } ;
 608 end: { } ;
 609 tagged: { } ;
 610 ]])
 611
 612 AT_BISON_CHECK([input.y], [0], [],
 613 [[input.y:6.23-28: warning: unused value: $4 [-Wother]
 614 input.y:8.9-11: warning: unset value: $$ [-Wother]
 615 ]])
 616
 617 AT_CLEANUP
 618
 619
 620 ## ----------------------------------------- ##
 621 ## Unused values with per-type %destructor.  ##
 622 ## ----------------------------------------- ##
 623
 624 AT_SETUP([Unused values with per-type %destructor])
 625
 626 AT_DATA([[input.y]],
 627 [[%destructor { destroy ($$); } <field1>
 628 %type <field1> start end
 629
 630 %%
 631
 632 start: end end { $1; } ;
 633 end: { }  ;
 634 ]])
 635
 636 AT_BISON_CHECK([-fcaret input.y], [0], [],
 637 [[input.y:6.8-22: warning: unset value: $$ [-Wother]
 638  start: end end { $1; } ;
 639         ^^^^^^^^^^^^^^^
 640 input.y:6.12-14: warning: unused value: $2 [-Wother]
 641  start: end end { $1; } ;
 642             ^^^
 643 input.y:7.6-8: warning: unset value: $$ [-Wother]
 644  end: { }  ;
 645       ^^^
 646 ]])
 647
 648 AT_CLEANUP
 649
 650
 651 ## ---------------------- ##
 652 ## Incompatible Aliases.  ##
 653 ## ---------------------- ##
 654
 655 AT_SETUP([Incompatible Aliases])
 656
 657 m4_pushdef([AT_TEST],
 658 [AT_DATA([input.y], [$1])
 659 AT_BISON_CHECK([-fcaret input.y], [1], [], [$2])
 660 ])
 661
 662 # Use the string-alias first to check the order between "first
 663 # declaration" and second.
 664
 665 AT_TEST([[%token foo "foo"
 666 %type <bar> "foo"
 667 %type <baz> foo
 668 %%
 669 exp: foo;
 670 ]],
 671 [[input.y:3.7-11: error: %type redeclaration for foo
 672  %type <baz> foo
 673        ^^^^^
 674 input.y:2.7-11:     previous declaration
 675  %type <bar> "foo"
 676        ^^^^^
 677 ]])
 678
 679 AT_TEST([[%token foo "foo"
 680 %printer {bar} "foo"
 681 %printer {baz} foo
 682 %%
 683 exp: foo;
 684 ]],
 685 [[input.y:3.10-14: error: %printer redeclaration for foo
 686  %printer {baz} foo
 687           ^^^^^
 688 input.y:2.10-14:     previous declaration
 689  %printer {bar} "foo"
 690           ^^^^^
 691 ]])
 692
 693 AT_TEST([[%token foo "foo"
 694 %destructor {bar} "foo"
 695 %destructor {baz} foo
 696 %%
 697 exp: foo;
 698 ]],
 699 [[input.y:3.13-17: error: %destructor redeclaration for foo
 700  %destructor {baz} foo
 701              ^^^^^
 702 input.y:2.13-17:     previous declaration
 703  %destructor {bar} "foo"
 704              ^^^^^
 705 ]])
 706
 707 AT_TEST([[%token foo "foo"
 708 %left "foo"
 709 %left foo
 710 %%
 711 exp: foo;
 712 ]],
 713 [[input.y:3.1-5: error: %left redeclaration for foo
 714  %left foo
 715  ^^^^^
 716 input.y:2.1-5:     previous declaration
 717  %left "foo"
 718  ^^^^^
 719 ]])
 720
 721 # This time, declare the alias after its use.
 722
 723 # Precedence/associativity.
 724 AT_TEST([[%left "foo"
 725 %left foo
 726 %token foo "foo"
 727 %%
 728 exp: foo;
 729 ]],
 730 [[input.y:2.1-5: error: %left redeclaration for foo
 731  %left foo
 732  ^^^^^
 733 input.y:1.1-5:     previous declaration
 734  %left "foo"
 735  ^^^^^
 736 ]])
 737
 738 # Printer.
 739 AT_TEST([[%printer {} "foo"
 740 %printer {} foo
 741 %token foo "foo"
 742 %%
 743 exp: foo;
 744 ]],
 745 [[input.y:2.10-11: error: %printer redeclaration for foo
 746  %printer {} foo
 747           ^^
 748 input.y:1.10-11:     previous declaration
 749  %printer {} "foo"
 750           ^^
 751 ]])
 752
 753 # Destructor.
 754 AT_TEST([[%destructor {} "foo"
 755 %destructor {} foo
 756 %token foo "foo"
 757 %%
 758 exp: foo;
 759 ]],
 760 [[input.y:2.13-14: error: %destructor redeclaration for foo
 761  %destructor {} foo
 762              ^^
 763 input.y:1.13-14:     previous declaration
 764  %destructor {} "foo"
 765              ^^
 766 ]])
 767
 768 m4_popdef([AT_TEST])
 769 AT_CLEANUP
 770
 771
 772
 773 ## ----------------------- ##
 774 ## Torturing the Scanner.  ##
 775 ## ----------------------- ##
 776
 777 # Be sure to compile and run, so that the C compiler checks what
 778 # we do.
 779
 780 AT_SETUP([Torturing the Scanner])
 781
 782 AT_BISON_OPTION_PUSHDEFS
 783 AT_DATA([input.y], [])
 784 AT_BISON_CHECK([input.y], [1], [],
 785 [[input.y:1.1: error: syntax error, unexpected end of file
 786 ]])
 787
 788
 789 AT_DATA([input.y],
 790 [{}
 791 ])
 792 AT_BISON_CHECK([-fcaret  input.y], [1], [],
 793 [[input.y:1.1-2: error: syntax error, unexpected {...}
 794  {}
 795  ^^
 796 ]])
 797
 798
 799 AT_DATA_GRAMMAR([input.y],
 800 [[%{
 801 /* This is seen in GCC: a %{ and %} in middle of a comment. */
 802 const char *foo = "So %{ and %} can be here too.";
 803
 804 #if 0
 805 /* These examples test Bison while not stressing C compilers too much.
 806    Many C compilers mishandle backslash-newlines, so this part of the
 807    test is inside "#if 0".  The comment and string are written so that
 808    the "#endif" will be seen regardless of the C compiler bugs that we
 809    know about, namely:
 810
 811      HP C (as of late 2002) mishandles *\[newline]\[newline]/ within a
 812      comment.
 813
 814      The Apple Darwin compiler (as of late 2002) mishandles
 815      \\[newline]' within a character constant.
 816
 817    */
 818
 819 /\
 820 * A comment with backslash-newlines in it. %} *\
 821 \
 822 /
 823 /* { Close the above comment, if the C compiler mishandled it.  */
 824
 825 char str[] = "\\
 826 " A string with backslash-newlines in it %{ %} \\
 827 \
 828 "";
 829
 830 char apostrophe = '\'';
 831 #endif
 832
 833 #include <stdio.h>
 834 #include <stdlib.h>
 835 #include <assert.h>
 836 %}
 837 /* %{ and %} can be here too. */
 838
 839 %{
 840 /* Exercise pre-prologue dependency to %union.  */
 841 typedef int value;
 842 %}
 843
 844 /* Exercise M4 quoting: '@:>@@:>@', 0.  */
 845
 846 /* Also exercise %union. */
 847 %union
 848 {
 849   value ival; /* A comment to exercise an old bug. */
 850 };
 851
 852
 853 /* Exercise post-prologue dependency to %union.  */
 854 %{
 855 static YYSTYPE value_as_yystype (value val);
 856
 857 /* Exercise quotes in declarations.  */
 858 char quote[] = "@:>@@:>@,";
 859 %}
 860
 861 %{
 862 ]AT_YYERROR_DECLARE[
 863 ]AT_YYLEX_DECLARE[
 864 %}
 865
 866 %type <ival> '@<:@'
 867
 868 /* Exercise quotes in strings.  */
 869 %token FAKE "fake @<:@@:>@ \a\b\f\n\r\t\v\"\'\?\\\u005B\U0000005c ??!??'??(??)??-??/??<??=??> \x1\1"
 870
 871 %%
 872 /* Exercise M4 quoting: '@:>@@:>@', @<:@, 1.  */
 873 exp: '@<:@' '\1' two '$' '@' '{' oline output.or.oline.opt
 874   {
 875     /* Exercise quotes in braces.  */
 876     char tmp[] = "@<:@%c@:>@,\n";
 877     printf (tmp, $1);
 878   }
 879 ;
 880
 881 two: '\x000000000000000000000000000000000000000000000000000000000000000000002';
 882 oline: '@' 'o' 'l' 'i' 'n' 'e' '@' '_' '_' 'o' 'l' 'i' 'n' 'e' '_' '_';
 883 output.or.oline.opt: %empty;|oline;;|output;;;
 884 output: '#' 'o' 'u' 't' 'p' 'u' 't' ' ';
 885 %%
 886 /* Exercise M4 quoting: '@:>@@:>@', @<:@, 2.  */
 887
 888 static YYSTYPE
 889 value_as_yystype (value val)
 890 {
 891   YYSTYPE res;
 892   res.ival = val;
 893   return res;
 894 }
 895 ]AT_YYERROR_DEFINE[
 896 static int
 897 yylex (void)
 898 {
 899   static char const input[] = "@<:@\1\2$@{@oline@__@&t@oline__\
 900 #output "; /* "
 901   */
 902   static size_t toknum;
 903   assert (toknum < sizeof input);
 904   yylval = value_as_yystype (input[toknum]);
 905   return input[toknum++];
 906 }
 907 ]])
 908
 909 # Pacify Emacs'font-lock-mode: "
 910
 911 AT_DATA([main.c],
 912 [[typedef int value;
 913 #include "input.h"
 914
 915 int yyparse (void);
 916 ]AT_MAIN_DEFINE[
 917 ]])
 918 AT_BISON_OPTION_POPDEFS
 919
 920 AT_BISON_CHECK([-d -v -o input.c input.y])
 921 AT_COMPILE([input.o])
 922 AT_COMPILE([main.o])
 923 AT_COMPILE([input], [input.o main.o])
 924 AT_PARSER_CHECK([./input], 0,
 925 [[[@<:@],
 926 ]])
 927
 928 AT_CLEANUP
 929
 930
 931 ## ---------------------- ##
 932 ## Typed symbol aliases.  ##
 933 ## ---------------------- ##
 934
 935 AT_SETUP([Typed symbol aliases])
 936
 937 # Bison 2.0 broke typed symbol aliases - ensure they work.
 938
 939 AT_DATA_GRAMMAR([input.y],
 940 [[%union
 941 {
 942   int val;
 943 };
 944 %token <val> MY_TOKEN "MY TOKEN"
 945 %type <val> exp
 946 %%
 947 exp: "MY TOKEN";
 948 %%
 949 ]])
 950
 951 AT_BISON_CHECK([-o input.c input.y])
 952
 953 AT_CLEANUP
 954
 955
 956 ## --------- ##
 957 ## Require.  ##
 958 ## --------- ##
 959
 960 m4_define([AT_CHECK_REQUIRE],
 961 [AT_SETUP([Require $1])
 962 AT_DATA_GRAMMAR([input.y],
 963 [[%require "$1";
 964 %%
 965 empty_file: %empty;
 966 ]])
 967 AT_BISON_CHECK([-o input.c input.y], $2, [], ignore)
 968 AT_CLEANUP
 969 ])
 970
 971 AT_CHECK_REQUIRE(1.0, 0)
 972 AT_CHECK_REQUIRE(AT_PACKAGE_VERSION, 0)
 973 ## FIXME: Some day augment this version number.
 974 AT_CHECK_REQUIRE(100.0, 63)
 975
 976
 977 ## ------------------------------------- ##
 978 ## String aliases for character tokens.  ##
 979 ## ------------------------------------- ##
 980
 981 AT_SETUP([String aliases for character tokens])
 982
 983 # Bison once thought a character token and its alias were different
 984 # symbols with the same user token number.
 985
 986 AT_DATA_GRAMMAR([input.y],
 987 [[%token 'a' "a"
 988 %%
 989 start: 'a';
 990 %%
 991 ]])
 992
 993 AT_BISON_CHECK([-o input.c input.y])
 994
 995 AT_CLEANUP
 996
 997
 998 ## -------------- ##
 999 ## Symbol names.  ##
1000 ## -------------- ##
1001
1002 AT_SETUP([Symbols])
1003
1004 AT_BISON_OPTION_PUSHDEFS
1005 AT_DATA_GRAMMAR([input.y],
1006 [[%token WITH-DASH
1007 %token WITHOUT_DASH "WITHOUT-DASH"
1008 %token WITH.PERIOD
1009 %token WITHOUT_PERIOD "WITHOUT.PERIOD"
1010 %code {
1011   ]AT_YYERROR_DECLARE[
1012   ]AT_YYLEX_DECLARE[
1013 }
1014 %%
1015 start: with-dash without_dash with.period without_period;
1016 with-dash: WITH-DASH;
1017 without_dash: "WITHOUT-DASH";
1018 with.period: WITH.PERIOD;
1019 without_period: "WITHOUT.PERIOD";
1020 %%
1021 ]AT_YYERROR_DEFINE[
1022 ]AT_YYLEX_DEFINE[
1023 ]])
1024 AT_BISON_OPTION_POPDEFS
1025
1026 # POSIX Yacc accept periods, but not dashes.
1027 AT_BISON_CHECK([--yacc input.y], [1], [],
1028 [[input.y:9.8-16: error: POSIX Yacc forbids dashes in symbol names: WITH-DASH [-Werror=yacc]
1029 input.y:20.8-16: error: POSIX Yacc forbids dashes in symbol names: with-dash [-Werror=yacc]
1030 ]])
1031
1032 # Dashes are fine for GNU Bison.
1033 AT_BISON_CHECK([-o input.c input.y])
1034
1035 # Make sure we don't export silly token identifiers with periods or dashes.
1036 AT_COMPILE([input.o])
1037
1038
1039 # Periods are genuine letters, they can start identifiers.
1040 # Digits and dashes cannot.
1041 AT_DATA_GRAMMAR([input.y],
1042 [[%token .GOOD
1043          -GOOD
1044          1NV4L1D
1045          -123
1046 %%
1047 start: .GOOD GOOD
1048 ]])
1049 AT_BISON_CHECK([-o input.c input.y], [1], [],
1050 [[input.y:10.10: error: invalid character: '-'
1051 input.y:11.10-16: error: invalid identifier: '1NV4L1D'
1052 input.y:12.10: error: invalid character: '-'
1053 ]])
1054
1055 AT_CLEANUP
1056
1057
1058 ## ----------------- ##
1059 ## Numbered tokens.  ##
1060 ## ----------------- ##
1061
1062 AT_SETUP([Numbered tokens])
1063
1064 AT_DATA_GRAMMAR([redecl.y],
1065 [[%token DECIMAL_1     11259375
1066          HEXADECIMAL_1 0xabcdef
1067          HEXADECIMAL_2 0xFEDCBA
1068          DECIMAL_2     16702650
1069 %%
1070 start: DECIMAL_1 HEXADECIMAL_2;
1071 ]])
1072
1073 AT_BISON_CHECK([redecl.y], [1], [],
1074 [[redecl.y:10.10-22: error: user token number 11259375 redeclaration for HEXADECIMAL_1
1075 redecl.y:9.8-16:       previous declaration for DECIMAL_1
1076 redecl.y:12.10-18: error: user token number 16702650 redeclaration for DECIMAL_2
1077 redecl.y:11.10-22:     previous declaration for HEXADECIMAL_2
1078 ]])
1079
1080 AT_DATA_GRAMMAR([too-large.y],
1081 [[%token TOO_LARGE_DEC 999999999999999999999
1082          TOO_LARGE_HEX 0xFFFFFFFFFFFFFFFFFFF
1083 %%
1084 start: TOO_LARGE_DEC TOO_LARGE_HEX
1085 %%
1086 ]])
1087
1088 AT_BISON_CHECK([too-large.y], [1], [],
1089 [[too-large.y:9.22-42: error: integer out of range: '999999999999999999999'
1090 too-large.y:10.24-44: error: integer out of range: '0xFFFFFFFFFFFFFFFFFFF'
1091 ]])
1092
1093 AT_CLEANUP
1094
1095
1096 ## --------------------- ##
1097 ## Unclosed constructs.  ##
1098 ## --------------------- ##
1099
1100 AT_SETUP([Unclosed constructs])
1101
1102 # Bison's scan-gram.l once forgot to STRING_FINISH some unclosed
1103 # constructs, so they were prepended to whatever it STRING_GROW'ed
1104 # next.  It also threw them away rather than returning them to the
1105 # parser.  The effect was confusing subsequent error messages.
1106
1107 AT_DATA([input.y],
1108 [[%token A "a
1109 %token B "b"
1110 %token AB "ab" // Used to complain that "ab" was already used.
1111 %token C '1
1112 %token TWO "2"
1113 %token TICK_TWELVE "'12" // Used to complain that "'12" was already used.
1114
1115 %%
1116
1117 start: %empty;
1118
1119 // Used to report a syntax error because it didn't see any kind of symbol
1120 // identifier.
1121 %type <f> 'a
1122 ;
1123 %type <f> "a
1124 ;
1125 // Used to report a syntax error because it didn't see braced code.
1126 %destructor { free ($$)
1127 ]])
1128
1129 AT_BISON_CHECK([-fcaret -o input.c input.y], 1, [],
1130 [[input.y:1.10-2.0: error: missing '"' at end of line
1131  %token A "a
1132           ^^
1133 input.y:4.10-5.0: error: missing "'" at end of line
1134  %token C '1
1135           ^^
1136 input.y:14.11-15.0: error: missing "'" at end of line
1137  %type <f> 'a
1138            ^^
1139 input.y:16.11-17.0: error: missing '"' at end of line
1140  %type <f> "a
1141            ^^
1142 input.y:19.13-20.0: error: missing '}' at end of file
1143  %destructor { free ($$)
1144              ^^^^^^^^^^^
1145 input.y:20.1: error: syntax error, unexpected end of file
1146 ]])
1147
1148 AT_CLEANUP
1149
1150
1151 ## ------------------------- ##
1152 ## %start after first rule.  ##
1153 ## ------------------------- ##
1154
1155 AT_SETUP([%start after first rule])
1156
1157 # Bison once complained that a %start after the first rule was a
1158 # redeclaration of the start symbol.
1159
1160 AT_DATA([input.y],
1161 [[%%
1162 false_start: %empty;
1163 start: false_start ;
1164 %start start;
1165 ]])
1166
1167 AT_BISON_CHECK([-o input.c input.y])
1168
1169 AT_CLEANUP
1170
1171
1172 ## --------------------- ##
1173 ## %prec takes a token.  ##
1174 ## --------------------- ##
1175
1176 AT_SETUP([%prec takes a token])
1177
1178 # Bison once allowed %prec sym where sym was a nonterminal.
1179
1180 AT_DATA([input.y],
1181 [[%%
1182 start: PREC %prec PREC ;
1183 PREC: %empty;
1184 ]])
1185
1186 AT_BISON_CHECK([input.y], [1], [],
1187 [[input.y:3.1-4: error: rule given for PREC, which is a token
1188 ]])
1189
1190 AT_CLEANUP
1191
1192
1193 ## ------------------------------- ##
1194 ## %prec's token must be defined.  ##
1195 ## ------------------------------- ##
1196
1197 AT_SETUP([[%prec's token must be defined]])
1198
1199 # According to POSIX, a %prec token must be defined separately.
1200
1201 AT_DATA([[input.y]],
1202 [[%%
1203 start: %prec PREC ;
1204 ]])
1205
1206 AT_BISON_CHECK([[input.y]], [[0]], [],
1207 [[input.y:2.8-17: warning: token for %prec is not defined: PREC [-Wother]
1208 ]])
1209
1210 AT_CLEANUP
1211
1212
1213 ## -------------------------------- ##
1214 ## Reject unused %code qualifiers.  ##
1215 ## -------------------------------- ##
1216
1217 AT_SETUP([Reject unused %code qualifiers])
1218
1219 AT_DATA([input-c.y],
1220 [[%code q {}
1221 %code bad {}
1222 %code bad {}
1223 %code format {}
1224 %%
1225 start: %empty;
1226 ]])
1227 AT_BISON_CHECK([[input-c.y]], [[1]], [],
1228 [[input-c.y:1.7: error: %code qualifier 'q' is not used
1229 input-c.y:2.7-9: error: %code qualifier 'bad' is not used
1230 input-c.y:3.7-9: error: %code qualifier 'bad' is not used
1231 input-c.y:4.7-12: error: %code qualifier 'format' is not used
1232 ]])
1233
1234 AT_DATA([input-c-glr.y],
1235 [[%code q {}
1236 %code bad {}
1237  %code bad {}
1238 %%
1239 start: %empty;
1240 ]])
1241 AT_BISON_CHECK([[input-c-glr.y]], [[1]], [],
1242 [[input-c-glr.y:1.7: error: %code qualifier 'q' is not used
1243 input-c-glr.y:2.7-9: error: %code qualifier 'bad' is not used
1244 input-c-glr.y:3.8-10: error: %code qualifier 'bad' is not used
1245 ]])
1246
1247 AT_DATA([input-c++.y],
1248 [[%code q {}
1249 %code bad {}
1250  %code q {}
1251 %%
1252 start: %empty;
1253 ]])
1254 AT_BISON_CHECK([[input-c++.y]], [[1]], [],
1255 [[input-c++.y:1.7: error: %code qualifier 'q' is not used
1256 input-c++.y:2.7-9: error: %code qualifier 'bad' is not used
1257 input-c++.y:3.8: error: %code qualifier 'q' is not used
1258 ]])
1259
1260 AT_DATA([input-c++-glr.y],
1261 [[%code bad {}
1262 %code q {}
1263 %code q {}
1264 %%
1265 start: %empty;
1266 ]])
1267 AT_BISON_CHECK([[input-c++-glr.y]], [[1]], [],
1268 [[input-c++-glr.y:1.7-9: error: %code qualifier 'bad' is not used
1269 input-c++-glr.y:2.7: error: %code qualifier 'q' is not used
1270 input-c++-glr.y:3.7: error: %code qualifier 'q' is not used
1271 ]])
1272
1273 AT_DATA([special-char-@@.y],
1274 [[%code bad {}
1275 %code q {}
1276 %code q {}
1277 %%
1278 start: %empty;
1279 ]])
1280 AT_BISON_CHECK([[special-char-@@.y]], [[1]], [],
1281 [[special-char-@@.y:1.7-9: error: %code qualifier 'bad' is not used
1282 special-char-@@.y:2.7: error: %code qualifier 'q' is not used
1283 special-char-@@.y:3.7: error: %code qualifier 'q' is not used
1284 ]])
1285
1286 AT_DATA([special-char-@:>@.y],
1287 [[%code bad {}
1288 %code q {}
1289 %code q {}
1290 %%
1291 start: %empty;
1292 ]])
1293 AT_BISON_CHECK([[special-char-@:>@.y]], [[1]], [],
1294 [[special-char-@:>@.y:1.7-9: error: %code qualifier 'bad' is not used
1295 special-char-@:>@.y:2.7: error: %code qualifier 'q' is not used
1296 special-char-@:>@.y:3.7: error: %code qualifier 'q' is not used
1297 ]])
1298
1299 AT_CLEANUP
1300
1301
1302 ## ---------------- ##
1303 ## Multiple %code.  ##
1304 ## ---------------- ##
1305
1306 AT_SETUP([Multiple %code])
1307
1308 # Make sure that repeated arguments to %code are separated by
1309 # end-of-lines.  At some point, a missing eol would leave synclines
1310 # appended to the previous value.  Here, we use CPP directive to
1311 # introduce dependency on the absence/presence of the eol.
1312 AT_BISON_OPTION_PUSHDEFS
1313
1314 AT_DATA([input.y],
1315 [[%code {#include <assert.h>}
1316 %code {#define A B}
1317 %code {#define B C}
1318 %code {#define C D}
1319 %code {#define D 42}
1320 %code {
1321   ]AT_YYERROR_DECLARE[
1322   ]AT_YYLEX_DECLARE[
1323 }
1324 %%
1325 start: %empty;
1326 %%
1327 ]AT_YYERROR_DEFINE[
1328 ]AT_YYLEX_DEFINE[
1329 int main (void)
1330 {
1331   assert (A == 42);
1332   return 0;
1333 }
1334 ]])
1335 AT_FULL_COMPILE([input])
1336 AT_PARSER_CHECK([./input])
1337
1338 AT_BISON_OPTION_POPDEFS
1339 AT_CLEANUP()
1340
1341 ## ---------------- ##
1342 ## %define errors.  ##
1343 ## ---------------- ##
1344
1345 AT_SETUP([%define errors])
1346
1347 AT_DATA([input-redefined.y],
1348 [[%define var "value1"
1349 %define var "value1"
1350  %define var "value2"
1351 %define special1 "@:>@"
1352 %define special2 "@<:@"
1353 %%
1354 start: %empty;
1355 ]])
1356
1357 AT_BISON_CHECK([[input-redefined.y]], [[1]], [],
1358 [[input-redefined.y:2.9-11: error: %define variable 'var' redefined
1359 input-redefined.y:1.9-11:     previous definition
1360 input-redefined.y:3.10-12: error: %define variable 'var' redefined
1361 input-redefined.y:2.9-11:      previous definition
1362 ]])
1363
1364 AT_DATA([input-unused.y],
1365 [[%define var "value"
1366 %%
1367 start: %empty;
1368 ]])
1369
1370 AT_BISON_CHECK([[input-unused.y]], [[1]], [],
1371 [[input-unused.y:1.9-11: error: %define variable 'var' is not used
1372 ]])
1373
1374 AT_CLEANUP
1375
1376
1377 ## ----------------------------------- ##
1378 ## %define, --define, --force-define.  ##
1379 ## ----------------------------------- ##
1380
1381 AT_SETUP([[%define, --define, --force-define]])
1382
1383 AT_DATA([[skel.c]],
1384 [[m4@&t@_divert_push(0)@
1385 @output(b4_parser_file_name@)@
1386 [var-dd: ]b4_percent_define_get([[var-dd]])[
1387 var-ff: ]b4_percent_define_get([[var-ff]])[
1388 var-dfg: ]b4_percent_define_get([[var-dfg]])[
1389 var-fd: ]b4_percent_define_get([[var-fd]])
1390 m4@&t@_divert_pop(0)
1391 ]])
1392 AT_DATA([[input.y]],
1393 [[%define var-dfg "gram"
1394 %%
1395 start: %empty;
1396 ]])
1397 AT_BISON_CHECK([[-Dvar-dd=cmd-d1 -Dvar-dd=cmd-d2 \
1398                  -Fvar-ff=cmd-f1 -Fvar-ff=cmd-f2 \
1399                  -Dvar-dfg=cmd-d -Fvar-dfg=cmd-f \
1400                  -Fvar-fd=cmd-f -Dvar-fd=cmd-d   \
1401                  --skeleton ./skel.c input.y]])
1402 AT_CHECK([[cat input.tab.c]], [[0]],
1403 [[var-dd: cmd-d2
1404 var-ff: cmd-f2
1405 var-dfg: cmd-f
1406 var-fd: cmd-d
1407 ]])
1408
1409 AT_DATA([[input-dg.y]],
1410 [[%define var "gram"
1411 %%
1412 start: %empty;
1413 ]])
1414 AT_BISON_CHECK([[-Dvar=cmd-d input-dg.y]], [[1]], [],
1415 [[input-dg.y:1.9-11: error: %define variable 'var' redefined
1416 <command line>:2:      previous definition
1417 ]])
1418
1419 AT_DATA([[input-dg.y]],
1420 [[%define var "gram"
1421 %%
1422 start: %empty;
1423 ]])
1424 AT_BISON_CHECK([[-fcaret -Dvar=cmd-d input-dg.y]], [[1]], [],
1425 [[input-dg.y:1.9-11: error: %define variable 'var' redefined
1426  %define var "gram"
1427          ^^^
1428 <command line>:3:      previous definition
1429 ]])
1430
1431 AT_DATA([[input-unused.y]],
1432 [[%%
1433 start: %empty;
1434 ]])
1435 AT_BISON_CHECK([[-Dunused-d -Funused-f input-unused.y]], [[1]], [],
1436 [[<command line>:2: error: %define variable 'unused-d' is not used
1437 <command line>:3: error: %define variable 'unused-f' is not used
1438 ]])
1439
1440 AT_CLEANUP
1441
1442 ## --------------------------- ##
1443 ## %define Boolean variables.  ##
1444 ## --------------------------- ##
1445
1446 AT_SETUP([["%define" Boolean variables]])
1447
1448 AT_DATA([Input.y],
1449 [[%language "Java"
1450 %define public maybe
1451 %define parser_class_name {Input}
1452 %%
1453 start: %empty;
1454 ]])
1455
1456 AT_BISON_CHECK([[Input.y]], [1], [],
1457 [[Input.y:2.9-14: error: invalid value for %define Boolean variable 'public'
1458 ]])
1459
1460 AT_CLEANUP
1461
1462 ## ------------------------ ##
1463 ## %define code variables.  ##
1464 ## ------------------------ ##
1465
1466 AT_SETUP([["%define" code variables]])
1467
1468 m4_pushdef([AT_TEST],
1469 [AT_DATA([input.yy],
1470 [[%skeleton "lalr1.cc" %locations
1471 %define api.location.type ]$1[quux]$2[
1472 %define api.namespace     ]$1[quux]$2[
1473 %define api.prefix        ]$1[quux]$2[
1474 %define api.token.prefix  ]$1[quux]$2[
1475 %token TOK // Otherwise api.token.prefix is unused.
1476 %%
1477 start: TOK;
1478 ]])
1479
1480 AT_BISON_CHECK([[input.yy]], [0], [],
1481 [[input.yy:2.9-25: warning: %define variable 'api.location.type' requires '{...}' values [-Wdeprecated]
1482 input.yy:4.9-18: warning: %define variable 'api.prefix' requires '{...}' values [-Wdeprecated]
1483 input.yy:5.9-24: warning: %define variable 'api.token.prefix' requires '{...}' values [-Wdeprecated]
1484 input.yy:3.9-21: warning: %define variable 'api.namespace' requires '{...}' values [-Wdeprecated]
1485 ]])
1486 ])
1487
1488 AT_TEST([],  [])
1489 AT_TEST(["], ["])
1490 m4_popdef([AT_TEST])
1491
1492 AT_CLEANUP
1493
1494
1495 ## --------------------------- ##
1496 ## %define keyword variables.  ##
1497 ## --------------------------- ##
1498
1499 AT_SETUP([["%define" keyword variables]])
1500
1501 m4_pushdef([AT_TEST],
1502 [AT_DATA([input.y],
1503 [[%define api.pure                ]$1[true]$2[
1504 %define api.push-pull             ]$1[both]$2[
1505 %define lr.default-reduction      ]$1[most]$2[
1506 %define lr.keep-unreachable-state ]$1[true]$2[
1507 %define lr.type                   ]$1[lalr]$2[
1508 %%
1509 exp: %empty
1510 ]])
1511
1512 AT_BISON_CHECK([[input.y]], [0], [],
1513 [[input.y:5.9-15: warning: %define variable 'lr.type' requires keyword values [-Wdeprecated]
1514 input.y:3.9-28: warning: %define variable 'lr.default-reduction' requires keyword values [-Wdeprecated]
1515 input.y:4.9-33: warning: %define variable 'lr.keep-unreachable-state' requires keyword values [-Wdeprecated]
1516 input.y:2.9-21: warning: %define variable 'api.push-pull' requires keyword values [-Wdeprecated]
1517 input.y:1.9-16: warning: %define variable 'api.pure' requires keyword values [-Wdeprecated]
1518 ]])
1519 ])
1520
1521 AT_TEST(["], ["])
1522 AT_TEST([{], [}])
1523 m4_popdef([AT_TEST])
1524
1525 AT_CLEANUP
1526
1527
1528 ## ------------------------ ##
1529 ## %define enum variables.  ##
1530 ## ------------------------ ##
1531
1532 AT_SETUP([["%define" enum variables]])
1533
1534 # Check errors from the front-end, and the back-end.  Since the
1535 # front-end quits before calling the back-end, these tests cannot be
1536 # fused.
1537
1538 # Front-end.
1539 AT_DATA([[input.y]],
1540 [[%define lr.default-reduction bogus
1541 %%
1542 start: %empty;
1543 ]])
1544 AT_BISON_CHECK([[-fcaret input.y]], [[1]], [[]],
1545 [[input.y:1.9-28: error: invalid value for %define variable 'lr.default-reduction': 'bogus'
1546  %define lr.default-reduction bogus
1547          ^^^^^^^^^^^^^^^^^^^^
1548 input.y:1.9-28:     accepted value: 'most'
1549 input.y:1.9-28:     accepted value: 'consistent'
1550 input.y:1.9-28:     accepted value: 'accepting'
1551 ]])
1552
1553 # Back-end.
1554 AT_DATA([[input.y]],
1555 [[%define api.push-pull neither
1556 %%
1557 start: %empty;
1558 ]])
1559 AT_BISON_CHECK([[-fcaret input.y]], [[1]], [[]],
1560 [[input.y:1.9-21: error: invalid value for %define variable 'api.push-pull': 'neither'
1561  %define api.push-pull neither
1562          ^^^^^^^^^^^^^
1563 input.y:1.9-21:     accepted value: 'pull'
1564 input.y:1.9-21:     accepted value: 'push'
1565 input.y:1.9-21:     accepted value: 'both'
1566 ]])
1567
1568 AT_CLEANUP
1569
1570 ## -------------------------------- ##
1571 ## %define backward compatibility.  ##
1572 ## -------------------------------- ##
1573
1574 AT_SETUP([["%define" backward compatibility]])
1575
1576 # The error messages tell us whether the variables are properly updated.
1577 AT_DATA([[input.y]],
1578 [[%define api.push_pull both
1579 %define lr.keep_unreachable_states maybe
1580 %define namespace "foo"
1581 %define api.namespace {foo}
1582 %define variant
1583 %%
1584 start: %empty;
1585 ]])
1586 AT_BISON_CHECK([[-fcaret input.y]], [1], [],
1587 [[input.y:1.9-21: warning: deprecated directive, use '%define api.push-pull both' [-Wdeprecated]
1588  %define api.push_pull both
1589          ^^^^^^^^^^^^^
1590 input.y:2.9-34: warning: deprecated directive, use '%define lr.keep-unreachable-state maybe' [-Wdeprecated]
1591  %define lr.keep_unreachable_states maybe
1592          ^^^^^^^^^^^^^^^^^^^^^^^^^^
1593 input.y:3.9-17: warning: deprecated directive, use '%define api.namespace foo' [-Wdeprecated]
1594  %define namespace "foo"
1595          ^^^^^^^^^
1596 input.y:4.9-21: error: %define variable 'api.namespace' redefined
1597  %define api.namespace {foo}
1598          ^^^^^^^^^^^^^
1599 input.y:3.9-17:     previous definition
1600  %define namespace "foo"
1601          ^^^^^^^^^
1602 input.y:5.9-15: warning: deprecated directive, use '%define api.value.type variant' [-Wdeprecated]
1603  %define variant
1604          ^^^^^^^
1605 ]])
1606
1607 AT_CLEANUP
1608
1609 ## ------------------------- ##
1610 ## Unused %define api.pure.  ##
1611 ## ------------------------- ##
1612
1613 AT_SETUP([[Unused %define api.pure]])
1614
1615 # AT_CHECK_API_PURE(DECLS, VALUE)
1616 # -------------------------------
1617 # Make sure Bison reports that '%define api.pure VALUE' is unused when DECLS
1618 # are specified.
1619 m4_define([AT_CHECK_API_PURE],
1620 [
1621 AT_DATA([[input.y]],
1622 [[%define api.pure ]$2[
1623 ]$1[
1624 %%
1625 start: %empty;
1626 ]])
1627
1628 AT_BISON_CHECK([[input.y]], [[1]], [],
1629 [[input.y:1.9-16: error: %define variable 'api.pure' is not used
1630 ]])
1631 ])
1632
1633 AT_CHECK_API_PURE([[%language "c++"]], [[]])
1634 AT_CHECK_API_PURE([[%language "c++"]], [[false]])
1635 AT_CHECK_API_PURE([[%language "c++" %glr-parser]], [[""]])
1636 AT_CHECK_API_PURE([[%language "c++" %glr-parser]], [[false]])
1637 AT_CHECK_API_PURE([[%language "java"]], [[true]])
1638 AT_CHECK_API_PURE([[%language "java"]], [[false]])
1639
1640 AT_CLEANUP
1641
1642 ## -------------------------------- ##
1643 ## C++ namespace reference errors.  ##
1644 ## -------------------------------- ##
1645
1646 AT_SETUP([[C++ namespace reference errors]])
1647
1648 # AT_CHECK_NAMESPACE_ERROR(NAMESPACE-DECL, ERROR, [ERROR], ...)
1649 # -------------------------------------------------------------
1650 # Make sure Bison reports all ERROR's for %define namespace "NAMESPACE-DECL".
1651 m4_define([AT_CHECK_NAMESPACE_ERROR],
1652 [
1653 AT_DATA([[input.y]],
1654 [[%language "C++"
1655 %defines
1656 %define api.namespace {]$1[}
1657 %%
1658 start: %empty;
1659 ]])
1660
1661 AT_BISON_CHECK([[input.y]], [1], [],
1662 [m4_foreach([b4_arg], m4_dquote(m4_shift($@)),
1663 [[input.y:3.9-21: error: ]b4_arg[
1664 ]])])
1665 ])
1666
1667 AT_CHECK_NAMESPACE_ERROR([[]],
1668                          [[namespace reference is empty]])
1669 AT_CHECK_NAMESPACE_ERROR([[ @tb@@tb@  @tb@ @tb@]],
1670                          [[namespace reference is empty]])
1671 AT_CHECK_NAMESPACE_ERROR([[foo::::bar]],
1672                          [[namespace reference has consecutive "::"]])
1673 AT_CHECK_NAMESPACE_ERROR([[foo:: @tb@::bar]],
1674                          [[namespace reference has consecutive "::"]])
1675 AT_CHECK_NAMESPACE_ERROR([[::::bar]],
1676                          [[namespace reference has consecutive "::"]])
1677 AT_CHECK_NAMESPACE_ERROR([[:: ::bar]],
1678                          [[namespace reference has consecutive "::"]])
1679 AT_CHECK_NAMESPACE_ERROR([[foo::bar::@tb@::]],
1680                          [[namespace reference has consecutive "::"]],
1681                          [[namespace reference has a trailing "::"]])
1682 AT_CHECK_NAMESPACE_ERROR([[foo::bar::]],
1683                          [[namespace reference has a trailing "::"]])
1684 AT_CHECK_NAMESPACE_ERROR([[foo::bar:: @tb@]],
1685                          [[namespace reference has a trailing "::"]])
1686 AT_CHECK_NAMESPACE_ERROR([[::]],
1687                          [[namespace reference has a trailing "::"]])
1688
1689 AT_CLEANUP
1690
1691 ## ------------------------ ##
1692 ## Bad character literals.  ##
1693 ## ------------------------ ##
1694
1695 # Bison used to accept character literals that were empty or contained
1696 # too many characters.
1697
1698 # FIXME: AT_DATA or some variant of AT_DATA may eventually permit
1699 # the final newline to be omitted.  See the threads starting at
1700 # <http://lists.gnu.org/archive/html/bison-patches/2009-07/msg00019.html>.
1701
1702 AT_SETUP([[Bad character literals]])
1703
1704 AT_DATA([empty.y],
1705 [[%%
1706 start: '';
1707 start: '
1708 ]])
1709 AT_CHECK([[$PERL -e "print 'start: \'';" >> empty.y || exit 77]])
1710
1711 AT_BISON_CHECK([-fcaret empty.y], [1], [],
1712 [[empty.y:2.8-9: warning: empty character literal [-Wother]
1713  start: '';
1714         ^^
1715 empty.y:3.8-4.0: error: missing "'" at end of line
1716  start: '
1717         ^
1718 empty.y:3.8-4.0: warning: empty character literal [-Wother]
1719  start: '
1720         ^
1721 empty.y:4.8: error: missing "'" at end of file
1722  start: '
1723         ^
1724 empty.y:4.8: warning: empty character literal [-Wother]
1725  start: '
1726         ^
1727 ]])
1728
1729 AT_DATA([two.y],
1730 [[%%
1731 start: 'ab';
1732 start: 'ab
1733 ]])
1734 AT_CHECK([[$PERL -e "print 'start: \'ab';" >> two.y || exit 77]])
1735
1736 AT_BISON_CHECK([two.y], [1], [],
1737 [[two.y:2.8-11: warning: extra characters in character literal [-Wother]
1738 two.y:3.8-4.0: error: missing "'" at end of line
1739 two.y:3.8-4.0: warning: extra characters in character literal [-Wother]
1740 two.y:4.8-10: error: missing "'" at end of file
1741 two.y:4.8-10: warning: extra characters in character literal [-Wother]
1742 ]])
1743
1744 AT_DATA([three.y],
1745 [[%%
1746 start: 'abc';
1747 start: 'abc
1748 ]])
1749 AT_CHECK([[$PERL -e "print 'start: \'abc';" >> three.y || exit 77]])
1750
1751 AT_BISON_CHECK([three.y], [1], [],
1752 [[three.y:2.8-12: warning: extra characters in character literal [-Wother]
1753 three.y:3.8-4.0: error: missing "'" at end of line
1754 three.y:3.8-4.0: warning: extra characters in character literal [-Wother]
1755 three.y:4.8-11: error: missing "'" at end of file
1756 three.y:4.8-11: warning: extra characters in character literal [-Wother]
1757 ]])
1758
1759 AT_CLEANUP
1760
1761 ## ------------------------- ##
1762 ## Bad escapes in literals.  ##
1763 ## ------------------------- ##
1764
1765 AT_SETUP([[Bad escapes in literals]])
1766
1767 AT_DATA([input.y],
1768 [[%%
1769 start: '\777' '\0' '\xfff' '\x0'
1770        '\uffff' '\u0000' '\Uffffffff' '\U00000000'
1771        '\ ' '\A';
1772 ]])
1773
1774 # It is not easy to create special characters, we cannot even trust tr.
1775 # Beside we cannot even expect "echo '\0'" to output two characters
1776 # (well three with \n): at least Bash 3.2 converts the two-character
1777 # sequence "\0" into a single NUL character.
1778 AT_CHECK([[$PERL -e 'print "start: \"\\\t\\\f\\\0\\\1\" ;";' >> input.y \
1779            || exit 77]])
1780
1781 AT_BISON_CHECK([input.y], [1], [],
1782 [[input.y:2.9-12: error: invalid number after \-escape: 777
1783 input.y:2.8-13: warning: empty character literal [-Wother]
1784 input.y:2.16-17: error: invalid number after \-escape: 0
1785 input.y:2.15-18: warning: empty character literal [-Wother]
1786 input.y:2.21-25: error: invalid number after \-escape: xfff
1787 input.y:2.20-26: warning: empty character literal [-Wother]
1788 input.y:2.29-31: error: invalid number after \-escape: x0
1789 input.y:2.28-32: warning: empty character literal [-Wother]
1790 input.y:3.9-14: error: invalid number after \-escape: uffff
1791 input.y:3.8-15: warning: empty character literal [-Wother]
1792 input.y:3.18-23: error: invalid number after \-escape: u0000
1793 input.y:3.17-24: warning: empty character literal [-Wother]
1794 input.y:3.27-36: error: invalid number after \-escape: Uffffffff
1795 input.y:3.26-37: warning: empty character literal [-Wother]
1796 input.y:3.40-49: error: invalid number after \-escape: U00000000
1797 input.y:3.39-50: warning: empty character literal [-Wother]
1798 input.y:4.9-10: error: invalid character after \-escape: ' '
1799 input.y:4.8-11: warning: empty character literal [-Wother]
1800 input.y:4.14-15: error: invalid character after \-escape: A
1801 input.y:4.13-16: warning: empty character literal [-Wother]
1802 input.y:5.9-16: error: invalid character after \-escape: \t
1803 input.y:5.17: error: invalid character after \-escape: \f
1804 input.y:5.18: error: invalid character after \-escape: \0
1805 input.y:5.19: error: invalid character after \-escape: \001
1806 ]])
1807
1808 AT_CLEANUP
1809
1810 ## ------------------------- ##
1811 ## LAC: Errors for %define.  ##
1812 ## ------------------------- ##
1813
1814 AT_SETUP([[LAC: Errors for %define]])
1815
1816 AT_DATA([[input.y]],
1817 [[%%
1818 start: %empty;
1819 ]])
1820
1821 # parse.lac.* options are useless if LAC isn't actually activated.
1822 AT_BISON_CHECK([[-Dparse.lac.es-capacity-initial=1 input.y]],
1823                [[1]], [],
1824 [[<command line>:2: error: %define variable 'parse.lac.es-capacity-initial' is not used
1825 ]])
1826 AT_BISON_CHECK([[-Dparse.lac.memory-trace=full input.y]],
1827                [[1]], [],
1828 [[<command line>:2: error: %define variable 'parse.lac.memory-trace' is not used
1829 ]])
1830
1831 AT_CLEANUP
1832
1833 ## ---------------------- ##
1834 ## -Werror combinations.  ##
1835 ## ---------------------- ##
1836
1837 AT_SETUP([[-Werror combinations]])
1838
1839 AT_DATA([[input.y]],
1840 [[%%
1841 a: '0' { $$ = $; };
1842 ]])
1843
1844 # -Werror is not enabled by -Wall or equivalent.
1845 AT_BISON_CHECK([[-Wall input.y]], [[0]], [[]],
1846 [[input.y:2.15: warning: stray '$' [-Wother]
1847 ]])
1848 AT_BISON_CHECK([[-W input.y]], [[0]], [[]],
1849 [[input.y:2.15: warning: stray '$' [-Wother]
1850 ]])
1851 AT_BISON_CHECK([[-Wno-none input.y]], [[0]], [[]],
1852 [[input.y:2.15: warning: stray '$' [-Wother]
1853 ]])
1854
1855 # -Werror is not disabled by -Wnone or equivalent.
1856 AT_BISON_CHECK([[-Werror,none,other input.y]], [[1]], [[]],
1857 [[input.y:2.15: error: stray '$' [-Werror=other]
1858 ]])
1859 AT_BISON_CHECK([[-Werror,no-all,other input.y]], [[1]], [[]],
1860 [[input.y:2.15: error: stray '$' [-Werror=other]
1861 ]])
1862
1863 # Check that -Wno-error keeps warnings enabled, but non fatal.
1864 AT_BISON_CHECK([[-Werror -Wno-error=other input.y]], [[0]], [[]],
1865 [[input.y:2.15: warning: stray '$' [-Wother]
1866 ]])
1867
1868 AT_BISON_CHECK([[-Wno-error=other -Werror input.y]], [[0]], [[]],
1869 [[input.y:2.15: warning: stray '$' [-Wother]
1870 ]])
1871
1872 AT_BISON_CHECK([[-Werror=other -Wno-other input.y]], [[0]], [[]],
1873 [[]])
1874
1875 AT_CLEANUP
1876
1877
1878 ## ------------------------------------------------------ ##
1879 ## %name-prefix and %define api.prefix are incompatible.  ##
1880 ## ------------------------------------------------------ ##
1881
1882 AT_SETUP([[%name-prefix and api.prefix are incompatible]])
1883
1884 # AT_TEST(DIRECTIVES, OPTIONS, ERROR-LOCATION)
1885 # --------------------------------------------
1886 m4_pushdef([AT_TEST],
1887 [AT_DATA([[input.y]],
1888 [[$1
1889 %%
1890 exp: %empty;
1891 ]])
1892 AT_BISON_CHECK([[$2 input.y]], [[1]], [[]],
1893 [[$3: error: '%name-prefix' and '%define api.prefix' cannot be used together
1894 ]])
1895 ])
1896
1897 AT_TEST([%define api.prefix {foo} %name-prefix "bar"], [], [input.y:1.9-18])
1898 AT_TEST([], [-Dapi.prefix={foo} -p bar], [<command line>:2])
1899 AT_TEST([%name-prefix "bar"], [-Dapi.prefix={foo}], [<command line>:2])
1900 AT_TEST([%define api.prefix {foo}], [-p bar], [input.y:1.9-18])
1901
1902 m4_popdef([AT_TEST])
1903
1904 AT_CLEANUP
1905
1906
1907 ## ----------------------- ##
1908 ## Redefined %union name.  ##
1909 ## ----------------------- ##
1910
1911 AT_SETUP([[Redefined %union name]])
1912
1913 # AT_TEST(DIRECTIVES, ERROR)
1914 # --------------------------
1915 m4_pushdef([AT_TEST],
1916 [AT_DATA([[input.y]],
1917 [$1
1918 %%
1919 exp: %empty;
1920 ])
1921
1922 AT_BISON_CHECK([[input.y]], [[1]], [[]],
1923 [$2])
1924 ])
1925
1926 AT_TEST([[%union foo {};
1927 %union {};
1928 %union foo {};
1929 %define api.value.union.name foo]],
1930 [[input.y:3.8-10: error: %define variable 'api.value.union.name' redefined
1931 input.y:1.8-10:     previous definition
1932 input.y:4.9-28: error: %define variable 'api.value.union.name' redefined
1933 input.y:3.8-10:     previous definition
1934 ]])
1935
1936 AT_TEST([[%define api.value.union.name {foo}]],
1937 [[input.y:1.9-28: error: %define variable 'api.value.union.name' requires keyword values
1938 input.y:1.9-28: error: %define variable 'api.value.union.name' is not used
1939 ]])
1940
1941 AT_TEST([[%define api.value.union.name "foo"]],
1942 [[input.y:1.9-28: error: %define variable 'api.value.union.name' requires keyword values
1943 input.y:1.9-28: error: %define variable 'api.value.union.name' is not used
1944 ]])
1945
1946 m4_popdef([AT_TEST])
1947 AT_CLEANUP
1948
1949
1950
1951
1952 ## -------------- ##
1953 ## Stray $ or @.  ##
1954 ## -------------- ##
1955
1956 AT_SETUP([[Stray $ or @]])
1957
1958 # Give %printer and %destructor "<*> exp TOK" instead of "<*>" to
1959 # check that the warnings are reported once, not three times.
1960
1961 AT_DATA_GRAMMAR([[input.y]],
1962 [[%type <TYPE> exp
1963 %token <TYPE> TOK TOK2
1964 %destructor     { $%; @%; } <*> exp TOK;
1965 %initial-action { $%; @%; };
1966 %printer        { $%; @%; } <*> exp TOK;
1967 %{ $ @ %} // Should not warn.
1968 %%
1969 exp: TOK        { $%; @%; $$ = $1; };
1970 %%
1971 $ @ // Should not warn.
1972 ]])
1973
1974 AT_BISON_CHECK([[-Wall input.y]], 0, [],
1975 [[input.y:11.19: warning: stray '$' [-Wother]
1976 input.y:11.23: warning: stray '@' [-Wother]
1977 input.y:12.19: warning: stray '$' [-Wother]
1978 input.y:12.23: warning: stray '@' [-Wother]
1979 input.y:13.19: warning: stray '$' [-Wother]
1980 input.y:13.23: warning: stray '@' [-Wother]
1981 input.y:16.19: warning: stray '$' [-Wother]
1982 input.y:16.23: warning: stray '@' [-Wother]
1983 ]])
1984
1985 AT_CLEANUP
1986
1987
1988
1989 ## ---------------- ##
1990 ## Code injection.  ##
1991 ## ---------------- ##
1992
1993
1994 AT_SETUP([[Code injection]])
1995
1996 m4_pattern_allow([^m4_errprintn$])
1997
1998 # AT_TEST([MACRO])
1999 # ----------------
2000 # Try to have MACRO be run by bison.
2001 m4_pushdef([AT_TEST],
2002 [AT_DATA([[input.y]],
2003 [[%type <$1(DEAD %type)> exp
2004 %token <$1(DEAD %token)> a
2005 %token b
2006 %initial-action
2007 {
2008   $$;
2009   $<$1(DEAD %initial-action)>$
2010 };
2011 %printer
2012 {
2013   $$
2014   $<$1(DEAD %printer)>$
2015 } <> <*>;
2016 %lex-param
2017 {
2018   $1(DEAD %lex-param)
2019 };
2020 %parse-param
2021 {
2022   $1(DEAD %parse-param)
2023 };
2024 %%
2025 exp:
2026   a a[name] b
2027   {
2028     $$;
2029     $][1;
2030     $<$1(DEAD action 1)>$
2031     $<$1(DEAD action 2)>1
2032     $<$1(DEAD action 3)>name
2033     $<$1(DEAD action 4)>0
2034     ;
2035   };
2036 ]])
2037
2038 # FIXME: Provide a means to iterate over all the skeletons.
2039 AT_BISON_CHECK([[-d               input.y]])
2040 AT_BISON_CHECK([[-d -S glr.c      input.y]])
2041 AT_BISON_CHECK([[-d -S lalr1.cc   input.y]])
2042 AT_BISON_CHECK([[-d -S glr.cc     input.y]])
2043 AT_BISON_CHECK([[   -S lalr1.java input.y]])
2044 ])
2045
2046 AT_TEST([m4_errprintn])
2047 AT_TEST([@:>@m4_errprintn])
2048
2049 m4_popdef([AT_TEST])
2050
2051 AT_CLEANUP
2052
2053 ##----------------------- ##
2054 ## Deprecated directives. ##
2055 ## ---------------------- ##
2056
2057 AT_SETUP([[Deprecated directives]])
2058
2059 AT_KEYWORDS([[deprec]])
2060
2061 AT_DATA_GRAMMAR([[input.y]],
2062 [[
2063 %default_prec
2064 %error_verbose
2065 %expect_rr 0
2066 %file-prefix = "foo"
2067 %file-prefix
2068  =
2069 "bar"
2070 %fixed-output_files
2071 %fixed_output-files
2072 %fixed-output-files
2073 %name-prefix= "foo"
2074 %no-default_prec
2075 %no_default-prec
2076 %no_lines
2077 %output = "foo"
2078 %pure_parser
2079 %token_table
2080 %glr-parser
2081 %% exp : '0'
2082 ]])
2083
2084 AT_BISON_CHECK([[input.y]], [[0]], [[]],
2085 [[input.y:10.1-13: warning: deprecated directive: '%default_prec', use '%default-prec' [-Wdeprecated]
2086 input.y:11.1-14: warning: deprecated directive: '%error_verbose', use '%define parse.error verbose' [-Wdeprecated]
2087 input.y:12.1-10: warning: deprecated directive: '%expect_rr', use '%expect-rr' [-Wdeprecated]
2088 input.y:13.1-14: warning: deprecated directive: '%file-prefix =', use '%file-prefix' [-Wdeprecated]
2089 input.y:14.1-15.2: warning: deprecated directive: '%file-prefix\n =', use '%file-prefix' [-Wdeprecated]
2090 input.y:17.1-19: warning: deprecated directive: '%fixed-output_files', use '%fixed-output-files' [-Wdeprecated]
2091 input.y:18.1-19: warning: deprecated directive: '%fixed_output-files', use '%fixed-output-files' [-Wdeprecated]
2092 input.y:20.1-13: warning: deprecated directive: '%name-prefix=', use '%name-prefix' [-Wdeprecated]
2093 input.y:21.1-16: warning: deprecated directive: '%no-default_prec', use '%no-default-prec' [-Wdeprecated]
2094 input.y:22.1-16: warning: deprecated directive: '%no_default-prec', use '%no-default-prec' [-Wdeprecated]
2095 input.y:23.1-9: warning: deprecated directive: '%no_lines', use '%no-lines' [-Wdeprecated]
2096 input.y:24.1-9: warning: deprecated directive: '%output =', use '%output' [-Wdeprecated]
2097 input.y:25.1-12: warning: deprecated directive: '%pure_parser', use '%pure-parser' [-Wdeprecated]
2098 input.y:26.1-12: warning: deprecated directive: '%token_table', use '%token-table' [-Wdeprecated]
2099 ]])
2100
2101 AT_CLEANUP
2102
2103 ## ---------------------------- ##
2104 ## Unput's effect on locations. ##
2105 ## ---------------------------- ##
2106 dnl When the scanner detects a deprecated construct, it unputs the correct
2107 dnl version, but it should *not* have any impact on the scanner cursor. If it
2108 dnl does, the locations of directives on the same line become erroneous.
2109
2110 AT_SETUP([[Unput's effect on locations]])
2111
2112 AT_KEYWORDS([[deprec]])
2113
2114 AT_DATA_GRAMMAR([[input.y]],
2115 [[
2116 %glr-parser
2117 %expect_rr 42 %expect_rr 42
2118               %expect_rr 42
2119 %error_verbose %error_verbose
2120                %error_verbose
2121 %% exp: '0'
2122 ]])
2123
2124 AT_BISON_CHECK([[input.y]], [[1]], [[]],
2125 [[input.y:11.1-10: warning: deprecated directive: '%expect_rr', use '%expect-rr' [-Wdeprecated]
2126 input.y:11.15-24: warning: deprecated directive: '%expect_rr', use '%expect-rr' [-Wdeprecated]
2127 input.y:12.15-24: warning: deprecated directive: '%expect_rr', use '%expect-rr' [-Wdeprecated]
2128 input.y:13.1-14: warning: deprecated directive: '%error_verbose', use '%define parse.error verbose' [-Wdeprecated]
2129 input.y:13.16-29: warning: deprecated directive: '%error_verbose', use '%define parse.error verbose' [-Wdeprecated]
2130 input.y:13.11-21: error: %define variable 'parse.error' redefined
2131 input.y:13-6:         previous definition
2132 input.y:14.16-29: warning: deprecated directive: '%error_verbose', use '%define parse.error verbose' [-Wdeprecated]
2133 input.y:14.11-21: error: %define variable 'parse.error' redefined
2134 input.y:13.11-21:     previous definition
2135 ]])
2136
2137 AT_CLEANUP
2138
2139 ##--------------------------- ##
2140 ## Non-deprecated directives. ##
2141 ## -------------------------- ##
2142
2143 AT_SETUP([[Non-deprecated directives]])
2144
2145 AT_KEYWORDS([[deprec]])
2146
2147 AT_DATA_GRAMMAR([[input.y]],
2148 [[
2149 %default-prec
2150 %error-verbose
2151 %expect-rr 42
2152 %file-prefix "foo"
2153 %file-prefix
2154 "bar"
2155 %fixed-output-files
2156 %name-prefix "foo"
2157 %no-default-prec
2158 %no-lines
2159 %output "foo"
2160 %pure-parser
2161 %token-table
2162 %% exp : '0'
2163 ]])
2164
2165 AT_BISON_CHECK([[input.y]], [[0]], [[]],
2166 [[input.y: warning: %expect-rr applies only to GLR parsers [-Wother]
2167 ]])
2168
2169 AT_CLEANUP