tests/input.at

   1 # Checking the Bison scanner.                    -*- Autotest -*-
   2
   3 # Copyright (C) 2002-2012 Free Software Foundation, Inc.
   4
   5 # This program is free software: you can redistribute it and/or modify
   6 # it under the terms of the GNU General Public License as published by
   7 # the Free Software Foundation, either version 3 of the License, or
   8 # (at your option) any later version.
   9 #
  10 # This program is distributed in the hope that it will be useful,
  11 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  12 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  13 # GNU General Public License for more details.
  14 #
  15 # You should have received a copy of the GNU General Public License
  16 # along with this program.  If not, see <http://www.gnu.org/licenses/>.
  17
  18 AT_BANNER([[Input Processing.]])
  19
  20 # Mostly test that we are robust to mistakes.
  21
  22
  23 ## ---------------- ##
  24 ## Invalid inputs.  ##
  25 ## ---------------- ##
  26
  27 AT_SETUP([Invalid inputs])
  28
  29 AT_DATA([input.y],
  30 [[\000\001\002\377?
  31 %%
  32 ?
  33 default: 'a' }
  34 %&
  35 %a-does-not-exist
  36 %-
  37 %{
  38 ]])
  39 AT_CHECK([[$PERL -pi -e 's/\\(\d{3})/chr(oct($1))/ge' input.y || exit 77]])
  40
  41 AT_BISON_CHECK([input.y], [1], [],
  42 [[input.y:1.1: error: invalid character: '\0'
  43 input.y:1.1: error: invalid character: '\001'
  44 input.y:1.1: error: invalid character: '\002'
  45 input.y:1.1: error: invalid character: '\377'
  46 input.y:1.2: error: invalid character: '?'
  47 input.y:3.1: error: invalid character: '?'
  48 input.y:4.14: error: invalid character: '}'
  49 input.y:5.1: error: invalid character: '%'
  50 input.y:5.2: error: invalid character: '&'
  51 input.y:6.1-17: error: invalid directive: '%a-does-not-exist'
  52 input.y:7.1: error: invalid character: '%'
  53 input.y:7.2: error: invalid character: '-'
  54 input.y:8.1-9.0: error: missing '%}' at end of file
  55 input.y:8.1-9.0: error: syntax error, unexpected %{...%}
  56 ]])
  57
  58 AT_CLEANUP
  59
  60
  61 AT_SETUP([Invalid inputs with {}])
  62
  63 # We used to SEGV here.  See
  64 # http://lists.gnu.org/archive/html/bug-bison/2005-07/msg00053.html
  65
  66 AT_DATA([input.y],
  67 [[
  68 %destructor
  69 %initial-action
  70 %lex-param
  71 %parse-param
  72 %printer
  73 %union
  74 ]])
  75
  76 AT_BISON_CHECK([input.y], [1], [],
  77 [[input.y:3.1-15: error: syntax error, unexpected %initial-action, expecting {...}
  78 ]])
  79
  80 AT_CLEANUP
  81
  82
  83
  84 ## ------------ ##
  85 ## Invalid $n.  ##
  86 ## ------------ ##
  87
  88 AT_SETUP([Invalid $n and @n])
  89
  90 AT_DATA([input.y],
  91 [[%%
  92 exp: { $$ = $1 ; };
  93 exp: { @$ = @1 ; };
  94 ]])
  95
  96 AT_BISON_CHECK([input.y], [1], [],
  97 [[input.y:2.13-14: error: integer out of range: '$1'
  98 input.y:3.13-14: error: integer out of range: '@1'
  99 ]])
 100
 101 AT_CLEANUP
 102
 103
 104 ## -------------- ##
 105 ## Type Clashes.  ##
 106 ## -------------- ##
 107
 108 AT_SETUP([Type Clashes])
 109
 110 AT_DATA([input.y],
 111 [[%union { int bar; }
 112 %token foo
 113 %type <bar> exp
 114 %%
 115 exp: foo { $$; } foo { $2; } foo
 116    | foo
 117    | /* Empty. */
 118    ;
 119 ]])
 120
 121 AT_BISON_CHECK([input.y], [1], [],
 122 [[input.y:5.12-13: error: $$ for the midrule at $2 of 'exp' has no declared type
 123 input.y:5.24-25: error: $2 of 'exp' has no declared type
 124 input.y:5.6-32: warning: type clash on default action: <bar> != <>
 125 input.y:6.6-8: warning: type clash on default action: <bar> != <>
 126 input.y:7.5: warning: empty rule for typed nonterminal, and no action
 127 ]])
 128
 129 AT_CLEANUP
 130
 131
 132 # _AT_UNUSED_VALUES_DECLARATIONS()
 133 # --------------------------------
 134 # Generate the token, type, and destructor
 135 # declarations for the unused values tests.
 136
 137 m4_define([_AT_UNUSED_VALUES_DECLARATIONS],
 138 [[[%token <integer> INT;
 139 %type <integer> a b c d e f g h i j k l;
 140 %destructor { destroy ($$); } INT a b c d e f g h i j k l;]]])
 141
 142
 143 # AT_CHECK_UNUSED_VALUES(DECLARATIONS_AFTER, CHECK_MIDRULE_VALUES)
 144 # ------------------------------------------------------------------
 145 # Generate a grammar to test unused values,
 146 # compile it, run it.  If DECLARATIONS_AFTER
 147 # is set, then the token, type, and destructor
 148 # declarations are generated after the rules
 149 # rather than before.  If CHECK_MIDRULE_VALUES
 150 # is set, then --warnings=midrule-values is
 151 # set.
 152
 153 m4_define([AT_CHECK_UNUSED_VALUES],
 154 [AT_DATA([input.y],
 155 m4_ifval($1, [
 156
 157
 158 ], [_AT_UNUSED_VALUES_DECLARATIONS
 159 ])[[%%
 160 start:
 161   'a' a { $]2[; } | 'b' b { $]2[; } | 'c' c { $]2[; } | 'd' d { $]2[; }
 162 | 'e' e { $]2[; } | 'f' f { $]2[; } | 'g' g { $]2[; } | 'h' h { $]2[; }
 163 | 'i' i { $]2[; } | 'j' j { $]2[; } | 'k' k { $]2[; } | 'l' l { $]2[; }
 164 ;
 165
 166 a: INT | INT { } INT { } INT { };
 167 b: INT | /* empty */;
 168 c: INT | INT { $]1[; } INT { $<integer>2; } INT { $<integer>4; };
 169 d: INT | INT { } INT { $]1[; } INT { $<integer>2; };
 170 e: INT | INT { } INT {  } INT { $]1[; };
 171 f: INT | INT { } INT {  } INT { $]$[ = $]1[ + $]3[ + $]5[; };
 172 g: INT | INT { $<integer>$; } INT { $<integer>$; } INT { };
 173 h: INT | INT { $<integer>$; } INT { $<integer>$ = $<integer>2; } INT { };
 174 i: INT | INT INT { } { $]$[ = $]1[ + $]2[; };
 175 j: INT | INT INT { $<integer>$ = 1; } { $]$[ = $]1[ + $]2[; };
 176 k: INT | INT INT { $<integer>$; } { $<integer>$ = $<integer>3; } { };
 177 l: INT | INT { $<integer>$ = $<integer>1; } INT { $<integer>$ = $<integer>2 + $<integer>3; } INT { $<integer>$ = $<integer>4 + $<integer>5; };]]m4_ifval($1, [
 178 _AT_UNUSED_VALUES_DECLARATIONS])
 179 )
 180
 181 AT_BISON_CHECK(m4_ifval($2, [ --warnings=midrule-values ])[ input.y], [0], [],
 182 [[input.y:11.10-32: warning: unset value: $]$[
 183 input.y:11.10-32: warning: unused value: $]1[
 184 input.y:11.10-32: warning: unused value: $]3[
 185 input.y:11.10-32: warning: unused value: $]5[
 186 input.y:12.9: warning: empty rule for typed nonterminal, and no action
 187 ]]m4_ifval($2, [[[input.y:13.14-20: warning: unset value: $$
 188 input.y:13.26-41: warning: unset value: $$
 189 ]]])[[input.y:13.10-62: warning: unset value: $]$[
 190 input.y:13.10-62: warning: unused value: $]3[
 191 input.y:13.10-62: warning: unused value: $]5[
 192 ]]m4_ifval($2, [[[input.y:14.14-16: warning: unset value: $$
 193 ]]])[[input.y:14.10-49: warning: unset value: $]$[
 194 input.y:14.10-49: warning: unused value: $]3[
 195 input.y:14.10-49: warning: unused value: $]5[
 196 input.y:15.10-37: warning: unset value: $]$[
 197 input.y:15.10-37: warning: unused value: $]3[
 198 input.y:15.10-37: warning: unused value: $]5[
 199 input.y:17.10-58: warning: unset value: $]$[
 200 input.y:17.10-58: warning: unused value: $]1[
 201 ]]m4_ifval($2, [[[input.y:17.10-58: warning: unused value: $]2[
 202 ]]])[[input.y:17.10-58: warning: unused value: $]3[
 203 ]]m4_ifval($2, [[[input.y:17.10-58: warning: unused value: $]4[
 204 ]]])[[input.y:17.10-58: warning: unused value: $]5[
 205 input.y:18.10-72: warning: unset value: $]$[
 206 input.y:18.10-72: warning: unused value: $]1[
 207 input.y:18.10-72: warning: unused value: $]3[
 208 ]]m4_ifval($2, [[[input.y:18.10-72: warning: unused value: $]4[
 209 ]]])[[input.y:18.10-72: warning: unused value: $]5[
 210 ]]m4_ifval($2, [[[input.y:20.10-55: warning: unused value: $]3[
 211 ]]])[[input.y:21.10-68: warning: unset value: $]$[
 212 input.y:21.10-68: warning: unused value: $]1[
 213 input.y:21.10-68: warning: unused value: $]2[
 214 ]]m4_ifval($2, [[[input.y:21.10-68: warning: unused value: $]4[
 215 ]]]))])
 216
 217
 218 ## --------------- ##
 219 ## Unused values.  ##
 220 ## --------------- ##
 221
 222 AT_SETUP([Unused values])
 223 AT_CHECK_UNUSED_VALUES
 224 AT_CHECK_UNUSED_VALUES(, [1])
 225 AT_CLEANUP
 226
 227
 228 ## ------------------------------------------ ##
 229 ## Unused values before symbol declarations.  ##
 230 ## ------------------------------------------ ##
 231
 232 AT_SETUP([Unused values before symbol declarations])
 233 AT_CHECK_UNUSED_VALUES([1])
 234 AT_CHECK_UNUSED_VALUES([1], [1])
 235 AT_CLEANUP
 236
 237
 238 ## --------------------------------------------- ##
 239 ## Default %printer and %destructor redeclared.  ##
 240 ## --------------------------------------------- ##
 241
 242 AT_SETUP([Default %printer and %destructor redeclared])
 243
 244 AT_DATA([[input.y]],
 245 [[%destructor { destroy ($$); } <*> <*>
 246 %printer { print ($$); } <*> <*>
 247
 248 %destructor { destroy ($$); } <*>
 249 %printer { print ($$); } <*>
 250
 251 %destructor { destroy ($$); } <> <>
 252 %printer { print ($$); } <> <>
 253
 254 %destructor { destroy ($$); } <>
 255 %printer { print ($$); } <>
 256
 257 %%
 258
 259 start: ;
 260
 261 %destructor { destroy ($$); } <*>;
 262 %printer { print ($$); } <*>;
 263
 264 %destructor { destroy ($$); } <>;
 265 %printer { print ($$); } <>;
 266 ]])
 267
 268 AT_BISON_CHECK([input.y], [1], [],
 269 [[input.y:1.13-29: error: redeclaration for default tagged %destructor
 270 input.y:1.13-29:     previous declaration
 271 input.y:2.10-24: error: redeclaration for default tagged %printer
 272 input.y:2.10-24:     previous declaration
 273 input.y:4.13-29: error: redeclaration for default tagged %destructor
 274 input.y:1.13-29:     previous declaration
 275 input.y:5.10-24: error: redeclaration for default tagged %printer
 276 input.y:2.10-24:     previous declaration
 277 input.y:7.13-29: error: redeclaration for default tagless %destructor
 278 input.y:7.13-29:     previous declaration
 279 input.y:8.10-24: error: redeclaration for default tagless %printer
 280 input.y:8.10-24:     previous declaration
 281 input.y:10.13-29: error: redeclaration for default tagless %destructor
 282 input.y:7.13-29:      previous declaration
 283 input.y:11.10-24: error: redeclaration for default tagless %printer
 284 input.y:8.10-24:      previous declaration
 285 input.y:17.13-29: error: redeclaration for default tagged %destructor
 286 input.y:4.13-29:      previous declaration
 287 input.y:18.10-24: error: redeclaration for default tagged %printer
 288 input.y:5.10-24:      previous declaration
 289 input.y:20.13-29: error: redeclaration for default tagless %destructor
 290 input.y:10.13-29:     previous declaration
 291 input.y:21.10-24: error: redeclaration for default tagless %printer
 292 input.y:11.10-24:     previous declaration
 293 ]])
 294
 295 AT_CLEANUP
 296
 297
 298 ## ---------------------------------------------- ##
 299 ## Per-type %printer and %destructor redeclared.  ##
 300 ## ---------------------------------------------- ##
 301
 302 AT_SETUP([Per-type %printer and %destructor redeclared])
 303
 304 AT_DATA([[input.y]],
 305 [[%destructor { destroy ($$); } <field1> <field2>
 306 %printer { print ($$); } <field1> <field2>
 307
 308 %destructor { destroy ($$); } <field1> <field1>
 309 %printer { print ($$); } <field2> <field2>
 310
 311 %%
 312
 313 start: ;
 314
 315 %destructor { destroy ($$); } <field2> <field1>;
 316 %printer { print ($$); } <field2> <field1>;
 317 ]])
 318
 319 AT_BISON_CHECK([input.y], [1], [],
 320 [[input.y:4.13-29: error: %destructor redeclaration for <field1>
 321 input.y:1.13-29:     previous declaration
 322 input.y:4.13-29: error: %destructor redeclaration for <field1>
 323 input.y:4.13-29:     previous declaration
 324 input.y:5.10-24: error: %printer redeclaration for <field2>
 325 input.y:2.10-24:     previous declaration
 326 input.y:5.10-24: error: %printer redeclaration for <field2>
 327 input.y:5.10-24:     previous declaration
 328 input.y:11.13-29: error: %destructor redeclaration for <field1>
 329 input.y:4.13-29:      previous declaration
 330 input.y:11.13-29: error: %destructor redeclaration for <field2>
 331 input.y:1.13-29:      previous declaration
 332 input.y:12.10-24: error: %printer redeclaration for <field1>
 333 input.y:2.10-24:      previous declaration
 334 input.y:12.10-24: error: %printer redeclaration for <field2>
 335 input.y:5.10-24:      previous declaration
 336 ]])
 337
 338 AT_CLEANUP
 339
 340
 341 ## ---------------------------------------- ##
 342 ## Unused values with default %destructor.  ##
 343 ## ---------------------------------------- ##
 344
 345 AT_SETUP([Unused values with default %destructor])
 346
 347 AT_DATA([[input.y]],
 348 [[%destructor { destroy ($$); } <>
 349 %type <tag> tagged
 350
 351 %%
 352
 353 start: end end tagged tagged { $<tag>1; $3; } ;
 354 end: { } ;
 355 tagged: { } ;
 356 ]])
 357
 358 AT_BISON_CHECK([input.y], [0], [],
 359 [[input.y:6.8-45: warning: unset value: $$
 360 input.y:6.8-45: warning: unused value: $2
 361 input.y:7.6-8: warning: unset value: $$
 362 ]])
 363
 364 AT_DATA([[input.y]],
 365 [[%destructor { destroy ($$); } <*>
 366 %type <tag> tagged
 367
 368 %%
 369
 370 start: end end tagged tagged { $<tag>1; $3; } ;
 371 end: { } ;
 372 tagged: { } ;
 373 ]])
 374
 375 AT_BISON_CHECK([input.y], [0], [],
 376 [[input.y:6.8-45: warning: unused value: $4
 377 input.y:8.9-11: warning: unset value: $$
 378 ]])
 379
 380 AT_CLEANUP
 381
 382
 383 ## ----------------------------------------- ##
 384 ## Unused values with per-type %destructor.  ##
 385 ## ----------------------------------------- ##
 386
 387 AT_SETUP([Unused values with per-type %destructor])
 388
 389 AT_DATA([[input.y]],
 390 [[%destructor { destroy ($$); } <field1>
 391 %type <field1> start end
 392
 393 %%
 394
 395 start: end end { $1; } ;
 396 end: { }  ;
 397 ]])
 398
 399 AT_BISON_CHECK([input.y], [0], [],
 400 [[input.y:6.8-22: warning: unset value: $$
 401 input.y:6.8-22: warning: unused value: $2
 402 input.y:7.6-8: warning: unset value: $$
 403 ]])
 404
 405 AT_CLEANUP
 406
 407
 408 ## ---------------------- ##
 409 ## Incompatible Aliases.  ##
 410 ## ---------------------- ##
 411
 412 AT_SETUP([Incompatible Aliases])
 413
 414 AT_DATA([input.y],
 415 [[%token foo "foo"
 416
 417 %type <bar>       foo
 418 %printer {bar}    foo
 419 %destructor {bar} foo
 420 %left             foo
 421
 422 %type <baz>       "foo"
 423 %printer {baz}    "foo"
 424 %destructor {baz} "foo"
 425 %left             "foo"
 426
 427 %%
 428 exp: foo;
 429 ]])
 430
 431 AT_BISON_CHECK([input.y], [1], [],
 432 [[input.y:8.7-11: error: %type redeclaration for foo
 433 input.y:3.7-11:     previous declaration
 434 input.y:10.13-17: error: %destructor redeclaration for foo
 435 input.y:5.13-17:      previous declaration
 436 input.y:9.10-14: error: %printer redeclaration for foo
 437 input.y:4.10-14:     previous declaration
 438 input.y:11.1-5: error: %left redeclaration for foo
 439 input.y:6.1-5:      previous declaration
 440 ]])
 441
 442 AT_CLEANUP
 443
 444
 445
 446 ## ----------------------- ##
 447 ## Torturing the Scanner.  ##
 448 ## ----------------------- ##
 449
 450 # Be sure to compile and run, so that the C compiler checks what
 451 # we do.
 452
 453 AT_SETUP([Torturing the Scanner])
 454
 455 AT_BISON_OPTION_PUSHDEFS
 456 AT_DATA([input.y], [])
 457 AT_BISON_CHECK([input.y], [1], [],
 458 [[input.y:1.1: error: syntax error, unexpected end of file
 459 ]])
 460
 461
 462 AT_DATA([input.y],
 463 [{}
 464 ])
 465 AT_BISON_CHECK([input.y], [1], [],
 466 [[input.y:1.1-2: error: syntax error, unexpected {...}
 467 ]])
 468
 469
 470 AT_DATA_GRAMMAR([input.y],
 471 [[%{
 472 /* This is seen in GCC: a %{ and %} in middle of a comment. */
 473 const char *foo = "So %{ and %} can be here too.";
 474
 475 #if 0
 476 /* These examples test Bison while not stressing C compilers too much.
 477    Many C compilers mishandle backslash-newlines, so this part of the
 478    test is inside "#if 0".  The comment and string are written so that
 479    the "#endif" will be seen regardless of the C compiler bugs that we
 480    know about, namely:
 481
 482      HP C (as of late 2002) mishandles *\[newline]\[newline]/ within a
 483      comment.
 484
 485      The Apple Darwin compiler (as of late 2002) mishandles
 486      \\[newline]' within a character constant.
 487
 488    */
 489
 490 /\
 491 * A comment with backslash-newlines in it. %} *\
 492 \
 493 /
 494 /* { Close the above comment, if the C compiler mishandled it.  */
 495
 496 char str[] = "\\
 497 " A string with backslash-newlines in it %{ %} \\
 498 \
 499 "";
 500
 501 char apostrophe = '\'';
 502 #endif
 503
 504 #include <stdio.h>
 505 #include <stdlib.h>
 506 #include <assert.h>
 507 %}
 508 /* %{ and %} can be here too. */
 509
 510 %{
 511 /* Exercise pre-prologue dependency to %union.  */
 512 typedef int value;
 513 %}
 514
 515 /* Exercise M4 quoting: '@:>@@:>@', 0.  */
 516
 517 /* Also exercise %union. */
 518 %union
 519 {
 520   value ival; /* A comment to exercise an old bug. */
 521 };
 522
 523
 524 /* Exercise post-prologue dependency to %union.  */
 525 %{
 526 static YYSTYPE value_as_yystype (value val);
 527
 528 /* Exercise quotes in declarations.  */
 529 char quote[] = "@:>@@:>@,";
 530 %}
 531
 532 %{
 533 ]AT_YYERROR_DECLARE[
 534 ]AT_YYLEX_DECLARE[
 535 %}
 536
 537 %type <ival> '@<:@'
 538
 539 /* Exercise quotes in strings.  */
 540 %token FAKE "fake @<:@@:>@ \a\b\f\n\r\t\v\"\'\?\\\u005B\U0000005c ??!??'??(??)??-??/??<??=??> \x1\1"
 541
 542 %%
 543 /* Exercise M4 quoting: '@:>@@:>@', @<:@, 1.  */
 544 exp: '@<:@' '\1' two '$' '@' '{' oline output.or.oline.opt
 545   {
 546     /* Exercise quotes in braces.  */
 547     char tmp[] = "@<:@%c@:>@,\n";
 548     printf (tmp, $1);
 549   }
 550 ;
 551
 552 two: '\x000000000000000000000000000000000000000000000000000000000000000000002';
 553 oline: '@' 'o' 'l' 'i' 'n' 'e' '@' '_' '_' 'o' 'l' 'i' 'n' 'e' '_' '_';
 554 output.or.oline.opt: ;|oline;;|output;;;
 555 output: '#' 'o' 'u' 't' 'p' 'u' 't' ' ';
 556 %%
 557 /* Exercise M4 quoting: '@:>@@:>@', @<:@, 2.  */
 558
 559 static YYSTYPE
 560 value_as_yystype (value val)
 561 {
 562   YYSTYPE res;
 563   res.ival = val;
 564   return res;
 565 }
 566 ]AT_YYERROR_DEFINE[
 567 static int
 568 yylex (void)
 569 {
 570   static char const input[] = "@<:@\1\2$@{@oline@__@&t@oline__\
 571 #output "; /* "
 572   */
 573   static size_t toknum;
 574   assert (toknum < sizeof input);
 575   yylval = value_as_yystype (input[toknum]);
 576   return input[toknum++];
 577 }
 578 ]])
 579
 580 # Pacify Emacs' font-lock-mode: "
 581
 582 AT_DATA([main.c],
 583 [[typedef int value;
 584 #include "input.h"
 585
 586 int yyparse (void);
 587
 588 int
 589 main (void)
 590 {
 591   return yyparse ();
 592 }
 593 ]])
 594 AT_BISON_OPTION_POPDEFS
 595
 596 AT_BISON_CHECK([-d -v -o input.c input.y])
 597 AT_COMPILE([input.o])
 598 AT_COMPILE([main.o])
 599 AT_COMPILE([input], [input.o main.o])
 600 AT_PARSER_CHECK([./input], 0,
 601 [[[@<:@],
 602 ]])
 603
 604 AT_CLEANUP
 605
 606
 607 ## ---------------------- ##
 608 ## Typed symbol aliases.  ##
 609 ## ---------------------- ##
 610
 611 AT_SETUP([Typed symbol aliases])
 612
 613 # Bison 2.0 broke typed symbol aliases - ensure they work.
 614
 615 AT_DATA_GRAMMAR([input.y],
 616 [[%union
 617 {
 618   int val;
 619 };
 620 %token <val> MY_TOKEN "MY TOKEN"
 621 %type <val> exp
 622 %%
 623 exp: "MY TOKEN";
 624 %%
 625 ]])
 626
 627 AT_BISON_CHECK([-o input.c input.y])
 628
 629 AT_CLEANUP
 630
 631
 632 ## --------- ##
 633 ## Require.  ##
 634 ## --------- ##
 635
 636 m4_define([AT_CHECK_REQUIRE],
 637 [AT_SETUP([Require $1])
 638 AT_DATA_GRAMMAR([input.y],
 639 [[%require "$1";
 640 %%
 641 empty_file:;
 642 ]])
 643 AT_BISON_CHECK([-o input.c input.y], $2, [], ignore)
 644 AT_CLEANUP
 645 ])
 646
 647 AT_CHECK_REQUIRE(1.0, 0)
 648 AT_CHECK_REQUIRE(AT_PACKAGE_VERSION, 0)
 649 ## FIXME: Some day augment this version number.
 650 AT_CHECK_REQUIRE(100.0, 63)
 651
 652
 653 ## ------------------------------------- ##
 654 ## String aliases for character tokens.  ##
 655 ## ------------------------------------- ##
 656
 657 AT_SETUP([String aliases for character tokens])
 658
 659 # Bison once thought a character token and its alias were different symbols
 660 # with the same user token number.
 661
 662 AT_DATA_GRAMMAR([input.y],
 663 [[%token 'a' "a"
 664 %%
 665 start: 'a';
 666 %%
 667 ]])
 668
 669 AT_BISON_CHECK([-o input.c input.y])
 670
 671 AT_CLEANUP
 672
 673
 674 ## -------------- ##
 675 ## Symbol names.  ##
 676 ## -------------- ##
 677
 678 AT_SETUP([Symbols])
 679
 680 AT_BISON_OPTION_PUSHDEFS
 681 AT_DATA_GRAMMAR([input.y],
 682 [[%token WITH-DASH
 683 %token WITHOUT_DASH "WITHOUT-DASH"
 684 %token WITH.PERIOD
 685 %token WITHOUT_PERIOD "WITHOUT.PERIOD"
 686 %code {
 687   ]AT_YYERROR_DECLARE[
 688   ]AT_YYLEX_DECLARE[
 689 }
 690 %%
 691 start: with-dash without_dash with.period without_period;
 692 with-dash: WITH-DASH;
 693 without_dash: "WITHOUT-DASH";
 694 with.period: WITH.PERIOD;
 695 without_period: "WITHOUT.PERIOD";
 696 %%
 697 ]AT_YYERROR_DEFINE[
 698 ]AT_YYLEX_DEFINE[
 699 ]])
 700 AT_BISON_OPTION_POPDEFS
 701
 702 # POSIX Yacc accept periods, but not dashes.
 703 AT_BISON_CHECK([--yacc input.y], [1], [],
 704 [[input.y:9.8-16: POSIX Yacc forbids dashes in symbol names: WITH-DASH
 705 input.y:18.8-16: POSIX Yacc forbids dashes in symbol names: with-dash
 706 ]])
 707
 708 # So warn about them.
 709 AT_BISON_CHECK([-Wyacc input.y], [], [],
 710 [[input.y:9.8-16: warning: POSIX Yacc forbids dashes in symbol names: WITH-DASH
 711 input.y:18.8-16: warning: POSIX Yacc forbids dashes in symbol names: with-dash
 712 ]])
 713
 714 # Dashes are fine for GNU Bison.
 715 AT_BISON_CHECK([-o input.c input.y])
 716
 717 # Make sure we don't export silly token identifiers with periods or dashes.
 718 AT_COMPILE([input.o])
 719
 720
 721 # Periods are genuine letters, they can start identifiers.
 722 # Digits and dashes cannot.
 723 AT_DATA_GRAMMAR([input.y],
 724 [[%token .GOOD
 725          -GOOD
 726          1NV4L1D
 727          -123
 728 %%
 729 start: .GOOD GOOD
 730 ]])
 731 AT_BISON_CHECK([-o input.c input.y], [1], [],
 732 [[input.y:10.10: error: invalid character: '-'
 733 input.y:11.10-16: error: invalid identifier: '1NV4L1D'
 734 input.y:12.10: error: invalid character: '-'
 735 ]])
 736
 737 AT_CLEANUP
 738
 739
 740 ## ----------------- ##
 741 ## Numbered tokens.  ##
 742 ## ----------------- ##
 743
 744 AT_SETUP([Numbered tokens])
 745
 746 AT_DATA_GRAMMAR([redecl.y],
 747 [[%token DECIMAL_1     11259375
 748          HEXADECIMAL_1 0xabcdef
 749          HEXADECIMAL_2 0xFEDCBA
 750          DECIMAL_2     16702650
 751 %%
 752 start: DECIMAL_1 HEXADECIMAL_2;
 753 ]])
 754
 755 AT_BISON_CHECK([redecl.y], [1], [],
 756 [[redecl.y:10.10-22: error: user token number 11259375 redeclaration for HEXADECIMAL_1
 757 redecl.y:9.8-16:       previous declaration for DECIMAL_1
 758 redecl.y:12.10-18: error: user token number 16702650 redeclaration for DECIMAL_2
 759 redecl.y:11.10-22:     previous declaration for HEXADECIMAL_2
 760 ]])
 761
 762 AT_DATA_GRAMMAR([too-large.y],
 763 [[%token TOO_LARGE_DEC 999999999999999999999
 764          TOO_LARGE_HEX 0xFFFFFFFFFFFFFFFFFFF
 765 %%
 766 start: TOO_LARGE_DEC TOO_LARGE_HEX
 767 %%
 768 ]])
 769
 770 AT_BISON_CHECK([too-large.y], [1], [],
 771 [[too-large.y:9.22-42: error: integer out of range: '999999999999999999999'
 772 too-large.y:10.24-44: error: integer out of range: '0xFFFFFFFFFFFFFFFFFFF'
 773 ]])
 774
 775 AT_CLEANUP
 776
 777
 778 ## --------------------- ##
 779 ## Unclosed constructs.  ##
 780 ## --------------------- ##
 781
 782 AT_SETUP([Unclosed constructs])
 783
 784 # Bison's scan-gram.l once forgot to STRING_FINISH some unclosed constructs, so
 785 # they were prepended to whatever it STRING_GROW'ed next.  It also threw them
 786 # away rather than returning them to the parser.  The effect was confusing
 787 # subsequent error messages.
 788
 789 AT_DATA([input.y],
 790 [[%token A "a
 791 %token B "b"
 792 %token AB "ab" // Used to complain that "ab" was already used.
 793 %token C '1
 794 %token TWO "2"
 795 %token TICK_TWELVE "'12" // Used to complain that "'12" was already used.
 796
 797 %%
 798
 799 start: ;
 800
 801 // Used to report a syntax error because it didn't see any kind of symbol
 802 // identifier.
 803 %type <f> 'a
 804 ;
 805 %type <f> "a
 806 ;
 807 // Used to report a syntax error because it didn't see braced code.
 808 %destructor { free ($$)
 809 ]])
 810
 811 AT_BISON_CHECK([-o input.c input.y], 1, [],
 812 [[input.y:1.10-2.0: error: missing '"' at end of line
 813 input.y:4.10-5.0: error: missing "'" at end of line
 814 input.y:14.11-15.0: error: missing "'" at end of line
 815 input.y:16.11-17.0: error: missing '"' at end of line
 816 input.y:19.13-20.0: error: missing '}' at end of file
 817 input.y:20.1: error: syntax error, unexpected end of file
 818 ]])
 819
 820 AT_CLEANUP
 821
 822
 823 ## ------------------------- ##
 824 ## %start after first rule.  ##
 825 ## ------------------------- ##
 826
 827 AT_SETUP([%start after first rule])
 828
 829 # Bison once complained that a %start after the first rule was a redeclaration
 830 # of the start symbol.
 831
 832 AT_DATA([input.y],
 833 [[%%
 834 false_start: ;
 835 start: false_start ;
 836 %start start;
 837 ]])
 838
 839 AT_BISON_CHECK([-o input.c input.y])
 840
 841 AT_CLEANUP
 842
 843
 844 ## --------------------- ##
 845 ## %prec takes a token.  ##
 846 ## --------------------- ##
 847
 848 AT_SETUP([%prec takes a token])
 849
 850 # Bison once allowed %prec sym where sym was a nonterminal.
 851
 852 AT_DATA([input.y],
 853 [[%%
 854 start: PREC %prec PREC ;
 855 PREC: ;
 856 ]])
 857
 858 AT_BISON_CHECK([input.y], [1], [],
 859 [[input.y:3.1-4: error: rule given for PREC, which is a token
 860 ]])
 861
 862 AT_CLEANUP
 863
 864
 865 ## ------------------------------- ##
 866 ## %prec's token must be defined.  ##
 867 ## ------------------------------- ##
 868
 869 AT_SETUP([[%prec's token must be defined]])
 870
 871 # According to POSIX, a %prec token must be defined separately.
 872
 873 AT_DATA([[input.y]],
 874 [[%%
 875 start: %prec PREC ;
 876 ]])
 877
 878 AT_BISON_CHECK([[input.y]], [[0]], [],
 879 [[input.y:2.8-17: warning: token for %prec is not defined: PREC
 880 ]])
 881
 882 AT_CLEANUP
 883
 884
 885 ## -------------------------------- ##
 886 ## Reject unused %code qualifiers.  ##
 887 ## -------------------------------- ##
 888
 889 AT_SETUP([Reject unused %code qualifiers])
 890
 891 AT_DATA([input-c.y],
 892 [[%code q {}
 893 %code bad {}
 894 %code bad {}
 895 %code format {}
 896 %%
 897 start: ;
 898 ]])
 899 AT_BISON_CHECK([[input-c.y]], [[1]], [],
 900 [[input-c.y:1.7: error: %code qualifier 'q' is not used
 901 input-c.y:2.7-9: error: %code qualifier 'bad' is not used
 902 input-c.y:3.7-9: error: %code qualifier 'bad' is not used
 903 input-c.y:4.7-12: error: %code qualifier 'format' is not used
 904 ]])
 905
 906 AT_DATA([input-c-glr.y],
 907 [[%code q {}
 908 %code bad {}
 909  %code bad {}
 910 %%
 911 start: ;
 912 ]])
 913 AT_BISON_CHECK([[input-c-glr.y]], [[1]], [],
 914 [[input-c-glr.y:1.7: error: %code qualifier 'q' is not used
 915 input-c-glr.y:2.7-9: error: %code qualifier 'bad' is not used
 916 input-c-glr.y:3.8-10: error: %code qualifier 'bad' is not used
 917 ]])
 918
 919 AT_DATA([input-c++.y],
 920 [[%code q {}
 921 %code bad {}
 922  %code q {}
 923 %%
 924 start: ;
 925 ]])
 926 AT_BISON_CHECK([[input-c++.y]], [[1]], [],
 927 [[input-c++.y:1.7: error: %code qualifier 'q' is not used
 928 input-c++.y:2.7-9: error: %code qualifier 'bad' is not used
 929 input-c++.y:3.8: error: %code qualifier 'q' is not used
 930 ]])
 931
 932 AT_DATA([input-c++-glr.y],
 933 [[%code bad {}
 934 %code q {}
 935 %code q {}
 936 %%
 937 start: ;
 938 ]])
 939 AT_BISON_CHECK([[input-c++-glr.y]], [[1]], [],
 940 [[input-c++-glr.y:1.7-9: error: %code qualifier 'bad' is not used
 941 input-c++-glr.y:2.7: error: %code qualifier 'q' is not used
 942 input-c++-glr.y:3.7: error: %code qualifier 'q' is not used
 943 ]])
 944
 945 AT_DATA([special-char-@@.y],
 946 [[%code bad {}
 947 %code q {}
 948 %code q {}
 949 %%
 950 start: ;
 951 ]])
 952 AT_BISON_CHECK([[special-char-@@.y]], [[1]], [],
 953 [[special-char-@@.y:1.7-9: error: %code qualifier 'bad' is not used
 954 special-char-@@.y:2.7: error: %code qualifier 'q' is not used
 955 special-char-@@.y:3.7: error: %code qualifier 'q' is not used
 956 ]])
 957
 958 AT_DATA([special-char-@:>@.y],
 959 [[%code bad {}
 960 %code q {}
 961 %code q {}
 962 %%
 963 start: ;
 964 ]])
 965 AT_BISON_CHECK([[special-char-@:>@.y]], [[1]], [],
 966 [[special-char-@:>@.y:1.7-9: error: %code qualifier 'bad' is not used
 967 special-char-@:>@.y:2.7: error: %code qualifier 'q' is not used
 968 special-char-@:>@.y:3.7: error: %code qualifier 'q' is not used
 969 ]])
 970
 971 AT_CLEANUP
 972
 973
 974 ## ---------------- ##
 975 ## %define errors.  ##
 976 ## ---------------- ##
 977
 978 AT_SETUP([%define errors])
 979
 980 AT_DATA([input-redefined.y],
 981 [[%define var "value1"
 982 %define var "value1"
 983  %define var "value2"
 984 %define special1 "@:>@"
 985 %define special2 "@<:@"
 986 %%
 987 start: ;
 988 ]])
 989
 990 AT_BISON_CHECK([[input-redefined.y]], [[1]], [],
 991 [[input-redefined.y:2.9-11: error: %define variable 'var' redefined
 992 input-redefined.y:1.9-11:     previous definition
 993 input-redefined.y:3.10-12: error: %define variable 'var' redefined
 994 input-redefined.y:2.9-11:      previous definition
 995 ]])
 996
 997 AT_DATA([input-unused.y],
 998 [[%define var "value"
 999 %%
1000 start: ;
1001 ]])
1002
1003 AT_BISON_CHECK([[input-unused.y]], [[1]], [],
1004 [[input-unused.y:1.9-11: error: %define variable 'var' is not used
1005 ]])
1006
1007 AT_CLEANUP
1008
1009
1010 ## ----------------------------------- ##
1011 ## %define, --define, --force-define.  ##
1012 ## ----------------------------------- ##
1013
1014 AT_SETUP([[%define, --define, --force-define]])
1015
1016 AT_DATA([[skel.c]],
1017 [[m4@&t@_divert_push(0)@
1018 @output(b4_parser_file_name@)@
1019 [var-dd: ]b4_percent_define_get([[var-dd]])[
1020 var-ff: ]b4_percent_define_get([[var-ff]])[
1021 var-dfg: ]b4_percent_define_get([[var-dfg]])[
1022 var-fd: ]b4_percent_define_get([[var-fd]])
1023 m4@&t@_divert_pop(0)
1024 ]])
1025 AT_DATA([[input.y]],
1026 [[%define var-dfg "gram"
1027 %%
1028 start: ;
1029 ]])
1030 AT_BISON_CHECK([[-Dvar-dd=cmd-d1 -Dvar-dd=cmd-d2 \
1031                  -Fvar-ff=cmd-f1 -Fvar-ff=cmd-f2 \
1032                  -Dvar-dfg=cmd-d -Fvar-dfg=cmd-f \
1033                  -Fvar-fd=cmd-f -Dvar-fd=cmd-d   \
1034                  --skeleton ./skel.c input.y]])
1035 AT_CHECK([[cat input.tab.c]], [[0]],
1036 [[var-dd: cmd-d2
1037 var-ff: cmd-f2
1038 var-dfg: cmd-f
1039 var-fd: cmd-d
1040 ]])
1041
1042 AT_DATA([[input-dg.y]],
1043 [[%define var "gram"
1044 %%
1045 start: ;
1046 ]])
1047 AT_BISON_CHECK([[-Dvar=cmd-d input-dg.y]], [[1]], [],
1048 [[input-dg.y:1.9-11: error: %define variable 'var' redefined
1049 <command line>:2:      previous definition
1050 ]])
1051
1052 AT_DATA([[input-unused.y]],
1053 [[%%
1054 start: ;
1055 ]])
1056 AT_BISON_CHECK([[-Dunused-d -Funused-f input-unused.y]], [[1]], [],
1057 [[<command line>:2: error: %define variable 'unused-d' is not used
1058 <command line>:3: error: %define variable 'unused-f' is not used
1059 ]])
1060
1061 AT_CLEANUP
1062
1063 ## --------------------------- ##
1064 ## %define Boolean variables.  ##
1065 ## --------------------------- ##
1066
1067 AT_SETUP([[%define Boolean variables]])
1068
1069 AT_DATA([Input.y],
1070 [[%language "Java"
1071 %define public "maybe"
1072 %define parser_class_name "Input"
1073 %%
1074 start: ;
1075 ]])
1076
1077 AT_BISON_CHECK([[Input.y]], [1], [],
1078 [[Input.y:2.9-14: error: invalid value for %define Boolean variable 'public'
1079 ]])
1080
1081 AT_CLEANUP
1082
1083 ## ------------------------ ##
1084 ## %define enum variables.  ##
1085 ## ------------------------ ##
1086
1087 AT_SETUP([[%define enum variables]])
1088
1089 # Front-end.
1090 AT_DATA([[input.y]],
1091 [[%define lr.default-reductions bogus
1092 %%
1093 start: ;
1094 ]])
1095 AT_BISON_CHECK([[input.y]], [[1]], [[]],
1096 [[input.y:1.9-29: error: invalid value for %define variable 'lr.default-reductions': 'bogus'
1097 input.y:1.9-29:     accepted value: 'most'
1098 input.y:1.9-29:     accepted value: 'consistent'
1099 input.y:1.9-29:     accepted value: 'accepting'
1100 ]])
1101
1102 # Back-end.
1103 # FIXME: these should be indented, but we shouldn't mess with the m4 yet
1104 AT_DATA([[input.y]],
1105 [[%define api.push-pull neither
1106 %%
1107 start: ;
1108 ]])
1109 AT_BISON_CHECK([[input.y]], [1], [],
1110 [[input.y:1.9-21: error: invalid value for %define variable 'api.push-pull': 'neither'
1111 input.y:1.9-21: error: accepted value: 'pull'
1112 input.y:1.9-21: error: accepted value: 'push'
1113 input.y:1.9-21: error: accepted value: 'both'
1114 ]])
1115
1116 AT_CLEANUP
1117
1118 ## -------------------------------- ##
1119 ## %define backward compatibility.  ##
1120 ## -------------------------------- ##
1121
1122 AT_SETUP([[%define backward compatibility]])
1123
1124 # The error messages tell us whether underscores in these variables are
1125 # being converted to dashes.
1126
1127 AT_DATA([[input.y]],
1128 [[%define api.push_pull "neither"
1129 %%
1130 start: ;
1131 ]])
1132 AT_BISON_CHECK([[input.y]], [1], [],
1133 [[input.y:1.9-21: error: invalid value for %define variable 'api.push-pull': 'neither'
1134 input.y:1.9-21: error: accepted value: 'pull'
1135 input.y:1.9-21: error: accepted value: 'push'
1136 input.y:1.9-21: error: accepted value: 'both'
1137 ]])
1138
1139 AT_DATA([[input.y]],
1140 [[%define lr.keep_unreachable_states maybe
1141 %%
1142 start: ;
1143 ]])
1144 AT_BISON_CHECK([[input.y]], [1], [],
1145 [[input.y:1.9-34: error: invalid value for %define Boolean variable 'lr.keep-unreachable-states'
1146 ]])
1147
1148 AT_DATA([[input.y]],
1149 [[%define foo_bar "baz"
1150 %%
1151 start: ;
1152 ]])
1153 AT_BISON_CHECK([[input.y]], [[1]], [],
1154 [[input.y:1.9-15: error: %define variable 'foo_bar' is not used
1155 ]])
1156
1157 AT_CLEANUP
1158
1159 ## ------------------------- ##
1160 ## Unused %define api.pure.  ##
1161 ## ------------------------- ##
1162
1163 AT_SETUP([[Unused %define api.pure]])
1164
1165 # AT_CHECK_API_PURE(DECLS, VALUE)
1166 # -------------------------------
1167 # Make sure Bison reports that `%define api.pure VALUE' is unused when DECLS
1168 # are specified.
1169 m4_define([AT_CHECK_API_PURE],
1170 [
1171 AT_DATA([[input.y]],
1172 [[%define api.pure ]$2[
1173 ]$1[
1174 %%
1175 start: ;
1176 ]])
1177
1178 AT_BISON_CHECK([[input.y]], [[1]], [],
1179 [[input.y:1.9-16: error: %define variable 'api.pure' is not used
1180 ]])
1181 ])
1182
1183 AT_CHECK_API_PURE([[%language "c++" %defines]], [[]])
1184 AT_CHECK_API_PURE([[%language "c++" %defines]], [[false]])
1185 AT_CHECK_API_PURE([[%language "c++" %defines %glr-parser]], [[""]])
1186 AT_CHECK_API_PURE([[%language "c++" %defines %glr-parser]], [[false]])
1187 AT_CHECK_API_PURE([[%language "java"]], [[true]])
1188 AT_CHECK_API_PURE([[%language "java"]], [[false]])
1189
1190 AT_CLEANUP
1191
1192 ## -------------------------------- ##
1193 ## C++ namespace reference errors.  ##
1194 ## -------------------------------- ##
1195
1196 AT_SETUP([[C++ namespace reference errors]])
1197
1198 # AT_CHECK_NAMESPACE_ERROR(NAMESPACE-DECL, ERROR, [ERROR], ...)
1199 # -------------------------------------------------------------
1200 # Make sure Bison reports all ERROR's for %define namespace "NAMESPACE-DECL".
1201 m4_define([AT_CHECK_NAMESPACE_ERROR],
1202 [
1203 AT_DATA([[input.y]],
1204 [[%language "C++"
1205 %defines
1206 %define namespace "]$1["
1207 %%
1208 start: ;
1209 ]])
1210
1211 AT_BISON_CHECK([[input.y]], [1], [],
1212 [m4_foreach([b4_arg], m4_dquote(m4_shift($@)),
1213 [[input.y:3.9-17: error: ]b4_arg[
1214 ]])])
1215 ])
1216
1217 AT_CHECK_NAMESPACE_ERROR([[]],
1218                          [[namespace reference is empty]])
1219 AT_CHECK_NAMESPACE_ERROR([[                             ]],
1220                          [[namespace reference is empty]])
1221 AT_CHECK_NAMESPACE_ERROR([[foo::::bar]],
1222                          [[namespace reference has consecutive "::"]])
1223 AT_CHECK_NAMESPACE_ERROR([[foo::        ::bar]],
1224                          [[namespace reference has consecutive "::"]])
1225 AT_CHECK_NAMESPACE_ERROR([[::::bar]],
1226                          [[namespace reference has consecutive "::"]])
1227 AT_CHECK_NAMESPACE_ERROR([[:: ::bar]],
1228                          [[namespace reference has consecutive "::"]])
1229 AT_CHECK_NAMESPACE_ERROR([[foo::bar::   ::]],
1230                          [[namespace reference has consecutive "::"]],
1231                          [[namespace reference has a trailing "::"]])
1232 AT_CHECK_NAMESPACE_ERROR([[foo::bar::]],
1233                          [[namespace reference has a trailing "::"]])
1234 AT_CHECK_NAMESPACE_ERROR([[foo::bar::   ]],
1235                          [[namespace reference has a trailing "::"]])
1236 AT_CHECK_NAMESPACE_ERROR([[::]],
1237                          [[namespace reference has a trailing "::"]])
1238
1239 AT_CLEANUP
1240
1241 ## ------------------------ ##
1242 ## Bad character literals.  ##
1243 ## ------------------------ ##
1244
1245 # Bison used to accept character literals that were empty or contained
1246 # too many characters.
1247
1248 # FIXME: AT_DATA or some variant of AT_DATA may eventually permit
1249 # the final newline to be omitted.  See the threads starting at
1250 # <http://lists.gnu.org/archive/html/bison-patches/2009-07/msg00019.html>.
1251
1252 AT_SETUP([[Bad character literals]])
1253
1254 AT_DATA([empty.y],
1255 [[%%
1256 start: '';
1257 start: '
1258 ]])
1259 AT_CHECK([[$PERL -e "print 'start: \'';" >> empty.y || exit 77]])
1260
1261 AT_BISON_CHECK([empty.y], [1], [],
1262 [[empty.y:2.8-9: warning: empty character literal
1263 empty.y:3.8-4.0: warning: empty character literal
1264 empty.y:3.8-4.0: error: missing "'" at end of line
1265 empty.y:4.8: warning: empty character literal
1266 empty.y:4.8: error: missing "'" at end of file
1267 ]])
1268
1269 AT_DATA([two.y],
1270 [[%%
1271 start: 'ab';
1272 start: 'ab
1273 ]])
1274 AT_CHECK([[$PERL -e "print 'start: \'ab';" >> two.y || exit 77]])
1275
1276 AT_BISON_CHECK([two.y], [1], [],
1277 [[two.y:2.8-11: warning: extra characters in character literal
1278 two.y:3.8-4.0: warning: extra characters in character literal
1279 two.y:3.8-4.0: error: missing "'" at end of line
1280 two.y:4.8-10: warning: extra characters in character literal
1281 two.y:4.8-10: error: missing "'" at end of file
1282 ]])
1283
1284 AT_DATA([three.y],
1285 [[%%
1286 start: 'abc';
1287 start: 'abc
1288 ]])
1289 AT_CHECK([[$PERL -e "print 'start: \'abc';" >> three.y || exit 77]])
1290
1291 AT_BISON_CHECK([three.y], [1], [],
1292 [[three.y:2.8-12: warning: extra characters in character literal
1293 three.y:3.8-4.0: warning: extra characters in character literal
1294 three.y:3.8-4.0: error: missing "'" at end of line
1295 three.y:4.8-11: warning: extra characters in character literal
1296 three.y:4.8-11: error: missing "'" at end of file
1297 ]])
1298
1299 AT_CLEANUP
1300
1301 ## ------------------------- ##
1302 ## Bad escapes in literals.  ##
1303 ## ------------------------- ##
1304
1305 AT_SETUP([[Bad escapes in literals]])
1306
1307 AT_DATA([input.y],
1308 [[%%
1309 start: '\777' '\0' '\xfff' '\x0'
1310        '\uffff' '\u0000' '\Uffffffff' '\U00000000'
1311        '\ ' '\A';
1312 ]])
1313
1314 # It is not easy to create special characters, we cannot even trust tr.
1315 # Beside we cannot even expect "echo '\0'" to output two characters
1316 # (well three with \n): at least Bash 3.2 converts the two-character
1317 # sequence "\0" into a single NUL character.
1318 AT_CHECK([[$PERL -e 'print "start: \"\\\t\\\f\\\0\\\1\" ;";' >> input.y \
1319            || exit 77]])
1320
1321 AT_BISON_CHECK([input.y], [1], [],
1322 [[input.y:2.9-12: error: invalid number after \-escape: 777
1323 input.y:2.8-13: warning: empty character literal
1324 input.y:2.16-17: error: invalid number after \-escape: 0
1325 input.y:2.15-18: warning: empty character literal
1326 input.y:2.21-25: error: invalid number after \-escape: xfff
1327 input.y:2.20-26: warning: empty character literal
1328 input.y:2.29-31: error: invalid number after \-escape: x0
1329 input.y:2.28-32: warning: empty character literal
1330 input.y:3.9-14: error: invalid number after \-escape: uffff
1331 input.y:3.8-15: warning: empty character literal
1332 input.y:3.18-23: error: invalid number after \-escape: u0000
1333 input.y:3.17-24: warning: empty character literal
1334 input.y:3.27-36: error: invalid number after \-escape: Uffffffff
1335 input.y:3.26-37: warning: empty character literal
1336 input.y:3.40-49: error: invalid number after \-escape: U00000000
1337 input.y:3.39-50: warning: empty character literal
1338 input.y:4.9-10: error: invalid character after \-escape: ' '
1339 input.y:4.8-11: warning: empty character literal
1340 input.y:4.14-15: error: invalid character after \-escape: A
1341 input.y:4.13-16: warning: empty character literal
1342 input.y:5.9-16: error: invalid character after \-escape: \t
1343 input.y:5.17: error: invalid character after \-escape: \f
1344 input.y:5.18: error: invalid character after \-escape: \0
1345 input.y:5.19: error: invalid character after \-escape: \001
1346 ]])
1347
1348 AT_CLEANUP
1349
1350 ## ------------------------- ##
1351 ## LAC: Errors for %define.  ##
1352 ## ------------------------- ##
1353
1354 AT_SETUP([[LAC: Errors for %define]])
1355
1356 AT_DATA([[input.y]],
1357 [[%%
1358 start: ;
1359 ]])
1360
1361 # parse.lac.* options are useless if LAC isn't actually activated.
1362 AT_BISON_CHECK([[-Dparse.lac.es-capacity-initial=1 input.y]],
1363                [[1]], [],
1364 [[<command line>:2: error: %define variable 'parse.lac.es-capacity-initial' is not used
1365 ]])
1366 AT_BISON_CHECK([[-Dparse.lac.memory-trace=full input.y]],
1367                [[1]], [],
1368 [[<command line>:2: error: %define variable 'parse.lac.memory-trace' is not used
1369 ]])
1370
1371 AT_CLEANUP
1372
1373 ## --------------------------------------------- ##
1374 ## -Werror is not affected by -Wnone and -Wall.  ##
1375 ## --------------------------------------------- ##
1376
1377 AT_SETUP([[-Werror is not affected by -Wnone and -Wall]])
1378
1379 AT_DATA([[input.y]],
1380 [[%%
1381 foo-bar: ;
1382 ]])
1383
1384 # -Werror is not enabled by -Wall or equivalent.
1385 AT_BISON_CHECK([[-Wall input.y]], [[0]], [[]],
1386 [[input.y:2.1-7: warning: POSIX Yacc forbids dashes in symbol names: foo-bar
1387 ]])
1388 AT_BISON_CHECK([[-W input.y]], [[0]], [[]],
1389 [[input.y:2.1-7: warning: POSIX Yacc forbids dashes in symbol names: foo-bar
1390 ]])
1391 AT_BISON_CHECK([[-Wno-none input.y]], [[0]], [[]],
1392 [[input.y:2.1-7: warning: POSIX Yacc forbids dashes in symbol names: foo-bar
1393 ]])
1394
1395 # -Werror is not disabled by -Wnone or equivalent.
1396 AT_BISON_CHECK([[-Werror,none,yacc input.y]], [[1]], [[]], [[stderr]])
1397 AT_CHECK([[sed 's/^.*bison:/bison:/' stderr]], [[0]],
1398 [[bison: warnings being treated as errors
1399 input.y:2.1-7: warning: POSIX Yacc forbids dashes in symbol names: foo-bar
1400 ]])
1401 [mv stderr experr]
1402 AT_BISON_CHECK([[-Werror,no-all,yacc input.y]], [[1]], [[]], [[experr]])
1403
1404 AT_CLEANUP
1405
1406
1407 ## ------------------------------------------------------ ##
1408 ## %name-prefix and %define api.prefix are incompatible.  ##
1409 ## ------------------------------------------------------ ##
1410
1411 AT_SETUP([[%name-prefix and %define api.prefix are incompatible]])
1412
1413 # AT_TEST(DIRECTIVES, OPTIONS, ERROR-LOCATION)
1414 # --------------------------------------------
1415 m4_pushdef([AT_TEST],
1416 [AT_DATA([[input.y]],
1417 [[$1
1418 %%
1419 exp:;
1420 ]])
1421 AT_BISON_CHECK([[$2 input.y]], [[1]], [[]],
1422 [[$3: error: '%name-prefix' and '%define api.prefix' cannot be used together
1423 ]])
1424 ])
1425
1426 AT_TEST([%define api.prefix foo %name-prefix "bar"], [], [input.y:1.9-18])
1427 AT_TEST([], [-Dapi.prefix=foo -p bar], [<command line>:2])
1428 AT_TEST([%name-prefix "bar"], [-Dapi.prefix=foo], [<command line>:2])
1429 AT_TEST([%define api.prefix foo], [-p bar], [input.y:1.9-18])
1430
1431 m4_popdef([AT_TEST])
1432
1433 AT_CLEANUP
1434
1435
1436 ## -------------- ##
1437 ## Stray $ or @.  ##
1438 ## -------------- ##
1439
1440 AT_SETUP([[Stray $ or @]])
1441
1442 # Give %printer and %destructor "<*> exp TOK" instead of "<*>" to
1443 # check that the warnings are reported once, not three times.
1444
1445 AT_DATA_GRAMMAR([[input.y]],
1446 [[%token TOK
1447 %destructor     { $%; @%; } <*> exp TOK;
1448 %initial-action { $%; @%; };
1449 %printer        { $%; @%; } <*> exp TOK;
1450 %%
1451 exp: TOK        { $%; @%; $$ = $1; };
1452 ]])
1453
1454 AT_BISON_CHECK([[input.y]], 0, [],
1455 [[input.y:10.19: warning: stray '$'
1456 input.y:10.23: warning: stray '@'
1457 input.y:11.19: warning: stray '$'
1458 input.y:11.23: warning: stray '@'
1459 input.y:12.19: warning: stray '$'
1460 input.y:12.23: warning: stray '@'
1461 input.y:14.19: warning: stray '$'
1462 input.y:14.23: warning: stray '@'
1463 ]])
1464
1465 AT_CLEANUP
1466
1467
1468
1469 ## ---------------- ##
1470 ## Code injection.  ##
1471 ## ---------------- ##
1472
1473
1474 AT_SETUP([[Code injection]])
1475
1476 m4_pattern_allow([^m4_errprintn$])
1477
1478 # AT_TEST([MACRO])
1479 # ----------------
1480 # Try to have MACRO be run by bison.
1481 m4_pushdef([AT_TEST],
1482 [AT_DATA([[input.y]],
1483 [[%type <$1(DEAD %type)> exp
1484 %token <$1(DEAD %token)> a
1485 %initial-action
1486 {
1487   $$;
1488   $<$1(DEAD %initial-action)>$
1489 };
1490 %printer
1491 {
1492   $$
1493   $<$1(DEAD %printer)>$
1494 } <> <*>;
1495 %lex-param
1496 {
1497   $1(DEAD %lex-param)
1498 };
1499 %parse-param
1500 {
1501   $1(DEAD %parse-param)
1502 };
1503 %%
1504 exp:
1505   a a[last]
1506   {
1507     $$;
1508     $][1;
1509     $<$1(DEAD action 1)>$
1510     $<$1(DEAD action 2)>1
1511     $<$1(DEAD action 3)>last
1512     $<$1(DEAD action 4)>0
1513     ;
1514   };
1515 ]])
1516
1517 # FIXME: Provide a means to iterate over all the skeletons.
1518 AT_BISON_CHECK([[-d               input.y]])
1519 AT_BISON_CHECK([[-d -S glr.c      input.y]])
1520 AT_BISON_CHECK([[-d -S lalr1.cc   input.y]])
1521 AT_BISON_CHECK([[-d -S glr.cc     input.y]])
1522 AT_BISON_CHECK([[   -S lalr1.java input.y]])
1523 ])
1524
1525 AT_TEST([m4_errprintn])
1526 AT_TEST([@:>@m4_errprintn])
1527
1528 m4_popdef([AT_TEST])
1529
1530 AT_CLEANUP