X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/1154ccedaf2f504455446e484932c5c9ffd2a18e..8a0adb01838b1b432849f34305ed0144f4716b5c:/tests/input.at diff --git a/tests/input.at b/tests/input.at index e3db5d0d..dada81af 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 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], [[%% @@ -33,7 +33,7 @@ exp: { $$ = $1 ; }; ]]) AT_CHECK([bison input.y], [1], [], -[[input.y:2.6-14: invalid value: $1 +[[input.y:2.13-14: integer out of range: `$1' ]]) AT_CLEANUP @@ -51,7 +51,7 @@ exp: { @$ = @1 ; }; ]]) AT_CHECK([bison input.y], [1], [], -[[input.y:2.6-14: invalid value: @1 +[[input.y:2.13-14: integer out of range: `@1' ]]) AT_CLEANUP @@ -73,10 +73,47 @@ exp: foo {} foo ; ]]) +AT_CHECK([bison input.y], [], [], +[[input.y:4.6-15: warning: type clash on default action: != <> +input.y:5.6-8: warning: type clash on default action: != <> +input.y:6.5: warning: empty rule for typed nonterminal, and no action +]]) + +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:4.4-15: type clash (`bar' `') on default action -input.y:5.4-8: type clash (`bar' `') on default action -input.y:6.4: empty rule for typed nonterminal, and no action +[[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.19-23: %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 @@ -92,18 +129,54 @@ AT_CLEANUP AT_SETUP([Torturing the Scanner]) -AT_DATA([input.y], + +AT_DATA([input.y], []) +AT_CHECK([bison input.y], [1], [], +[[input.y:1.1: syntax error, unexpected end of file +]]) + + +AT_DATA_GRAMMAR([input.y], [[%{ /* This is seen in GCC: a %{ and %} in middle of a comment. */ const char *foo = "So %{ and %} can be here too."; +#if 0 +/* These examples test Bison while not stressing C compilers too much. + Many C compilers mishandle backslash-newlines, so this part of the + test is inside "#if 0". The comment and string are written so that + the "#endif" will be seen regardless of the C compiler bugs that we + know about, namely: + + HP C (as of late 2002) mishandles *\[newline]\[newline]/ within a + comment. + + The Apple Darwin compiler (as of late 2002) mishandles + \\[newline]' within a character constant. + + */ + +/\ +* A comment with backslash-newlines in it. %} *\ +\ +/ +/* { Close the above comment, if the C compiler mishandled it. */ + +char str[] = "\\ +" A string with backslash-newlines in it %{ %} \\ +\ +""; + +char apostrophe = '\''; +#endif + #include %} /* %{ and %} can be here too. */ %{ /* Exercise pre-prologue dependency to %union. */ -typedef int value_t; +typedef int value; %} /* Exercise M4 quoting: '@:>@@:>@', 0. */ @@ -111,13 +184,13 @@ typedef int value_t; /* Also exercise %union. */ %union { - value_t ival; /* A comment to exercise an old bug. */ + value ival; /* A comment to exercise an old bug. */ }; /* Exercise post-prologue dependency to %union. */ %{ -static YYSTYPE value_t_as_yystype (value_t val); +static YYSTYPE value_as_yystype (value val); /* Exercise quotes in declarations. */ char quote[] = "@:>@@:>@,"; @@ -128,25 +201,30 @@ static void yyerror (const char *s); static int yylex (void); %} -%type '1' +%type '@<:@' /* Exercise quotes in strings. */ -%token FAKE "fake @<:@@:>@," +%token FAKE "fake @<:@@:>@ \a\b\f\n\r\t\v\"\'\?\\\u005B\U0000005c ??!??'??(??)??-??/?? \x1\1" %% -/* Exercise M4 quoting: '@:>@@:>@', 1. */ -exp: '1' +/* Exercise M4 quoting: '@:>@@:>@', @<:@, 1. */ +exp: '@<:@' '\1' two '$' '@' '{' oline output.or.oline.opt { /* Exercise quotes in braces. */ char tmp[] = "@<:@%c@:>@,\n"; printf (tmp, $1); } ; + +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. */ +/* Exercise M4 quoting: '@:>@@:>@', @<:@, 2. */ static YYSTYPE -value_t_as_yystype (value_t val) +value_as_yystype (value val) { YYSTYPE res; res.ival = val; @@ -156,8 +234,10 @@ value_t_as_yystype (value_t val) static int yylex (void) { - static const char *input = "1"; - yylval = value_t_as_yystype (*input); + static const char *input = "@<:@\1\2$@{@oline@__@&t@oline__\ +#output "; /* " + */ + yylval = value_as_yystype (*input); return *input++; } @@ -168,8 +248,10 @@ yyerror (const char *msg) } ]]) +# Pacify Emacs'font-lock-mode: " + AT_DATA([main.c], -[[typedef int value_t; +[[typedef int value; #include "input.h" int yyparse (void); @@ -181,10 +263,37 @@ main (void) } ]]) -AT_CHECK([bison input.y -d -v -o input.c]) -AT_COMPILE([input], [input.c main.c]) +AT_CHECK([bison -d -v -o input.c input.y]) +AT_COMPILE([input.o], [-c input.c]) +AT_COMPILE([main.o], [-c main.c]) +AT_COMPILE([input], [input.o main.o]) AT_PARSER_CHECK([./input], 0, -[[[1], +[[[@<:@], ]]) 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