tests/input.at

   1 # Checking the Bison scanner.                    -*- Autotest -*-
   2 # Copyright (C) 2002, 2003, 2004, 2005, 2006 Free Software Foundation, Inc.
   3
   4 # This program is free software; you can redistribute it and/or modify
   5 # it under the terms of the GNU General Public License as published by
   6 # the Free Software Foundation; either version 2, or (at your option)
   7 # any later version.
   8
   9 # This program is distributed in the hope that it will be useful,
  10 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  11 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  12 # GNU General Public License for more details.
  13
  14 # You should have received a copy of the GNU General Public License
  15 # along with this program; if not, write to the Free Software
  16 # Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
  17 # 02110-1301, USA.
  18
  19 AT_BANNER([[Input Processing.]])
  20
  21 # Mostly test that we are robust to mistakes.
  22
  23
  24 ## ------------ ##
  25 ## Invalid $n.  ##
  26 ## ------------ ##
  27
  28 AT_SETUP([Invalid dollar-n])
  29
  30 AT_DATA([input.y],
  31 [[%%
  32 exp: { $$ = $1 ; };
  33 ]])
  34
  35 AT_CHECK([bison input.y], [1], [],
  36 [[input.y:2.13-14: integer out of range: `$1'
  37 ]])
  38
  39 AT_CLEANUP
  40
  41
  42 ## ------------ ##
  43 ## Invalid @n.  ##
  44 ## ------------ ##
  45
  46 AT_SETUP([Invalid @n])
  47
  48 AT_DATA([input.y],
  49 [[%%
  50 exp: { @$ = @1 ; };
  51 ]])
  52
  53 AT_CHECK([bison input.y], [1], [],
  54 [[input.y:2.13-14: integer out of range: `@1'
  55 ]])
  56
  57 AT_CLEANUP
  58
  59
  60 ## -------------- ##
  61 ## Type Clashes.  ##
  62 ## -------------- ##
  63
  64 AT_SETUP([Type Clashes])
  65
  66 AT_DATA([input.y],
  67 [[%token foo
  68 %type <bar> exp
  69 %%
  70 exp: foo {} foo
  71    | foo
  72    | /* Empty. */
  73    ;
  74 ]])
  75
  76 AT_CHECK([bison input.y], [], [],
  77 [[input.y:4.6-15: warning: type clash on default action: <bar> != <>
  78 input.y:5.6-8: warning: type clash on default action: <bar> != <>
  79 input.y:6.5: warning: empty rule for typed nonterminal, and no action
  80 ]])
  81
  82 AT_CLEANUP
  83
  84
  85 ## --------------- ##
  86 ## Unused values.  ##
  87 ## --------------- ##
  88
  89 AT_SETUP([Unused values])
  90
  91 AT_DATA([input.y],
  92 [[%token <integer> INT
  93 %type <integer> a b c d e f g h i j k l
  94 %destructor { destroy ($$); } INT a b c d e f g h i j k l
  95 %%
  96 start:
  97   'a' a { $2 } | 'b' b { $2 } | 'c' c { $2 } | 'd' d { $2 } | 'e' e { $2 }
  98 | 'f' f { $2 } | 'g' g { $2 } | 'h' h { $2 } | 'i' i { $2 } | 'j' j { $2 }
  99 | 'k' k { $2 } | 'l' l { $2 }
 100 ;
 101
 102 a: INT | INT { } INT { } INT { };
 103 b: INT | /* empty */;
 104 c: INT | INT { $1 } INT { } INT { };
 105 d: INT | INT { } INT { $1 } INT { };
 106 e: INT | INT { } INT {  } INT { $1 };
 107 f: INT | INT { } INT {  } INT { $$ = $1 + $3 + $5; };
 108 g: INT | INT { $$ } INT { $$ } INT { };
 109 h: INT | INT { $$ } INT { $$ = $2 } INT { };
 110 i: INT | INT INT { } { $$ = $1 + $2; };
 111 j: INT | INT INT { $<integer>$ = 1; } { $$ = $1 + $2; };
 112 k: INT | INT INT { $$; } { $$ = $3; } { };
 113 l: INT | INT { $$ = $1; } INT { $$ = $2 + $3; } INT { $$ = $4 + $5; };
 114
 115 ]])
 116
 117 AT_CHECK([bison input.y], [], [],
 118 [[input.y:11.10-32: warning: unset value: $$
 119 input.y:11.10-32: warning: unused value: $1
 120 input.y:11.10-32: warning: unused value: $3
 121 input.y:11.10-32: warning: unused value: $5
 122 input.y:12.9: warning: empty rule for typed nonterminal, and no action
 123 input.y:13.10-35: warning: unset value: $$
 124 input.y:13.10-35: warning: unused value: $3
 125 input.y:13.10-35: warning: unused value: $5
 126 input.y:14.10-35: warning: unset value: $$
 127 input.y:14.10-35: warning: unused value: $3
 128 input.y:14.10-35: warning: unused value: $5
 129 input.y:15.10-36: warning: unset value: $$
 130 input.y:15.10-36: warning: unused value: $3
 131 input.y:15.10-36: warning: unused value: $5
 132 input.y:17.10-38: warning: unset value: $$
 133 input.y:17.10-38: warning: unused value: $1
 134 input.y:17.10-38: warning: unused value: $2
 135 input.y:17.10-38: warning: unused value: $3
 136 input.y:17.10-38: warning: unused value: $4
 137 input.y:17.10-38: warning: unused value: $5
 138 input.y:18.10-43: warning: unset value: $$
 139 input.y:18.10-43: warning: unused value: $1
 140 input.y:18.10-43: warning: unused value: $3
 141 input.y:18.10-43: warning: unused value: $4
 142 input.y:18.10-43: warning: unused value: $5
 143 input.y:20.10-55: warning: unused value: $3
 144 input.y:21.10-41: warning: unset value: $$
 145 input.y:21.10-41: warning: unused value: $1
 146 input.y:21.10-41: warning: unused value: $2
 147 input.y:21.10-41: warning: unused value: $4
 148 ]])
 149
 150 AT_CLEANUP
 151
 152
 153 ## ---------------------- ##
 154 ## Incompatible Aliases.  ##
 155 ## ---------------------- ##
 156
 157 AT_SETUP([Incompatible Aliases])
 158
 159 AT_DATA([input.y],
 160 [[%token foo "foo"
 161
 162 %type <bar>       foo
 163 %printer {bar}    foo
 164 %destructor {bar} foo
 165 %left             foo
 166
 167 %type <baz>       "foo"
 168 %printer {baz}    "foo"
 169 %destructor {baz} "foo"
 170 %left             "foo"
 171
 172 %%
 173 exp: foo;
 174 ]])
 175
 176 AT_CHECK([bison input.y], [1], [],
 177 [[input.y:8.7-11: %type redeclaration for foo
 178 input.y:3.7-11: first declaration
 179 input.y:10.13-17: %destructor redeclaration for foo
 180 input.y:5.13-17: first declaration
 181 input.y:9.10-14: %printer redeclaration for foo
 182 input.y:10.13-17: first declaration
 183 input.y:11.1-5: %left redeclaration for foo
 184 input.y:6.1-5: first declaration
 185 ]])
 186
 187 AT_CLEANUP
 188
 189
 190
 191 ## ----------------------- ##
 192 ## Torturing the Scanner.  ##
 193 ## ----------------------- ##
 194
 195 # Be sure to compile and run, so that the C compiler checks what
 196 # we do.
 197
 198 AT_SETUP([Torturing the Scanner])
 199
 200
 201 AT_DATA([input.y], [])
 202 AT_CHECK([bison input.y], [1], [],
 203 [[input.y:1.1: syntax error, unexpected end of file
 204 ]])
 205
 206
 207 AT_DATA([input.y],
 208 [{}
 209 ])
 210 AT_CHECK([bison input.y], [1], [],
 211 [[input.y:1.1-2: syntax error, unexpected {...}
 212 ]])
 213
 214
 215 AT_DATA_GRAMMAR([input.y],
 216 [[%{
 217 /* This is seen in GCC: a %{ and %} in middle of a comment. */
 218 const char *foo = "So %{ and %} can be here too.";
 219
 220 #if 0
 221 /* These examples test Bison while not stressing C compilers too much.
 222    Many C compilers mishandle backslash-newlines, so this part of the
 223    test is inside "#if 0".  The comment and string are written so that
 224    the "#endif" will be seen regardless of the C compiler bugs that we
 225    know about, namely:
 226
 227      HP C (as of late 2002) mishandles *\[newline]\[newline]/ within a
 228      comment.
 229
 230      The Apple Darwin compiler (as of late 2002) mishandles
 231      \\[newline]' within a character constant.
 232
 233    */
 234
 235 /\
 236 * A comment with backslash-newlines in it. %} *\
 237 \
 238 /
 239 /* { Close the above comment, if the C compiler mishandled it.  */
 240
 241 char str[] = "\\
 242 " A string with backslash-newlines in it %{ %} \\
 243 \
 244 "";
 245
 246 char apostrophe = '\'';
 247 #endif
 248
 249 #include <stdio.h>
 250 %}
 251 /* %{ and %} can be here too. */
 252
 253 %{
 254 /* Exercise pre-prologue dependency to %union.  */
 255 typedef int value;
 256 %}
 257
 258 /* Exercise M4 quoting: '@:>@@:>@', 0.  */
 259
 260 /* Also exercise %union. */
 261 %union
 262 {
 263   value ival; /* A comment to exercise an old bug. */
 264 };
 265
 266
 267 /* Exercise post-prologue dependency to %union.  */
 268 %{
 269 static YYSTYPE value_as_yystype (value val);
 270
 271 /* Exercise quotes in declarations.  */
 272 char quote[] = "@:>@@:>@,";
 273 %}
 274
 275 %{
 276 static void yyerror (const char *s);
 277 static int yylex (void);
 278 %}
 279
 280 %type <ival> '@<:@'
 281
 282 /* Exercise quotes in strings.  */
 283 %token FAKE "fake @<:@@:>@ \a\b\f\n\r\t\v\"\'\?\\\u005B\U0000005c ??!??'??(??)??-??/??<??=??> \x1\1"
 284
 285 %%
 286 /* Exercise M4 quoting: '@:>@@:>@', @<:@, 1.  */
 287 exp: '@<:@' '\1' two '$' '@' '{' oline output.or.oline.opt
 288   {
 289     /* Exercise quotes in braces.  */
 290     char tmp[] = "@<:@%c@:>@,\n";
 291     printf (tmp, $1);
 292   }
 293 ;
 294
 295 two: '\x000000000000000000000000000000000000000000000000000000000000000000002';
 296 oline: '@' 'o' 'l' 'i' 'n' 'e' '@' '_' '_' 'o' 'l' 'i' 'n' 'e' '_' '_';
 297 output.or.oline.opt: ;|oline;;|output;;;
 298 output: '#' 'o' 'u' 't' 'p' 'u' 't' ' ';
 299 %%
 300 /* Exercise M4 quoting: '@:>@@:>@', @<:@, 2.  */
 301
 302 static YYSTYPE
 303 value_as_yystype (value val)
 304 {
 305   YYSTYPE res;
 306   res.ival = val;
 307   return res;
 308 }
 309
 310 static int
 311 yylex (void)
 312 {
 313   static const char *input = "@<:@\1\2$@{@oline@__@&t@oline__\
 314 #output "; /* "
 315   */
 316   yylval = value_as_yystype (*input);
 317   return *input++;
 318 }
 319
 320 static void
 321 yyerror (const char *msg)
 322 {
 323   fprintf (stderr, "%s\n", msg);
 324 }
 325 ]])
 326
 327 # Pacify Emacs'font-lock-mode: "
 328
 329 AT_DATA([main.c],
 330 [[typedef int value;
 331 #include "input.h"
 332
 333 int yyparse (void);
 334
 335 int
 336 main (void)
 337 {
 338   return yyparse ();
 339 }
 340 ]])
 341
 342 AT_CHECK([bison -d -v -o input.c input.y])
 343 AT_COMPILE([input.o], [-c input.c])
 344 AT_COMPILE([main.o], [-c main.c])
 345 AT_COMPILE([input], [input.o main.o])
 346 AT_PARSER_CHECK([./input], 0,
 347 [[[@<:@],
 348 ]])
 349
 350 AT_CLEANUP
 351
 352
 353 ## ---------------------- ##
 354 ## Typed symbol aliases.  ##
 355 ## ---------------------- ##
 356
 357 AT_SETUP([Typed symbol aliases])
 358
 359 # Bison 2.0 broke typed symbol aliases - ensure they work.
 360
 361 AT_DATA_GRAMMAR([input.y],
 362 [[%union
 363 {
 364   int val;
 365 };
 366 %token <val> MY_TOKEN "MY TOKEN"
 367 %type <val> exp
 368 %%
 369 exp: "MY TOKEN";
 370 %%
 371 ]])
 372
 373 AT_CHECK([bison -o input.c input.y])
 374
 375 AT_CLEANUP
 376
 377
 378 ## --------- ##
 379 ## Require.  ##
 380 ## --------- ##
 381
 382 m4_define([AT_CHECK_REQUIRE],
 383 [AT_SETUP([Require $1])
 384 AT_DATA_GRAMMAR([input.y],
 385 [[%require "$1";
 386 %%
 387 empty_file:;
 388 ]])
 389 AT_CHECK([bison -o input.c input.y], $2, [], ignore)
 390 AT_CLEANUP
 391 ])
 392
 393 AT_CHECK_REQUIRE(1.0, 0)
 394 AT_CHECK_REQUIRE(AT_PACKAGE_VERSION, 0)
 395 ## FIXME: Some day augment this version number.
 396 AT_CHECK_REQUIRE(100.0, 63)