X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/0baf7c50ed2f4e110afbdefb9ef1d60e935d708d..3f0014152bbfe76bb374ef03dbf4700bb1dd2796:/tests/input.at diff --git a/tests/input.at b/tests/input.at index 43e6c7e9..ba45119c 100644 --- a/tests/input.at +++ b/tests/input.at @@ -1,5 +1,5 @@ -# Checking the output filenames. -*- Autotest -*- -# Copyright (C) 2002 Free Software Foundation, Inc. +# Checking the Bison scanner. -*- Autotest -*- +# Copyright (C) 2002, 2003, 2004, 2005, 2006 Free Software Foundation, Inc. # This program is free software; you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by @@ -13,8 +13,8 @@ # You should have received a copy of the GNU General Public License # along with this program; if not, write to the Free Software -# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA -# 02111-1307, USA. +# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA +# 02110-1301, USA. AT_BANNER([[Input Processing.]]) @@ -25,7 +25,7 @@ AT_BANNER([[Input Processing.]]) ## Invalid $n. ## ## ------------ ## -AT_SETUP([Invalid $n]) +AT_SETUP([Invalid dollar-n]) AT_DATA([input.y], [[%% @@ -82,6 +82,111 @@ input.y:6.5: warning: empty rule for typed nonterminal, and no action AT_CLEANUP +## --------------- ## +## Unused values. ## +## --------------- ## + +AT_SETUP([Unused values]) + +AT_DATA([input.y], +[[%token INT +%type a b c d e f g h i j k l +%destructor { destroy ($$); } INT a b c d e f g h i j k l +%% +start: + 'a' a { $2 } | 'b' b { $2 } | 'c' c { $2 } | 'd' d { $2 } | 'e' e { $2 } +| 'f' f { $2 } | 'g' g { $2 } | 'h' h { $2 } | 'i' i { $2 } | 'j' j { $2 } +| 'k' k { $2 } | 'l' l { $2 } +; + +a: INT | INT { } INT { } INT { }; +b: INT | /* empty */; +c: INT | INT { $1 } INT { } INT { }; +d: INT | INT { } INT { $1 } INT { }; +e: INT | INT { } INT { } INT { $1 }; +f: INT | INT { } INT { } INT { $$ = $1 + $3 + $5; }; +g: INT | INT { $$ } INT { $$ } INT { }; +h: INT | INT { $$ } INT { $$ = $2 } INT { }; +i: INT | INT INT { } { $$ = $1 + $2; }; +j: INT | INT INT { $$ = 1; } { $$ = $1 + $2; }; +k: INT | INT INT { $$; } { $$ = $3; } { }; +l: INT | INT { $$ = $1; } INT { $$ = $2 + $3; } INT { $$ = $4 + $5; }; + +]]) + +AT_CHECK([bison input.y], [], [], +[[input.y:11.10-32: warning: unset value: $$ +input.y:11.10-32: warning: unused value: $1 +input.y:11.10-32: warning: unused value: $3 +input.y:11.10-32: warning: unused value: $5 +input.y:12.9: warning: empty rule for typed nonterminal, and no action +input.y:13.10-35: warning: unset value: $$ +input.y:13.10-35: warning: unused value: $3 +input.y:13.10-35: warning: unused value: $5 +input.y:14.10-35: warning: unset value: $$ +input.y:14.10-35: warning: unused value: $3 +input.y:14.10-35: warning: unused value: $5 +input.y:15.10-36: warning: unset value: $$ +input.y:15.10-36: warning: unused value: $3 +input.y:15.10-36: warning: unused value: $5 +input.y:17.10-38: warning: unset value: $$ +input.y:17.10-38: warning: unused value: $1 +input.y:17.10-38: warning: unused value: $2 +input.y:17.10-38: warning: unused value: $3 +input.y:17.10-38: warning: unused value: $4 +input.y:17.10-38: warning: unused value: $5 +input.y:18.10-43: warning: unset value: $$ +input.y:18.10-43: warning: unused value: $1 +input.y:18.10-43: warning: unused value: $3 +input.y:18.10-43: warning: unused value: $4 +input.y:18.10-43: warning: unused value: $5 +input.y:20.10-55: warning: unused value: $3 +input.y:21.10-41: warning: unset value: $$ +input.y:21.10-41: warning: unused value: $1 +input.y:21.10-41: warning: unused value: $2 +input.y:21.10-41: warning: unused value: $4 +]]) + +AT_CLEANUP + + +## ---------------------- ## +## Incompatible Aliases. ## +## ---------------------- ## + +AT_SETUP([Incompatible Aliases]) + +AT_DATA([input.y], +[[%token foo "foo" + +%type foo +%printer {bar} foo +%destructor {bar} foo +%left foo + +%type "foo" +%printer {baz} "foo" +%destructor {baz} "foo" +%left "foo" + +%% +exp: foo; +]]) + +AT_CHECK([bison input.y], [1], [], +[[input.y:8.7-11: %type redeclaration for foo +input.y:3.7-11: first declaration +input.y:10.13-17: %destructor redeclaration for foo +input.y:5.13-17: first declaration +input.y:9.10-14: %printer redeclaration for foo +input.y:10.13-17: first declaration +input.y:11.1-5: %left redeclaration for foo +input.y:6.1-5: first declaration +]]) + +AT_CLEANUP + + ## ----------------------- ## ## Torturing the Scanner. ## @@ -95,7 +200,7 @@ AT_SETUP([Torturing the Scanner]) AT_DATA([input.y], []) AT_CHECK([bison input.y], [1], [], -[[input.y:1.1: syntax error, unexpected "end of file" +[[input.y:1.1: syntax error, unexpected end of file ]]) @@ -167,11 +272,11 @@ static int yylex (void); %type '@<:@' /* Exercise quotes in strings. */ -%token FAKE "fake @<:@@:>@ \a\b\f\n\r\t\v\"\'\?\\\u005B\U0000005c ??!??'??(??)??-??/?? \x0\0" +%token FAKE "fake @<:@@:>@ \a\b\f\n\r\t\v\"\'\?\\\u005B\U0000005c ??!??'??(??)??-??/?? \x1\1" %% /* Exercise M4 quoting: '@:>@@:>@', @<:@, 1. */ -exp: '@<:@' '\1' two '$' '@' '{' oline output +exp: '@<:@' '\1' two '$' '@' '{' oline output.or.oline.opt { /* Exercise quotes in braces. */ char tmp[] = "@<:@%c@:>@,\n"; @@ -181,6 +286,7 @@ exp: '@<:@' '\1' two '$' '@' '{' oline output two: '\x000000000000000000000000000000000000000000000000000000000000000000002'; oline: '@' 'o' 'l' 'i' 'n' 'e' '@' '_' '_' 'o' 'l' 'i' 'n' 'e' '_' '_'; +output.or.oline.opt: ;|oline;;|output;;; output: '#' 'o' 'u' 't' 'p' 'u' 't' ' '; %% /* Exercise M4 quoting: '@:>@@:>@', @<:@, 2. */ @@ -234,3 +340,49 @@ AT_PARSER_CHECK([./input], 0, ]]) AT_CLEANUP + + +## ---------------------- ## +## Typed symbol aliases. ## +## ---------------------- ## + +AT_SETUP([Typed symbol aliases]) + +# Bison 2.0 broke typed symbol aliases - ensure they work. + +AT_DATA_GRAMMAR([input.y], +[[%union +{ + int val; +}; +%token MY_TOKEN "MY TOKEN" +%type exp +%% +exp: "MY TOKEN"; +%% +]]) + +AT_CHECK([bison -o input.c input.y]) + +AT_CLEANUP + + +## --------- ## +## Require. ## +## --------- ## + +m4_define([AT_CHECK_REQUIRE], +[AT_SETUP([Require $1]) +AT_DATA_GRAMMAR([input.y], +[[%require "$1"; +%% +empty_file:; +]]) +AT_CHECK([bison -o input.c input.y], $2, [], ignore) +AT_CLEANUP +]) + +AT_CHECK_REQUIRE(1.0, 0) +AT_CHECK_REQUIRE(AT_PACKAGE_VERSION, 0) +## FIXME: Some day augment this version number. +AT_CHECK_REQUIRE(100.0, 63)