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 19AT_BANNER([[Input Processing.]]) 20 21# Mostly test that we are robust to mistakes. 22 23 24## ------------ ## 25## Invalid $n. ## 26## ------------ ## 27 28AT_SETUP([Invalid dollar-n]) 29 30AT_DATA([input.y], 31[[%% 32exp: { $$ = $1 ; }; 33]]) 34 35AT_CHECK([bison input.y], [1], [], 36[[input.y:2.13-14: integer out of range: `$1' 37]]) 38 39AT_CLEANUP 40 41 42## ------------ ## 43## Invalid @n. ## 44## ------------ ## 45 46AT_SETUP([Invalid @n]) 47 48AT_DATA([input.y], 49[[%% 50exp: { @$ = @1 ; }; 51]]) 52 53AT_CHECK([bison input.y], [1], [], 54[[input.y:2.13-14: integer out of range: `@1' 55]]) 56 57AT_CLEANUP 58 59 60## -------------- ## 61## Type Clashes. ## 62## -------------- ## 63 64AT_SETUP([Type Clashes]) 65 66AT_DATA([input.y], 67[[%token foo 68%type <bar> exp 69%% 70exp: foo {} foo 71 | foo 72 | /* Empty. */ 73 ; 74]]) 75 76AT_CHECK([bison input.y], [], [], 77[[input.y:4.6-15: warning: type clash on default action: <bar> != <> 78input.y:5.6-8: warning: type clash on default action: <bar> != <> 79input.y:6.5: warning: empty rule for typed nonterminal, and no action 80]]) 81 82AT_CLEANUP 83 84 85## --------------- ## 86## Unused values. ## 87## --------------- ## 88 89AT_SETUP([Unused values]) 90 91AT_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%% 96start: 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 102a: INT | INT { } INT { } INT { }; 103b: INT | /* empty */; 104c: INT | INT { $1 } INT { } INT { }; 105d: INT | INT { } INT { $1 } INT { }; 106e: INT | INT { } INT { } INT { $1 }; 107f: INT | INT { } INT { } INT { $$ = $1 + $3 + $5; }; 108g: INT | INT { $$ } INT { $$ } INT { }; 109h: INT | INT { $$ } INT { $$ = $2 } INT { }; 110i: INT | INT INT { } { $$ = $1 + $2; }; 111j: INT | INT INT { $<integer>$ = 1; } { $$ = $1 + $2; }; 112k: INT | INT INT { $$; } { $$ = $3; } { }; 113l: INT | INT { $$ = $1; } INT { $$ = $2 + $3; } INT { $$ = $4 + $5; }; 114 115]]) 116 117AT_CHECK([bison input.y], [], [], 118[[input.y:11.10-32: warning: unset value: $$ 119input.y:11.10-32: warning: unused value: $1 120input.y:11.10-32: warning: unused value: $3 121input.y:11.10-32: warning: unused value: $5 122input.y:12.9: warning: empty rule for typed nonterminal, and no action 123input.y:13.10-35: warning: unset value: $$ 124input.y:13.10-35: warning: unused value: $3 125input.y:13.10-35: warning: unused value: $5 126input.y:14.10-35: warning: unset value: $$ 127input.y:14.10-35: warning: unused value: $3 128input.y:14.10-35: warning: unused value: $5 129input.y:15.10-36: warning: unset value: $$ 130input.y:15.10-36: warning: unused value: $3 131input.y:15.10-36: warning: unused value: $5 132input.y:17.10-38: warning: unset value: $$ 133input.y:17.10-38: warning: unused value: $1 134input.y:17.10-38: warning: unused value: $2 135input.y:17.10-38: warning: unused value: $3 136input.y:17.10-38: warning: unused value: $4 137input.y:17.10-38: warning: unused value: $5 138input.y:18.10-43: warning: unset value: $$ 139input.y:18.10-43: warning: unused value: $1 140input.y:18.10-43: warning: unused value: $3 141input.y:18.10-43: warning: unused value: $4 142input.y:18.10-43: warning: unused value: $5 143input.y:20.10-55: warning: unused value: $3 144input.y:21.10-41: warning: unset value: $$ 145input.y:21.10-41: warning: unused value: $1 146input.y:21.10-41: warning: unused value: $2 147input.y:21.10-41: warning: unused value: $4 148]]) 149 150AT_CLEANUP 151 152 153## ---------------------- ## 154## Incompatible Aliases. ## 155## ---------------------- ## 156 157AT_SETUP([Incompatible Aliases]) 158 159AT_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%% 173exp: foo; 174]]) 175 176AT_CHECK([bison input.y], [1], [], 177[[input.y:8.7-11: %type redeclaration for foo 178input.y:3.7-11: first declaration 179input.y:10.13-17: %destructor redeclaration for foo 180input.y:5.13-17: first declaration 181input.y:9.10-14: %printer redeclaration for foo 182input.y:10.13-17: first declaration 183input.y:11.1-5: %left redeclaration for foo 184input.y:6.1-5: first declaration 185]]) 186 187AT_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 198AT_SETUP([Torturing the Scanner]) 199 200 201AT_DATA([input.y], []) 202AT_CHECK([bison input.y], [1], [], 203[[input.y:1.1: syntax error, unexpected end of file 204]]) 205 206 207AT_DATA([input.y], 208[{} 209]) 210AT_CHECK([bison input.y], [1], [], 211[[input.y:1.1-2: syntax error, unexpected {...} 212]]) 213 214 215AT_DATA_GRAMMAR([input.y], 216[[%{ 217/* This is seen in GCC: a %{ and %} in middle of a comment. */ 218const 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 241char str[] = "\\ 242" A string with backslash-newlines in it %{ %} \\ 243\ 244""; 245 246char apostrophe = '\''; 247#endif 248 249#include <stdio.h> 250%} 251/* %{ and %} can be here too. */ 252 253%{ 254/* Exercise pre-prologue dependency to %union. */ 255typedef 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%{ 269static YYSTYPE value_as_yystype (value val); 270 271/* Exercise quotes in declarations. */ 272char quote[] = "@:>@@:>@,"; 273%} 274 275%{ 276static void yyerror (const char *s); 277static 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. */ 287exp: '@<:@' '\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 295two: '\x000000000000000000000000000000000000000000000000000000000000000000002'; 296oline: '@' 'o' 'l' 'i' 'n' 'e' '@' '_' '_' 'o' 'l' 'i' 'n' 'e' '_' '_'; 297output.or.oline.opt: ;|oline;;|output;;; 298output: '#' 'o' 'u' 't' 'p' 'u' 't' ' '; 299%% 300/* Exercise M4 quoting: '@:>@@:>@', @<:@, 2. */ 301 302static YYSTYPE 303value_as_yystype (value val) 304{ 305 YYSTYPE res; 306 res.ival = val; 307 return res; 308} 309 310static int 311yylex (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 320static void 321yyerror (const char *msg) 322{ 323 fprintf (stderr, "%s\n", msg); 324} 325]]) 326 327# Pacify Emacs'font-lock-mode: " 328 329AT_DATA([main.c], 330[[typedef int value; 331#include "input.h" 332 333int yyparse (void); 334 335int 336main (void) 337{ 338 return yyparse (); 339} 340]]) 341 342AT_CHECK([bison -d -v -o input.c input.y]) 343AT_COMPILE([input.o], [-c input.c]) 344AT_COMPILE([main.o], [-c main.c]) 345AT_COMPILE([input], [input.o main.o]) 346AT_PARSER_CHECK([./input], 0, 347[[[@<:@], 348]]) 349 350AT_CLEANUP 351 352 353## ---------------------- ## 354## Typed symbol aliases. ## 355## ---------------------- ## 356 357AT_SETUP([Typed symbol aliases]) 358 359# Bison 2.0 broke typed symbol aliases - ensure they work. 360 361AT_DATA_GRAMMAR([input.y], 362[[%union 363{ 364 int val; 365}; 366%token <val> MY_TOKEN "MY TOKEN" 367%type <val> exp 368%% 369exp: "MY TOKEN"; 370%% 371]]) 372 373AT_CHECK([bison -o input.c input.y]) 374 375AT_CLEANUP 376 377 378## --------- ## 379## Require. ## 380## --------- ## 381 382m4_define([AT_CHECK_REQUIRE], 383[AT_SETUP([Require $1]) 384AT_DATA_GRAMMAR([input.y], 385[[%require "$1"; 386%% 387empty_file:; 388]]) 389AT_CHECK([bison -o input.c input.y], $2, [], ignore) 390AT_CLEANUP 391]) 392 393AT_CHECK_REQUIRE(1.0, 0) 394AT_CHECK_REQUIRE(AT_PACKAGE_VERSION, 0) 395## FIXME: Some day augment this version number. 396AT_CHECK_REQUIRE(100.0, 63) 397