]> git.saurik.com Git - bison.git/blob - tests/input.at
223428f1695f85169016c00f0ee273203025bb86
[bison.git] / tests / input.at
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
19 AT_BANNER([[Input Processing.]])
20
21 # Mostly test that we are robust to mistakes.
22
23
24 ## ------------ ##
25 ## Invalid $n. ##
26 ## ------------ ##
27
28 AT_SETUP([Invalid \$n and @n])
29
30 AT_DATA([input.y],
31 [[%%
32 exp: { $$ = $1 ; };
33 exp: { @$ = @1 ; };
34 ]])
35
36 AT_CHECK([bison input.y], [1], [],
37 [[input.y:2.13-14: integer out of range: `$1'
38 input.y:3.13-14: integer out of range: `@1'
39 ]])
40
41 AT_CLEANUP
42
43
44 ## -------------- ##
45 ## Type Clashes. ##
46 ## -------------- ##
47
48 AT_SETUP([Type Clashes])
49
50 AT_DATA([input.y],
51 [[%union { int bar; }
52 %token foo
53 %type <bar> exp
54 %%
55 exp: foo { $$; } foo { $2; } foo
56 | foo
57 | /* Empty. */
58 ;
59 ]])
60
61 AT_CHECK([bison input.y], [1], [],
62 [[input.y:5.12-13: $$ for the midrule at $2 of `exp' has no declared type
63 input.y:5.24-25: $2 of `exp' has no declared type
64 input.y:5.6-32: warning: type clash on default action: <bar> != <>
65 input.y:6.6-8: warning: type clash on default action: <bar> != <>
66 input.y:7.5: warning: empty rule for typed nonterminal, and no action
67 ]])
68
69 AT_CLEANUP
70
71
72 # _AT_UNUSED_VALUES_DECLARATIONS()
73 # --------------------------------------------
74 # Generate the token, type, and destructor
75 # declarations for the unused values tests.
76
77 m4_define([_AT_UNUSED_VALUES_DECLARATIONS],
78 [[[%token <integer> INT;
79 %type <integer> a b c d e f g h i j k l;
80 %destructor { destroy ($$); } INT a b c d e f g h i j k l;]]])
81
82
83 # AT_CHECK_UNUSED_VALUES(DECLARATIONS_AFTER)
84 # --------------------------------------------
85 # Generate a grammar to test unused values,
86 # compile it, run it. If DECLARATIONS_AFTER
87 # is set, then the token, type, and destructor
88 # declarations are generated after the rules
89 # rather than before.
90
91 m4_define([AT_CHECK_UNUSED_VALUES],
92 [AT_DATA([input.y],
93 m4_ifval($1, [
94
95
96 ], [_AT_UNUSED_VALUES_DECLARATIONS
97 ])[[%%
98 start:
99 'a' a { $]2[ } | 'b' b { $]2[ } | 'c' c { $]2[ } | 'd' d { $]2[ } | 'e' e { $]2[ }
100 | 'f' f { $]2[ } | 'g' g { $]2[ } | 'h' h { $]2[ } | 'i' i { $]2[ } | 'j' j { $]2[ }
101 | 'k' k { $]2[ } | 'l' l { $]2[ }
102 ;
103
104 a: INT | INT { } INT { } INT { };
105 b: INT | /* empty */;
106 c: INT | INT { $]1[ } INT { } INT { };
107 d: INT | INT { } INT { $]1[ } INT { };
108 e: INT | INT { } INT { } INT { $]1[ };
109 f: INT | INT { } INT { } INT { $]$[ = $]1[ + $]3[ + $]5[; };
110 g: INT | INT { $<integer>$; } INT { $<integer>$; } INT { };
111 h: INT | INT { $<integer>$; } INT { $<integer>$ = $<integer>2; } INT { };
112 i: INT | INT INT { } { $]$[ = $]1[ + $]2[; };
113 j: INT | INT INT { $<integer>$ = 1; } { $]$[ = $]1[ + $]2[; };
114 k: INT | INT INT { $<integer>$; } { $<integer>$ = $<integer>3; } { };
115 l: INT | INT { $<integer>$ = $<integer>1; } INT { $<integer>$ = $<integer>2 + $<integer>3; } INT { $<integer>$ = $<integer>4 + $<integer>5; };]]m4_ifval($1, [
116 _AT_UNUSED_VALUES_DECLARATIONS])
117 )
118
119 AT_CHECK([bison input.y], [0], [],
120 [[input.y:11.10-32: warning: unset value: $]$[
121 input.y:11.10-32: warning: unused value: $]1[
122 input.y:11.10-32: warning: unused value: $]3[
123 input.y:11.10-32: warning: unused value: $]5[
124 input.y:12.9: warning: empty rule for typed nonterminal, and no action
125 input.y:13.10-35: warning: unset value: $]$[
126 input.y:13.10-35: warning: unused value: $]3[
127 input.y:13.10-35: warning: unused value: $]5[
128 input.y:14.10-35: warning: unset value: $]$[
129 input.y:14.10-35: warning: unused value: $]3[
130 input.y:14.10-35: warning: unused value: $]5[
131 input.y:15.10-36: warning: unset value: $]$[
132 input.y:15.10-36: warning: unused value: $]3[
133 input.y:15.10-36: warning: unused value: $]5[
134 input.y:17.10-58: warning: unset value: $]$[
135 input.y:17.10-58: warning: unused value: $]1[
136 input.y:17.10-58: warning: unused value: $]2[
137 input.y:17.10-58: warning: unused value: $]3[
138 input.y:17.10-58: warning: unused value: $]4[
139 input.y:17.10-58: warning: unused value: $]5[
140 input.y:18.10-72: warning: unset value: $]$[
141 input.y:18.10-72: warning: unused value: $]1[
142 input.y:18.10-72: warning: unused value: $]3[
143 input.y:18.10-72: warning: unused value: $]4[
144 input.y:18.10-72: warning: unused value: $]5[
145 input.y:20.10-55: warning: unused value: $]3[
146 input.y:21.10-68: warning: unset value: $]$[
147 input.y:21.10-68: warning: unused value: $]1[
148 input.y:21.10-68: warning: unused value: $]2[
149 input.y:21.10-68: warning: unused value: $]4[
150 ]])])
151
152
153 ## --------------- ##
154 ## Unused values. ##
155 ## --------------- ##
156
157 AT_SETUP([Unused values])
158 AT_CHECK_UNUSED_VALUES
159 AT_CLEANUP
160
161
162 ## ------------------------------------------ ##
163 ## Unused values before symbol declarations. ##
164 ## ------------------------------------------ ##
165
166 AT_SETUP([Unused values before symbol declarations])
167 AT_CHECK_UNUSED_VALUES([1])
168 AT_CLEANUP
169
170
171 ## ---------------------- ##
172 ## Incompatible Aliases. ##
173 ## ---------------------- ##
174
175 AT_SETUP([Incompatible Aliases])
176
177 AT_DATA([input.y],
178 [[%token foo "foo"
179
180 %type <bar> foo
181 %printer {bar} foo
182 %destructor {bar} foo
183 %left foo
184
185 %type <baz> "foo"
186 %printer {baz} "foo"
187 %destructor {baz} "foo"
188 %left "foo"
189
190 %%
191 exp: foo;
192 ]])
193
194 AT_CHECK([bison input.y], [1], [],
195 [[input.y:8.7-11: %type redeclaration for foo
196 input.y:3.7-11: previous declaration
197 input.y:10.13-17: %destructor redeclaration for foo
198 input.y:5.13-17: previous declaration
199 input.y:9.10-14: %printer redeclaration for foo
200 input.y:4.10-14: previous declaration
201 input.y:11.1-5: %left redeclaration for foo
202 input.y:6.1-5: previous declaration
203 ]])
204
205 AT_CLEANUP
206
207
208
209 ## ----------------------- ##
210 ## Torturing the Scanner. ##
211 ## ----------------------- ##
212
213 # Be sure to compile and run, so that the C compiler checks what
214 # we do.
215
216 AT_SETUP([Torturing the Scanner])
217
218
219 AT_DATA([input.y], [])
220 AT_CHECK([bison input.y], [1], [],
221 [[input.y:1.1: syntax error, unexpected end of file
222 ]])
223
224
225 AT_DATA([input.y],
226 [{}
227 ])
228 AT_CHECK([bison input.y], [1], [],
229 [[input.y:1.1-2: syntax error, unexpected {...}
230 ]])
231
232
233 AT_DATA_GRAMMAR([input.y],
234 [[%{
235 /* This is seen in GCC: a %{ and %} in middle of a comment. */
236 const char *foo = "So %{ and %} can be here too.";
237
238 #if 0
239 /* These examples test Bison while not stressing C compilers too much.
240 Many C compilers mishandle backslash-newlines, so this part of the
241 test is inside "#if 0". The comment and string are written so that
242 the "#endif" will be seen regardless of the C compiler bugs that we
243 know about, namely:
244
245 HP C (as of late 2002) mishandles *\[newline]\[newline]/ within a
246 comment.
247
248 The Apple Darwin compiler (as of late 2002) mishandles
249 \\[newline]' within a character constant.
250
251 */
252
253 /\
254 * A comment with backslash-newlines in it. %} *\
255 \
256 /
257 /* { Close the above comment, if the C compiler mishandled it. */
258
259 char str[] = "\\
260 " A string with backslash-newlines in it %{ %} \\
261 \
262 "";
263
264 char apostrophe = '\'';
265 #endif
266
267 #include <stdio.h>
268 %}
269 /* %{ and %} can be here too. */
270
271 %{
272 /* Exercise pre-prologue dependency to %union. */
273 typedef int value;
274 %}
275
276 /* Exercise M4 quoting: '@:>@@:>@', 0. */
277
278 /* Also exercise %union. */
279 %union
280 {
281 value ival; /* A comment to exercise an old bug. */
282 };
283
284
285 /* Exercise post-prologue dependency to %union. */
286 %{
287 static YYSTYPE value_as_yystype (value val);
288
289 /* Exercise quotes in declarations. */
290 char quote[] = "@:>@@:>@,";
291 %}
292
293 %{
294 static void yyerror (const char *s);
295 static int yylex (void);
296 %}
297
298 %type <ival> '@<:@'
299
300 /* Exercise quotes in strings. */
301 %token FAKE "fake @<:@@:>@ \a\b\f\n\r\t\v\"\'\?\\\u005B\U0000005c ??!??'??(??)??-??/??<??=??> \x1\1"
302
303 %%
304 /* Exercise M4 quoting: '@:>@@:>@', @<:@, 1. */
305 exp: '@<:@' '\1' two '$' '@' '{' oline output.or.oline.opt
306 {
307 /* Exercise quotes in braces. */
308 char tmp[] = "@<:@%c@:>@,\n";
309 printf (tmp, $1);
310 }
311 ;
312
313 two: '\x000000000000000000000000000000000000000000000000000000000000000000002';
314 oline: '@' 'o' 'l' 'i' 'n' 'e' '@' '_' '_' 'o' 'l' 'i' 'n' 'e' '_' '_';
315 output.or.oline.opt: ;|oline;;|output;;;
316 output: '#' 'o' 'u' 't' 'p' 'u' 't' ' ';
317 %%
318 /* Exercise M4 quoting: '@:>@@:>@', @<:@, 2. */
319
320 static YYSTYPE
321 value_as_yystype (value val)
322 {
323 YYSTYPE res;
324 res.ival = val;
325 return res;
326 }
327
328 static int
329 yylex (void)
330 {
331 static const char *input = "@<:@\1\2$@{@oline@__@&t@oline__\
332 #output "; /* "
333 */
334 yylval = value_as_yystype (*input);
335 return *input++;
336 }
337
338 static void
339 yyerror (const char *msg)
340 {
341 fprintf (stderr, "%s\n", msg);
342 }
343 ]])
344
345 # Pacify Emacs'font-lock-mode: "
346
347 AT_DATA([main.c],
348 [[typedef int value;
349 #include "input.h"
350
351 int yyparse (void);
352
353 int
354 main (void)
355 {
356 return yyparse ();
357 }
358 ]])
359
360 AT_CHECK([bison -d -v -o input.c input.y])
361 AT_COMPILE([input.o], [-c input.c])
362 AT_COMPILE([main.o], [-c main.c])
363 AT_COMPILE([input], [input.o main.o])
364 AT_PARSER_CHECK([./input], 0,
365 [[[@<:@],
366 ]])
367
368 AT_CLEANUP
369
370
371 ## ---------------------- ##
372 ## Typed symbol aliases. ##
373 ## ---------------------- ##
374
375 AT_SETUP([Typed symbol aliases])
376
377 # Bison 2.0 broke typed symbol aliases - ensure they work.
378
379 AT_DATA_GRAMMAR([input.y],
380 [[%union
381 {
382 int val;
383 };
384 %token <val> MY_TOKEN "MY TOKEN"
385 %type <val> exp
386 %%
387 exp: "MY TOKEN";
388 %%
389 ]])
390
391 AT_CHECK([bison -o input.c input.y])
392
393 AT_CLEANUP
394
395
396 ## --------- ##
397 ## Require. ##
398 ## --------- ##
399
400 m4_define([AT_CHECK_REQUIRE],
401 [AT_SETUP([Require $1])
402 AT_DATA_GRAMMAR([input.y],
403 [[%require "$1";
404 %%
405 empty_file:;
406 ]])
407 AT_CHECK([bison -o input.c input.y], $2, [], ignore)
408 AT_CLEANUP
409 ])
410
411 AT_CHECK_REQUIRE(1.0, 0)
412 AT_CHECK_REQUIRE(AT_PACKAGE_VERSION, 0)
413 ## FIXME: Some day augment this version number.
414 AT_CHECK_REQUIRE(100.0, 63)