X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/9af3fbce7c5f893ab9cd72b924e154d01f1f9190..dda7a53e4d98add4c5ab9ba2cbc6a2bbf40e896c:/tests/input.at diff --git a/tests/input.at b/tests/input.at index 9c223d37..78308d0c 100644 --- a/tests/input.at +++ b/tests/input.at @@ -1,5 +1,5 @@ # Checking the output filenames. -*- Autotest -*- -# Copyright 2002 Free Software Foundation, Inc. +# Copyright (C) 2002 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 @@ -20,6 +20,7 @@ AT_BANNER([[Input Processing.]]) # Mostly test that we are robust to mistakes. + ## ------------ ## ## Invalid $n. ## ## ------------ ## @@ -32,7 +33,7 @@ exp: { $$ = $1 ; }; ]]) AT_CHECK([bison input.y], [1], [], -[[input.y:2: invalid value: $1 +[[input.y:2.6-14: integer out of range: `$1' ]]) AT_CLEANUP @@ -50,17 +51,17 @@ exp: { @$ = @1 ; }; ]]) AT_CHECK([bison input.y], [1], [], -[[input.y:2: invalid value: @1 +[[input.y:2.6-14: integer out of range: `@1' ]]) AT_CLEANUP ## -------------- ## -## Type clashes. ## +## Type Clashes. ## ## -------------- ## -AT_SETUP([Type clashes]) +AT_SETUP([Type Clashes]) AT_DATA([input.y], [[%token foo @@ -73,9 +74,156 @@ exp: foo {} foo ]]) AT_CHECK([bison input.y], [1], [], -[[input.y:5: type clash (`bar' `') on default action -input.y:6: type clash (`bar' `') on default action -input.y:7: empty rule for typed nonterminal, and no action +[[input.y:4.4-15: type clash on default action: <bar> != <> +input.y:5.4-8: type clash on default action: <bar> != <> +input.y:6.4: empty rule for typed nonterminal, and no action +]]) + +AT_CLEANUP + + + +## ----------------------- ## +## Torturing the Scanner. ## +## ----------------------- ## + +# Be sure to compile and run, so that the C compiler checks what +# we do. + +AT_SETUP([Torturing the Scanner]) + +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 <stdio.h> +%} +/* %{ and %} can be here too. */ + +%{ +/* Exercise pre-prologue dependency to %union. */ +typedef int value_t; +%} + +/* Exercise M4 quoting: '@:>@@:>@', 0. */ + +/* Also exercise %union. */ +%union +{ + value_t ival; /* A comment to exercise an old bug. */ +}; + + +/* Exercise post-prologue dependency to %union. */ +%{ +static YYSTYPE value_t_as_yystype (value_t val); + +/* Exercise quotes in declarations. */ +char quote[] = "@:>@@:>@,"; +%} + +%{ +static void yyerror (const char *s); +static int yylex (void); +%} + +%type <ival> '@<:@' + +/* Exercise quotes in strings. */ +%token FAKE "fake @<:@@:>@ \a\b\f\n\r\t\v\"\'\?\\\u005B\U0000005c ??!??'??(??)??-??/??<??=??> \x0\0" + +%% +/* Exercise M4 quoting: '@:>@@:>@', @<:@, 1. */ +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. */ + +static YYSTYPE +value_t_as_yystype (value_t val) +{ + YYSTYPE res; + res.ival = val; + return res; +} + +static int +yylex (void) +{ + static const char *input = "@<:@\1\2$@{@oline@__@&t@oline__\ +#output "; /* " + */ + yylval = value_t_as_yystype (*input); + return *input++; +} + +static void +yyerror (const char *msg) +{ + fprintf (stderr, "%s\n", msg); +} +]]) + +# Pacify Emacs'font-lock-mode: " + +AT_DATA([main.c], +[[typedef int value_t; +#include "input.h" + +int yyparse (void); + +int +main (void) +{ + return yyparse (); +} +]]) + +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, +[[[@<:@], ]]) AT_CLEANUP