• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1# Checking skeleton support.                     -*- Autotest -*-
2
3# Copyright (C) 2007, 2009-2012 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
18AT_BANNER([[Skeleton Support.]])
19
20## ------------------------------ ##
21## Relative skeleton file names.  ##
22## ------------------------------ ##
23
24AT_SETUP([[Relative skeleton file names]])
25
26AT_CHECK([[mkdir tmp]])
27
28AT_DATA([[tmp/skel.c]],
29[[m4@&t@_divert_push(0)d@&t@nl
30@output(b4_parser_file_name@)d@&t@nl
31b4_percent_define_get([[test]])
32m4@&t@_divert_pop(0)
33]])
34
35AT_DATA([[skel.c]],
36[[m4@&t@_divert_push(0)d@&t@nl
37@output(b4_parser_file_name@)d@&t@nl
38b4_percent_define_get([[test]]) -- Local
39m4@&t@_divert_pop(0)
40]])
41
42AT_DATA([[tmp/input-gram.y]],
43[[%skeleton "./skel.c"
44%define test "Hello World"
45%%
46start: ;
47]])
48
49AT_DATA([[input-gram.y]],
50[[%skeleton "./skel.c"
51%define test "Hello World"
52%%
53start: ;
54]])
55
56AT_DATA([[tmp/input-cmd-line.y]],
57[[%define test "Hello World"
58%%
59start: ;
60]])
61
62AT_BISON_CHECK([[tmp/input-gram.y]])
63AT_CHECK([[cat input-gram.tab.c]], [[0]],
64[[Hello World
65]])
66
67AT_BISON_CHECK([[input-gram.y]])
68AT_CHECK([[cat input-gram.tab.c]], [[0]],
69[[Hello World -- Local
70]])
71
72AT_BISON_CHECK([[--skeleton=tmp/skel.c tmp/input-cmd-line.y]])
73AT_CHECK([[cat input-cmd-line.tab.c]], [[0]],
74[[Hello World
75]])
76
77AT_CLEANUP
78
79
80## ------------------------------- ##
81## Installed skeleton file names.  ##
82## ------------------------------- ##
83
84AT_SETUP([[Installed skeleton file names]])
85
86AT_BISON_OPTION_PUSHDEFS
87m4_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
99start: ;
100
101%%
102
103]AT_YYERROR_DEFINE[
104int
105yylex (void)
106{
107  return 'a';
108}
109
110int
111main (void)
112{
113  return yyparse ();
114}
115]])
116
117AT_DATA_GRAMMAR([[input-cmd-line.y]],
118[AT_GRAM])
119
120AT_DATA_GRAMMAR([[input-gram.y]],
121[[%skeleton "yacc.c"]
122AT_GRAM])
123
124AT_BISON_CHECK([[--skeleton=yacc.c -o input-cmd-line.c input-cmd-line.y]])
125AT_COMPILE([[input-cmd-line]])
126AT_PARSER_CHECK([[./input-cmd-line]], [[1]], [],
127[[syntax error, unexpected 'a', expecting $end
128]])
129
130AT_BISON_CHECK([[-o input-gram.c input-gram.y]])
131AT_COMPILE([[input-gram]])
132AT_PARSER_CHECK([[./input-gram]], [[1]], [],
133[[syntax error, unexpected 'a', expecting $end
134]])
135
136m4_popdef([AT_GRAM])
137
138AT_BISON_OPTION_POPDEFS
139AT_CLEANUP
140
141
142## ------------------------------------------------------ ##
143## %define Boolean variables: invalid skeleton defaults.  ##
144## ------------------------------------------------------ ##
145
146AT_SETUP([[%define Boolean variables: invalid skeleton defaults]])
147
148AT_DATA([[skel.c]],
149[[b4_percent_define_default([[foo]], [[bogus value]])
150b4_percent_define_flag_if([[foo]])
151]])
152
153AT_DATA([[input.y]],
154[[%skeleton "./skel.c"
155%%
156start: ;
157]])
158
159AT_BISON_CHECK([[input.y]], [[1]], [[]],
160[[<skeleton default value>: error: invalid value for %define Boolean variable 'foo'
161]])
162
163AT_CLEANUP
164
165
166## --------------------------------------------- ##
167## Complaining during macro argument expansion.  ##
168## --------------------------------------------- ##
169
170AT_SETUP([[Complaining during macro argument expansion]])
171
172AT_DATA([[skel1.c]],
173[[m4@&t@_define([foow], [b4_warn([[foow fubar]])])
174m4@&t@_define([foowat], [b4_warn_at([[foow.y:2.3]],
175                                    [[foow.y:5.4]], [[foowat fubar]])])
176m4@&t@_define([fooc], [b4_complain([[fooc fubar]])])
177m4@&t@_define([foocat], [b4_complain_at([[fooc.y:1.1]],
178                                        [[fooc.y:10.6]], [[foocat fubar]])])
179m4@&t@_define([foof], [b4_fatal([[foof fubar]])])
180m4@&t@_if(foow, [1], [yes])
181m4@&t@_if(foowat, [1], [yes])
182m4@&t@_if(fooc, [1], [yes])
183m4@&t@_if(foocat, [1], [yes])
184m4@&t@_if(foof, [1], [yes])
185]])
186
187AT_DATA([[input1.y]],
188[[%skeleton "./skel1.c"
189%%
190start: ;
191]])
192
193AT_BISON_CHECK([[input1.y]], [[1]], [[]],
194[[input1.y: warning: foow fubar
195foow.y:2.3-5.3: warning: foowat fubar
196input1.y: error: fooc fubar
197fooc.y:1.1-10.5: error: foocat fubar
198input1.y: fatal error: foof fubar
199]])
200
201AT_DATA([[skel2.c]],
202[[m4@&t@_define([foofat], [b4_fatal_at([[foof.y:12.11]],
203                                       [[foof.y:100.123]], [[foofat fubar]])])
204m4@&t@_if(foofat, [1], [yes])
205]])
206
207AT_DATA([[input2.y]],
208[[%skeleton "./skel2.c"
209%%
210start: ;
211]])
212
213AT_BISON_CHECK([[input2.y]], [[1]], [[]],
214[[foof.y:12.11-100.122: fatal error: foofat fubar
215]])
216
217AT_DATA([[skel3.c]],
218[[b4_complain_at(b4_percent_define_get_loc([[bogus]]), [[bad value]])
219]])
220
221AT_DATA([[input3.y]],
222[[%skeleton "./skel3.c"
223%%
224start: ;
225]])
226
227AT_BISON_CHECK([[input3.y]], [[1]], [[]],
228[[input3.y: fatal error: b4_percent_define_get_loc: undefined %define variable 'bogus'
229]])
230
231AT_DATA([[skel4.c]],
232[[b4_warn_at(b4_percent_define_get_syncline([[bogus]]), [[bad value]])
233]])
234
235AT_DATA([[input4.y]],
236[[%skeleton "./skel4.c"
237%%
238start: ;
239]])
240
241AT_BISON_CHECK([[input4.y]], [[1]], [[]],
242[[input4.y: fatal error: b4_percent_define_get_syncline: undefined %define variable 'bogus'
243]])
244
245AT_CLEANUP
246
247
248## --------------------------------------- ##
249## Fatal errors make M4 exit immediately.  ##
250## --------------------------------------- ##
251
252AT_SETUP([[Fatal errors make M4 exit immediately]])
253
254AT_DATA([[skel1.c]],
255[[b4_complain([[non-fatal error]])
256b4_fatal([[M4 should exit immediately here]])
257m4@&t@_fatal([this should never be evaluated])
258]])
259
260AT_DATA([[input1.y]],
261[[%skeleton "./skel1.c"
262%%
263start: ;
264]])
265
266AT_BISON_CHECK([[input1.y]], [[1]], [[]],
267[[input1.y: error: non-fatal error
268input1.y: fatal error: M4 should exit immediately here
269]])
270
271AT_DATA([[skel2.c]],
272[[b4_warn([[morning]])
273b4_fatal_at([[foo.y:1.5]], [[foo.y:1.7]], [[M4 should exit immediately here]])
274m4@&t@_fatal([this should never be evaluated])
275]])
276
277AT_DATA([[input2.y]],
278[[%skeleton "./skel2.c"
279%%
280start: ;
281]])
282
283AT_BISON_CHECK([[input2.y]], [[1]], [[]],
284[[input2.y: warning: morning
285foo.y:1.5-6: fatal error: M4 should exit immediately here
286]])
287
288AT_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
306AT_SETUP([[Fatal errors but M4 continues producing output]])
307
308AT_DATA([[gen-skel.pl]],
309[[use warnings;
310use strict;
311my $M4 = "m4";
312my $DNL = "d"."nl";
313print "${M4}_divert_push(0)$DNL\n";
314print '@output(@,@)', "\n";
315(print "garbage"x10, "\n") for (1..1000);
316print "${M4}_divert_pop(0)\n";
317]])
318AT_CHECK([[$PERL gen-skel.pl > skel.c || exit 77]])
319
320AT_DATA([[input.y]],
321[[%skeleton "./skel.c"
322%%
323start: ;
324]])
325
326AT_BISON_CHECK([[input.y]], [[1]], [[]],
327[[input.y: fatal error: too many arguments for @output directive in skeleton
328]])
329
330AT_CLEANUP
331