X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/c4d720cdbb37d08c19c2cc240de91930da4db923..dda7a53e4d98add4c5ab9ba2cbc6a2bbf40e896c:/tests/input.at diff --git a/tests/input.at b/tests/input.at index de584aac..78308d0c 100644 --- a/tests/input.at +++ b/tests/input.at @@ -33,7 +33,7 @@ exp: { $$ = $1 ; }; ]]) AT_CHECK([bison input.y], [1], [], -[[input.y:2.6-14: invalid value: `$1' +[[input.y:2.6-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.6-14: integer out of range: `@1' ]]) AT_CLEANUP @@ -92,25 +92,38 @@ AT_CLEANUP AT_SETUP([Torturing the Scanner]) -AT_DATA([input.y], +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."; -#ifdef __STDC__ +#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. %{ %} *\ +* 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 = '\\ -\ -'\ -'; +char apostrophe = '\''; #endif #include @@ -151,13 +164,17 @@ static int yylex (void); %% /* Exercise M4 quoting: '@:>@@:>@', @<:@, 1. */ -exp: '@<:@' '\1' '\x000000000000000000000000000000000000000000000000002' +exp: '@<:@' '\1' two '$' '@' '{' oline output { /* 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: '#' 'o' 'u' 't' 'p' 'u' 't' ' '; %% /* Exercise M4 quoting: '@:>@@:>@', @<:@, 2. */ @@ -172,7 +189,9 @@ value_t_as_yystype (value_t val) static int yylex (void) { - static const char *input = "@<:@\1\2"; + static const char *input = "@<:@\1\2$@{@oline@__@&t@oline__\ +#output "; /* " + */ yylval = value_t_as_yystype (*input); return *input++; } @@ -184,6 +203,8 @@ yyerror (const char *msg) } ]]) +# Pacify Emacs'font-lock-mode: " + AT_DATA([main.c], [[typedef int value_t; #include "input.h" @@ -198,7 +219,9 @@ main (void) ]]) AT_CHECK([bison -d -v -o input.c input.y]) -AT_COMPILE([input], [input.c main.c]) +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, [[[@<:@], ]])