]> git.saurik.com Git - bison.git/blob - tests/skeletons.at
tests: better silencing of unused argument warnings
[bison.git] / tests / skeletons.at
1 # Checking skeleton support. -*- Autotest -*-
2
3 # Copyright (C) 2007, 2009-2013 Free Software Foundation, Inc.
4
5 # This program is free software: you can redistribute it and/or modify
6 # it under the terms of the GNU General Public License as published by
7 # the Free Software Foundation, either version 3 of the License, or
8 # (at your option) any later version.
9 #
10 # This program is distributed in the hope that it will be useful,
11 # but WITHOUT ANY WARRANTY; without even the implied warranty of
12 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 # GNU General Public License for more details.
14 #
15 # You should have received a copy of the GNU General Public License
16 # along with this program. If not, see <http://www.gnu.org/licenses/>.
17
18 AT_BANNER([[Skeleton Support.]])
19
20 ## ------------------------------ ##
21 ## Relative skeleton file names. ##
22 ## ------------------------------ ##
23
24 AT_SETUP([[Relative skeleton file names]])
25
26 AT_CHECK([[mkdir tmp]])
27
28 AT_DATA([[tmp/skel.c]],
29 [[m4@&t@_divert_push(0)d@&t@nl
30 @output(b4_parser_file_name@)d@&t@nl
31 b4_percent_define_get([[test]])
32 m4@&t@_divert_pop(0)
33 ]])
34
35 AT_DATA([[skel.c]],
36 [[m4@&t@_divert_push(0)d@&t@nl
37 @output(b4_parser_file_name@)d@&t@nl
38 b4_percent_define_get([[test]]) -- Local
39 m4@&t@_divert_pop(0)
40 ]])
41
42 AT_DATA([[tmp/input-gram.y]],
43 [[%skeleton "./skel.c"
44 %define test "Hello World"
45 %%
46 start: ;
47 ]])
48
49 AT_DATA([[input-gram.y]],
50 [[%skeleton "./skel.c"
51 %define test "Hello World"
52 %%
53 start: ;
54 ]])
55
56 AT_DATA([[tmp/input-cmd-line.y]],
57 [[%define test "Hello World"
58 %%
59 start: ;
60 ]])
61
62 AT_BISON_CHECK([[tmp/input-gram.y]])
63 AT_CHECK([[cat input-gram.tab.c]], [[0]],
64 [[Hello World
65 ]])
66
67 AT_BISON_CHECK([[input-gram.y]])
68 AT_CHECK([[cat input-gram.tab.c]], [[0]],
69 [[Hello World -- Local
70 ]])
71
72 AT_BISON_CHECK([[--skeleton=tmp/skel.c tmp/input-cmd-line.y]])
73 AT_CHECK([[cat input-cmd-line.tab.c]], [[0]],
74 [[Hello World
75 ]])
76
77 AT_CLEANUP
78
79
80 ## ------------------------------- ##
81 ## Installed skeleton file names. ##
82 ## ------------------------------- ##
83
84 AT_SETUP([[Installed skeleton file names]])
85
86 AT_BISON_OPTION_PUSHDEFS
87 m4_pushdef([AT_GRAM],
88 [[%{
89 #include <stdio.h>
90 ]AT_YYERROR_DECLARE[
91 int yylex (void);
92 %}
93
94 %error-verbose
95 %token 'a'
96
97 %%
98
99 start: ;
100
101 %%
102
103 ]AT_YYERROR_DEFINE[
104 int
105 yylex (void)
106 {
107 return 'a';
108 }
109
110 int
111 main (void)
112 {
113 return yyparse ();
114 }
115 ]])
116
117 AT_DATA_GRAMMAR([[input-cmd-line.y]],
118 [AT_GRAM])
119
120 AT_DATA_GRAMMAR([[input-gram.y]],
121 [[%skeleton "yacc.c"]
122 AT_GRAM])
123
124 AT_BISON_CHECK([[--skeleton=yacc.c -o input-cmd-line.c input-cmd-line.y]])
125 AT_COMPILE([[input-cmd-line]])
126 AT_PARSER_CHECK([[./input-cmd-line]], [[1]], [],
127 [[syntax error, unexpected 'a', expecting $end
128 ]])
129
130 AT_BISON_CHECK([[-o input-gram.c input-gram.y]])
131 AT_COMPILE([[input-gram]])
132 AT_PARSER_CHECK([[./input-gram]], [[1]], [],
133 [[syntax error, unexpected 'a', expecting $end
134 ]])
135
136 m4_popdef([AT_GRAM])
137
138 AT_BISON_OPTION_POPDEFS
139 AT_CLEANUP
140
141
142 ## ------------------------------------------------------ ##
143 ## %define Boolean variables: invalid skeleton defaults. ##
144 ## ------------------------------------------------------ ##
145
146 AT_SETUP([[%define Boolean variables: invalid skeleton defaults]])
147
148 AT_DATA([[skel.c]],
149 [[b4_percent_define_default([[foo]], [[bogus value]])
150 b4_percent_define_flag_if([[foo]])
151 ]])
152
153 AT_DATA([[input.y]],
154 [[%skeleton "./skel.c"
155 %%
156 start: ;
157 ]])
158
159 AT_BISON_CHECK([[input.y]], [[1]], [[]],
160 [[<skeleton default value>: error: invalid value for %define Boolean variable 'foo'
161 ]])
162
163 AT_CLEANUP
164
165
166 ## --------------------------------------------- ##
167 ## Complaining during macro argument expansion. ##
168 ## --------------------------------------------- ##
169
170 AT_SETUP([[Complaining during macro argument expansion]])
171
172 AT_DATA([[skel1.c]],
173 [[m4@&t@_define([foow], [b4_warn([[foow fubar]])])
174 m4@&t@_define([foowat], [b4_warn_at([[foow.y:2.3]],
175 [[foow.y:5.4]], [[foowat fubar]])])
176 m4@&t@_define([fooc], [b4_complain([[fooc fubar]])])
177 m4@&t@_define([foocat], [b4_complain_at([[fooc.y:1.1]],
178 [[fooc.y:10.6]], [[foocat fubar]])])
179 m4@&t@_define([foof], [b4_fatal([[foof fubar]])])
180 m4@&t@_if(foow, [1], [yes])
181 m4@&t@_if(foowat, [1], [yes])
182 m4@&t@_if(fooc, [1], [yes])
183 m4@&t@_if(foocat, [1], [yes])
184 m4@&t@_if(foof, [1], [yes])
185 ]])
186
187 AT_DATA([[input1.y]],
188 [[%skeleton "./skel1.c"
189 %%
190 start: ;
191 ]])
192
193 AT_BISON_CHECK([[input1.y]], [[1]], [[]],
194 [[input1.y: warning: foow fubar [-Wother]
195 foow.y:2.3-5.3: warning: foowat fubar [-Wother]
196 input1.y: error: fooc fubar
197 fooc.y:1.1-10.5: error: foocat fubar
198 input1.y: fatal error: foof fubar
199 ]])
200
201 AT_DATA([[skel2.c]],
202 [[m4@&t@_define([foofat], [b4_fatal_at([[foof.y:12.11]],
203 [[foof.y:100.123]], [[foofat fubar]])])
204 m4@&t@_if(foofat, [1], [yes])
205 ]])
206
207 AT_DATA([[input2.y]],
208 [[%skeleton "./skel2.c"
209 %%
210 start: ;
211 ]])
212
213 AT_BISON_CHECK([[input2.y]], [[1]], [[]],
214 [[foof.y:12.11-100.122: fatal error: foofat fubar
215 ]])
216
217 AT_DATA([[skel3.c]],
218 [[b4_complain_at(b4_percent_define_get_loc([[bogus]]), [[bad value]])
219 ]])
220
221 AT_DATA([[input3.y]],
222 [[%skeleton "./skel3.c"
223 %%
224 start: ;
225 ]])
226
227 AT_BISON_CHECK([[input3.y]], [[1]], [[]],
228 [[input3.y: fatal error: b4_percent_define_get_loc: undefined %define variable 'bogus'
229 ]])
230
231 AT_DATA([[skel4.c]],
232 [[b4_warn_at(b4_percent_define_get_syncline([[bogus]]), [[bad value]])
233 ]])
234
235 AT_DATA([[input4.y]],
236 [[%skeleton "./skel4.c"
237 %%
238 start: ;
239 ]])
240
241 AT_BISON_CHECK([[input4.y]], [[1]], [[]],
242 [[input4.y: fatal error: b4_percent_define_get_syncline: undefined %define variable 'bogus'
243 ]])
244
245 AT_CLEANUP
246
247
248 ## --------------------------------------- ##
249 ## Fatal errors make M4 exit immediately. ##
250 ## --------------------------------------- ##
251
252 AT_SETUP([[Fatal errors make M4 exit immediately]])
253
254 AT_DATA([[skel1.c]],
255 [[b4_complain([[non-fatal error]])
256 b4_fatal([[M4 should exit immediately here]])
257 m4@&t@_fatal([this should never be evaluated])
258 ]])
259
260 AT_DATA([[input1.y]],
261 [[%skeleton "./skel1.c"
262 %%
263 start: ;
264 ]])
265
266 AT_BISON_CHECK([[input1.y]], [[1]], [[]],
267 [[input1.y: error: non-fatal error
268 input1.y: fatal error: M4 should exit immediately here
269 ]])
270
271 AT_DATA([[skel2.c]],
272 [[b4_warn([[morning]])
273 b4_fatal_at([[foo.y:1.5]], [[foo.y:1.7]], [[M4 should exit immediately here]])
274 m4@&t@_fatal([this should never be evaluated])
275 ]])
276
277 AT_DATA([[input2.y]],
278 [[%skeleton "./skel2.c"
279 %%
280 start: ;
281 ]])
282
283 AT_BISON_CHECK([[input2.y]], [[1]], [[]],
284 [[input2.y: warning: morning [-Wother]
285 foo.y:1.5-6: fatal error: M4 should exit immediately here
286 ]])
287
288 AT_CLEANUP
289
290
291 ## ------------------------------------------------ ##
292 ## Fatal errors but M4 continues producing output. ##
293 ## ------------------------------------------------ ##
294
295 # At one time, if Bison encountered a fatal error during M4 processing,
296 # Bison failed to drain M4's output pipe. The result was a SIGPIPE.
297 # On some platforms, the default disposition for SIGPIPE is terminate,
298 # which was fine. On others, it's ignore, which caused M4 to report
299 # the broken pipe to the user, but we don't want to bother the user with
300 # that.
301
302 # There is a race condition somewhere. That is, before the associated
303 # fix, running this test group many times in a row would occasionally
304 # produce a pass among all the failures.
305
306 AT_SETUP([[Fatal errors but M4 continues producing output]])
307
308 AT_DATA([[gen-skel.pl]],
309 [[use warnings;
310 use strict;
311 my $M4 = "m4";
312 my $DNL = "d"."nl";
313 print "${M4}_divert_push(0)$DNL\n";
314 print '@output(@,@)', "\n";
315 (print "garbage"x10, "\n") for (1..1000);
316 print "${M4}_divert_pop(0)\n";
317 ]])
318 AT_CHECK([[$PERL gen-skel.pl > skel.c || exit 77]])
319
320 AT_DATA([[input.y]],
321 [[%skeleton "./skel.c"
322 %%
323 start: ;
324 ]])
325
326 AT_BISON_CHECK([[input.y]], [[1]], [[]],
327 [[input.y: fatal error: too many arguments for @output directive in skeleton
328 ]])
329
330 AT_CLEANUP