tests: fix syntax-check errors
[bison.git] / tests / local.at
CommitLineData
67a25fed
AD
1# Process this -*- Autotest -*- file with autom4te.
2
3# Macros for the GNU Bison Test suite.
7d424de1 4
34136e65 5# Copyright (C) 2003-2012 Free Software Foundation, Inc.
67a25fed 6
f16b0819 7# This program is free software: you can redistribute it and/or modify
67a25fed 8# it under the terms of the GNU General Public License as published by
f16b0819
PE
9# the Free Software Foundation, either version 3 of the License, or
10# (at your option) any later version.
11#
67a25fed
AD
12# This program is distributed in the hope that it will be useful,
13# but WITHOUT ANY WARRANTY; without even the implied warranty of
14# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15# GNU General Public License for more details.
f16b0819 16#
67a25fed 17# You should have received a copy of the GNU General Public License
f16b0819 18# along with this program. If not, see <http://www.gnu.org/licenses/>.
67a25fed 19
ce05140d 20m4_version_prereq([2.58])
1f7a61ff 21
67a25fed 22
a122efad
AD
23# m4_null_if(VAL, IF-TRUE, IF-FALSE)
24# ----------------------------------
25# If VAL evaluates to empty or 0, run IF-TRUE, otherwise IF-FALSE.
26m4_define([m4_null_if],
27[m4_case(m4_quote($1),
28 [0], [$2],
29 [], [$2],
30 [$3])])
31
6617622c
AD
32## ------------- ##
33## Basic tests. ##
34## ------------- ##
35
36# AT_MATCHES_CHECK(FILE, PERL-REGEXP, COUNT)
37# ------------------------------------------
38# Expect COUNT matches of the PERL-REGEXP in FILE. The file is
39# taken in "slurp" mode, i.e., one can match end-of-lines.
40m4_define([AT_MATCHES_CHECK],
ff020c30 41[AT_CHECK([$PERL -0777 -ne '
6617622c
AD
42my $count = 0;
43s{$2}{ ++$count; "" }gem;
44printf "$count\n";' $1], [0], [$3
45])])
46
47
5192fd5d
AD
48# AT_SAVE_SPECIAL_FILES / AT_RESTORE_SPECIAL_FILES
49# ------------------------------------------------
50# Don't interfere with caller's files.
51m4_divert_text([PREPARE_TESTS],
52[at_save_special_files ()
53{
54 for at_save_file in stderr experr expout
55 do
1aa9fa82
AD
56 test ! -f at-bison-check-$at_save_file.bak ||
57 as_fn_error 1 "fatal error: back-up on top of a back-up"
5192fd5d
AD
58 test ! -f $at_save_file || mv $at_save_file at-bison-check-$at_save_file.bak
59 done
60}
61
62at_restore_special_files ()
63{
64 for at_save_file in stderr experr expout
65 do
66 test ! -f at-bison-check-$at_save_file.bak ||
67 mv at-bison-check-$at_save_file.bak $at_save_file
68 done
69}
70])
71
72m4_define([AT_SAVE_SPECIAL_FILES], [at_save_special_files])
73m4_define([AT_RESTORE_SPECIAL_FILES], [at_restore_special_files])
74
75
76
67a25fed
AD
77## ------------------------------- ##
78## Macros decoding Bison options. ##
79## ------------------------------- ##
80
4f756f88
AD
81# AT_LOC_PUSHDEF(FIRST-LINE, FIRST-COLUMN, LAST-LINE, LAST-COLUMN)
82# ----------------------------------------------------------------
83# Pushdef AT_LOC_(FIRST|LAST)_(LINE|COLUMN).
84m4_define([AT_LOC_PUSHDEF],
85[m4_pushdef([AT_LOC_FIRST_LINE], [AT_LOC.$1])
86m4_pushdef([AT_LOC_FIRST_COLUMN], [AT_LOC.$2])
87m4_pushdef([AT_LOC_LAST_LINE], [AT_LOC.$3])
88m4_pushdef([AT_LOC_LAST_COLUMN], [AT_LOC.$4])])
89
90# AT_LOC_POPDEF
91# -------------
92# Popdef AT_LOC_(FIRST|LAST)_(LINE|COL).
93m4_define([AT_LOC_POPDEF],
94[m4_popdef([AT_LOC_FIRST_LINE])
95m4_popdef([AT_LOC_FIRST_COLUMN])
96m4_popdef([AT_LOC_LAST_LINE])
97m4_popdef([AT_LOC_LAST_COLUMN])])
98
99
67a25fed
AD
100
101# AT_BISON_OPTION_PUSHDEFS([BISON-OPTIONS])
102# -----------------------------------------
103m4_define([AT_BISON_OPTION_PUSHDEFS],
a32a2d57
AD
104[m4_divert_text([KILL],
105 [_AT_BISON_OPTION_PUSHDEFS($[1], $[2], [$1])])])
67a25fed
AD
106
107
108# _AT_BISON_OPTION_PUSHDEFS($1, $2, [BISON-OPTIONS])
109# --------------------------------------------------
110# This macro works around the impossibility to define macros
111# inside macros, because issuing `[$1]' is not possible in M4 :(.
417e31d2 112# This sucks hard, GNU M4 should really provide M5-like $$1.
67a25fed
AD
113m4_define([_AT_BISON_OPTION_PUSHDEFS],
114[m4_if([$1$2], $[1]$[2], [],
115 [m4_fatal([$0: Invalid arguments: $@])])dnl
6c88b51e
JD
116m4_pushdef([AT_DEFINES_IF],
117[m4_bmatch([$3], [%defines], [$1], [$2])])
8f7e3cf9 118m4_pushdef([AT_SKEL_CC_IF],
0e021770 119[m4_bmatch([$3], [%language "[Cc]\+\+"\|%skeleton "[a-z0-9]+\.cc"], [$1], [$2])])
d2060f06
JD
120m4_pushdef([AT_SKEL_JAVA_IF],
121[m4_bmatch([$3], [%language "[Jj][Aa][Vv][Aa]"\|%skeleton "[a-z0-9]+\.java"], [$1], [$2])])
3472de82 122# The target language: "c", "c++", or "java".
2d40532b
AD
123m4_pushdef([AT_LANG],
124[AT_SKEL_JAVA_IF([java],
05a7b6ec 125 [AT_SKEL_CC_IF([c++],
2d40532b 126 [c])])])
67a25fed 127m4_pushdef([AT_GLR_IF],
5f7f1e21 128[m4_bmatch([$3], [%glr-parser\|%skeleton "glr\..*"], [$1], [$2])])
0e021770
PE
129m4_pushdef([AT_LALR1_CC_IF],
130[AT_SKEL_CC_IF([AT_GLR_IF([$2], [$1])], [$2])])
131m4_pushdef([AT_GLR_CC_IF],
132[AT_SKEL_CC_IF([AT_GLR_IF([$1], [$2])], [$2])])
67a25fed
AD
133# Using yacc.c?
134m4_pushdef([AT_YACC_IF],
0e021770 135[m4_bmatch([$3], [%language\|%glr-parser\|%skeleton], [$2], [$1])])
01b477c6
PB
136m4_pushdef([AT_LEXPARAM_IF],
137[m4_bmatch([$3], [%lex-param], [$1], [$2])])
67a25fed
AD
138m4_pushdef([AT_LOCATION_IF],
139[m4_bmatch([$3], [%locations], [$1], [$2])])
24bb8c8c 140m4_pushdef([AT_LOCATION_TYPE_IF],
db8ab2be 141[m4_bmatch([$3], [%define \(api\.location\.type\|location_type\)], [$1], [$2])])
24bb8c8c
AD
142m4_pushdef([AT_PARAM_IF],
143[m4_bmatch([$3], [%parse-param], [$1], [$2])])
3472de82 144# Comma-terminated list of formals parse-parameters.
e42906f7
AD
145# E.g., %parse-param { int x } %parse-param {int y} -> "int x, int y, ".
146# FIXME: Support grouped parse-param.
3472de82
AD
147m4_pushdef([AT_PARSE_PARAMS])
148m4_bpatsubst([$3], [%parse-param { *\([^{}]*[^{} ]\) *}],
149 [m4_append([AT_PARSE_PARAMS], [\1, ])])
150
67a25fed 151m4_pushdef([AT_PURE_IF],
d9df47b6 152[m4_bmatch([$3], [%define *api\.pure\|%pure-parser],
cf499cff 153 [m4_bmatch([$3], [%define *api\.pure *"?false"?], [$2], [$1])],
d9df47b6 154 [$2])])
67a25fed 155m4_pushdef([AT_PURE_AND_LOC_IF],
d9df47b6 156[m4_bmatch([$3], [%locations], [AT_PURE_IF($@)], [$2])])
67a25fed
AD
157m4_pushdef([AT_GLR_OR_PARAM_IF],
158[m4_bmatch([$3], [%glr-parser\|%parse-param], [$1], [$2])])
aa08666d 159m4_pushdef([AT_NAME_PREFIX],
230a3db4
AD
160[m4_bmatch([$3], [\(%define api\.prefix\|%name-prefix\) ".*"],
161 [m4_bregexp([$3], [\(%define api\.prefix\|%name-prefix\) "\([^""]*\)"], [\2])],
5cf61e93 162 [yy])])
e36ec1f4
AD
163m4_pushdef([AT_TOKEN_CTOR_IF],
164[m4_bmatch([$3], [%define api.token.constructor], [$1], [$2])])
417e31d2 165m4_pushdef([AT_TOKEN_PREFIX],
2a6b66c5
AD
166[m4_bmatch([$3], [%define api.token.prefix ".*"],
167 [m4_bregexp([$3], [%define api.token.prefix "\(.*\)"], [\1])])])
837b7696
AD
168m4_pushdef([AT_API_prefix],
169[m4_bmatch([$3], [%define api\.prefix ".*"],
170 [m4_bregexp([$3], [%define api\.prefix "\([^""]*\)"], [\1])],
171 [yy])])
4b3847c3
AD
172m4_pushdef([AT_API_PREFIX],
173[m4_toupper(AT_API_prefix)])
67a25fed
AD
174# yyerror receives the location if %location & %pure & (%glr or %parse-param).
175m4_pushdef([AT_YYERROR_ARG_LOC_IF],
176[AT_GLR_OR_PARAM_IF([AT_PURE_AND_LOC_IF([$1], [$2])],
e9690142 177 [$2])])
67a25fed 178# yyerror always sees the locations (when activated), except if
94ebeba5 179# (yacc & pure & !param). FIXME: This is wrong. See the manual.
67a25fed 180m4_pushdef([AT_YYERROR_SEES_LOC_IF],
7d596384 181[AT_LOCATION_IF([AT_YACC_IF([AT_PURE_IF([AT_PARAM_IF([$1], [$2])],
e9690142
JD
182 [$1])],
183 [$1])],
184 [$2])])
67a25fed 185
d9df47b6 186# The interface is pure: either because %define api.pure, or because we
67a25fed
AD
187# are using the C++ parsers.
188m4_pushdef([AT_PURE_LEX_IF],
94ebeba5 189[AT_PURE_IF([$1],
e9690142 190 [AT_SKEL_CC_IF([$1], [$2])])])
67a25fed 191
0e16927b
AD
192m4_pushdef([AT_YYSTYPE],
193[AT_SKEL_CC_IF([AT_NAME_PREFIX[::parser::semantic_type]],
4b3847c3 194 [AT_API_PREFIX[STYPE]])])
0e16927b
AD
195m4_pushdef([AT_YYLTYPE],
196[AT_SKEL_CC_IF([AT_NAME_PREFIX[::parser::location_type]],
4b3847c3 197 [AT_API_PREFIX[LTYPE]])])
0e16927b
AD
198
199
67a25fed 200AT_PURE_LEX_IF(
ebc3737e
PE
201[m4_pushdef([AT_LOC], [(*llocp)])
202 m4_pushdef([AT_VAL], [(*lvalp)])
230a3db4 203 m4_pushdef([AT_YYLEX_FORMALS],
297e263a 204 [AT_YYSTYPE *lvalp[]AT_LOCATION_IF([, AT_YYLTYPE *llocp])])
230a3db4 205 m4_pushdef([AT_YYLEX_ARGS],
e9690142 206 [lvalp[]AT_LOCATION_IF([, llocp])])
67a25fed 207 m4_pushdef([AT_USE_LEX_ARGS],
e9690142 208 [(void) lvalp;AT_LOCATION_IF([(void) llocp])])
230a3db4 209 m4_pushdef([AT_YYLEX_PRE_FORMALS],
297e263a 210 [AT_YYLEX_FORMALS, ])
230a3db4 211 m4_pushdef([AT_YYLEX_PRE_ARGS],
297e263a 212 [AT_YYLEX_ARGS, ])
67a25fed 213],
6c88b51e
JD
214[m4_pushdef([AT_LOC], [[(]AT_NAME_PREFIX[lloc)]])
215 m4_pushdef([AT_VAL], [[(]AT_NAME_PREFIX[lval)]])
230a3db4
AD
216 m4_pushdef([AT_YYLEX_FORMALS], [void])
217 m4_pushdef([AT_YYLEX_ARGS], [])
67a25fed 218 m4_pushdef([AT_USE_LEX_ARGS], [])
230a3db4
AD
219 m4_pushdef([AT_YYLEX_PRE_FORMALS], [])
220 m4_pushdef([AT_YYLEX_PRE_ARGS], [])
67a25fed 221])
4f756f88
AD
222
223# Handle the different types of location components.
224
225AT_SKEL_CC_IF(
226 [AT_LOCATION_TYPE_IF(
49976d5c 227 [AT_LOC_PUSHDEF([first.l], [first.c], [last.l], [last.c])],
4f756f88
AD
228 [AT_LOC_PUSHDEF([begin.line], [begin.column], [end.line], [end.column])])],
229 [AT_LOC_PUSHDEF([first_line], [first_column], [last_line], [last_column])])
230
231
6130b755 232AT_GLR_IF([AT_KEYWORDS([glr])])
67a25fed
AD
233])# _AT_BISON_OPTION_PUSHDEFS
234
235
236# AT_BISON_OPTION_POPDEFS
237# -----------------------
238m4_define([AT_BISON_OPTION_POPDEFS],
a32a2d57 239[m4_divert_text([KILL],
230a3db4
AD
240[m4_popdef([AT_YYLEX_PRE_ARGS])
241m4_popdef([AT_YYLEX_PRE_FORMALS])
67a25fed 242m4_popdef([AT_USE_LEX_ARGS])
230a3db4
AD
243m4_popdef([AT_YYLEX_ARGS])
244m4_popdef([AT_YYLEX_FORMALS])
0e16927b
AD
245m4_popdef([AT_YYLTYPE])
246m4_popdef([AT_YYSTYPE])
67a25fed
AD
247m4_popdef([AT_VAL])
248m4_popdef([AT_LOC])
249m4_popdef([AT_PURE_LEX_IF])
250m4_popdef([AT_YYERROR_SEES_LOC_IF])
251m4_popdef([AT_YYERROR_ARG_LOC_IF])
4b3847c3 252m4_popdef([AT_API_PREFIX])
837b7696 253m4_popdef([AT_API_prefix])
e36ec1f4
AD
254m4_popdef([AT_TOKEN_PREFIX])
255m4_popdef([AT_TOKEN_CTOR_IF])
aa08666d 256m4_popdef([AT_NAME_PREFIX])
67a25fed
AD
257m4_popdef([AT_GLR_OR_PARAM_IF])
258m4_popdef([AT_PURE_AND_LOC_IF])
24bb8c8c 259m4_popdef([AT_LOCATION_TYPE_IF])
67a25fed 260m4_popdef([AT_LOCATION_IF])
3472de82 261m4_popdef([AT_PARSE_PARAMS])
67a25fed 262m4_popdef([AT_PARAM_IF])
01b477c6 263m4_popdef([AT_LEXPARAM_IF])
67a25fed
AD
264m4_popdef([AT_YACC_IF])
265m4_popdef([AT_GLR_IF])
8f7e3cf9 266m4_popdef([AT_SKEL_CC_IF])
2d40532b 267m4_popdef([AT_LANG])
d2060f06 268m4_popdef([AT_SKEL_JAVA_IF])
8f7e3cf9 269m4_popdef([AT_GLR_CC_IF])
67a25fed 270m4_popdef([AT_LALR1_CC_IF])
6c88b51e 271m4_popdef([AT_DEFINES_IF])
a32a2d57 272AT_LOC_POPDEF])dnl
67a25fed
AD
273])# AT_BISON_OPTION_POPDEFS
274
275
276
277## -------------------------- ##
278## Generating Grammar Files. ##
279## -------------------------- ##
280
6c88b51e 281# AT_DATA_SOURCE_PROLOGUE
67a25fed 282# ------------------------
6c88b51e 283# The prologue that should be included in any source code that is
67a25fed 284# meant to be compiled.
6c88b51e
JD
285m4_define([AT_DATA_SOURCE_PROLOGUE],
286[[#include <config.h>
231ed89a
PE
287/* We don't need perfect functions for these tests. */
288#undef malloc
289#undef memcmp
290#undef realloc
6c88b51e
JD
291]])
292
293# AT_DATA_GRAMMAR_PROLOGUE
294# ------------------------
295# The prologue that should be included in any grammar which parser is
296# meant to be compiled.
297m4_define([AT_DATA_GRAMMAR_PROLOGUE],
298[[%code top {
299]AT_DATA_SOURCE_PROLOGUE[]dnl
300[}
301]])
67a25fed 302
6c88b51e
JD
303# AT_DATA_SOURCE(NAME, CONTENT)
304# -----------------------------
305# Generate the file NAME, which CONTENT is preceded by
306# AT_DATA_SOURCE_PROLOGUE.
307m4_define([AT_DATA_SOURCE],
308[AT_DATA([$1],
309[AT_DATA_SOURCE_PROLOGUE
310$2])
311])
67a25fed
AD
312
313# AT_DATA_GRAMMAR(NAME, CONTENT)
314# ------------------------------
315# Generate the file NAME, which CONTENT is preceded by
316# AT_DATA_GRAMMAR_PROLOGUE.
317m4_define([AT_DATA_GRAMMAR],
318[AT_DATA([$1],
319[AT_DATA_GRAMMAR_PROLOGUE
320$2])
321])
322
230a3db4 323# AT_YYLEX_PROTOTYPE
55f48c48
AD
324# AT_YYLEX_DECLARE_EXTERN
325# AT_YYLEX_DECLARE
95361618
AD
326# AT_YYLEX_DEFINE([INPUT], [ACTION])
327# ----------------------------------
328# INPUT can be empty, or in double quotes, or a list (in braces).
329# ACTION may compute yylval for instance, using "res" as token type,
330# and "toknum" as the number of calls to yylex (starting at 0).
230a3db4 331m4_define([AT_YYLEX_PROTOTYPE],
837b7696 332[int AT_NAME_PREFIX[]lex (]AT_YYLEX_FORMALS[)[]dnl
230a3db4
AD
333])
334
55f48c48 335m4_define([AT_YYLEX_DECLARE_EXTERN],
230a3db4 336[AT_YYLEX_PROTOTYPE;dnl
55f48c48
AD
337])
338
339m4_define([AT_YYLEX_DECLARE],
340[static AT_YYLEX_DECLARE_EXTERN[]dnl
341])
342
343m4_define([AT_YYLEX_DEFINE],
77519a7d 344[[#include <assert.h>
230a3db4
AD
345static
346]AT_YYLEX_PROTOTYPE[
55f48c48 347{
95361618
AD
348 ]m4_bmatch([$1], [^\(".*"\)?$],
349 [[static char const input[] = ]m4_default([$1], [""])],
350 [[static int const input[] = ]$1])[;
55f48c48
AD
351 static size_t toknum = 0;
352 int res;
0e16927b 353 ]AT_USE_LEX_ARGS[;
55e075f2 354 assert (toknum < sizeof input / sizeof input[0]);
55f48c48 355 res = input[toknum++];
0e16927b
AD
356 ]$2[;]AT_LOCATION_IF([[
357 ]AT_LOC_FIRST_LINE[ = ]AT_LOC_LAST_LINE[ = 1;
358 ]AT_LOC_FIRST_COLUMN[ = ]AT_LOC_LAST_COLUMN[ = toknum;]])[
55f48c48
AD
359 return res;
360}]dnl
361])
362
6d559547 363# AT_YYERROR_PROTOTYPE
55f48c48
AD
364# AT_YYERROR_DECLARE_EXTERN
365# AT_YYERROR_DECLARE
366# AT_YYERROR_DEFINE
367# -------------------------
6d559547 368# Must be called inside a AT_BISON_OPTION_PUSHDEFS/POPDEFS pair.
230a3db4
AD
369m4_define([AT_YYERROR_FORMALS],
370[m4_case(AT_LANG,
3472de82 371[c], [AT_YYERROR_ARG_LOC_IF([AT_YYLTYPE *llocp, ])AT_PARSE_PARAMS [const char *msg]])[]dnl
230a3db4
AD
372])
373
6d559547
AD
374m4_define([AT_YYERROR_PROTOTYPE],
375[m4_case(AT_LANG,
837b7696 376[c], [[void ]AT_NAME_PREFIX[error (]AT_YYERROR_FORMALS[)]])[]dnl
6d559547
AD
377])
378
55f48c48 379m4_define([AT_YYERROR_DECLARE_EXTERN],
05a7b6ec 380[m4_case(AT_LANG,
6d559547 381[c], [AT_YYERROR_PROTOTYPE;])[]dnl
55f48c48
AD
382])
383
384m4_define([AT_YYERROR_DECLARE],
05a7b6ec
AD
385[m4_case(AT_LANG,
386[c], [static AT_YYERROR_DECLARE_EXTERN])[]dnl
55f48c48
AD
387])
388
389m4_define([AT_YYERROR_DEFINE],
05a7b6ec
AD
390[m4_case(AT_LANG,
391[c], [[#include <stdio.h>
74909941 392/* A C error reporting function. */
6d559547
AD
393static
394]AT_YYERROR_PROTOTYPE[
3472de82
AD
395{]m4_bpatsubst(m4_defn([AT_PARSE_PARAMS]),
396 [[^,]+[^A-Za-z_0-9]\([A-Za-z_][A-Za-z_0-9]*\), *], [
397 YYUSE(\1);])dnl
398AT_YYERROR_SEES_LOC_IF([[
3237f570 399 YY_LOCATION_PRINT (stderr, ]AT_LOC[);
74909941 400 fprintf (stderr, ": ");]])[
55f48c48 401 fprintf (stderr, "%s\n", msg);
05a7b6ec 402}]],
74909941
AD
403[c++], [[/* A C++ error reporting function. */
404void
6cf3716c
AD
405]AT_NAME_PREFIX[::parser::error (]AT_LOCATION_IF([[const location_type& l, ]])[const std::string& m)
406{ std::cerr << ]AT_LOCATION_IF([l << ": " << ])[m << std::endl;
05a7b6ec 407}]],
6d559547 408[java], [AT_LOCATION_IF([[public void yyerror (Calc.Location l, String s)
6cf3716c 409{
6d559547
AD
410 if (l == null)
411 System.err.println (s);
412 else
413 System.err.println (l + ": " + s);
414 }
415]], [[
416 public void yyerror (String s)
417 {
418 System.err.println (s);
535ee0cb
AD
419 }]])],
420[m4_fatal([$0: invalid language: ]AT_LANG)])dnl
55f48c48
AD
421])
422
55f48c48
AD
423
424## --------------- ##
425## Running Bison. ##
426## --------------- ##
427
da730230
JD
428# AT_BISON_CHECK(BISON_ARGS, [OTHER_AT_CHECK_ARGS])
429# -------------------------------------------------
a122efad
AD
430# High-level routine that may call bison several times, under different
431# conditions.
432#
c39014ae
JD
433# Check Bison by invoking `bison BISON_ARGS'. BISON_ARGS should not contain
434# shell constructs (such as redirection or pipes) that would prevent
435# appending additional command-line arguments for bison. OTHER_AT_CHECK_ARGS
436# are the usual remaining arguments to AT_CHECK: STATUS, STDOUT, etc.
da730230
JD
437#
438# This macro or AT_BISON_CHECK_NO_XML should always be used whenever invoking
439# Bison in the test suite. For now it ensures that:
440#
441# 1. Valgrind doesn't report reachable memory when Bison is expected to have
442# a non-zero exit status since Bison doesn't always try to free all memory
443# in that case.
444#
445# 2. In the case of maintainer-xml-check, XML/XSLT output is compared with
446# --graph and --report=all output for every working grammar.
2bfcac9a
JD
447#
448# 3. If stderr contains a warning, -Werror and --warnings=error
449# convert the warning to an error.
c39014ae
JD
450#
451# 4. If stderr contains a warning, -Wnone and --warnings=none suppress it.
da730230 452m4_define([AT_BISON_CHECK],
a122efad 453[m4_null_if([$2], [AT_BISON_CHECK_XML($@)])
da730230
JD
454AT_BISON_CHECK_NO_XML($@)])
455
a122efad
AD
456# AT_BISON_CHECK_(BISON_ARGS, [OTHER_AT_CHECK_ARGS])
457# --------------------------------------------------
458# Low-level macro to run bison once.
459m4_define([AT_BISON_CHECK_],
460[AT_CHECK(AT_QUELL_VALGRIND[[ bison ]]$@)])
461
462
e4828e23
AD
463# AT_BISON_CHECK_WARNINGS(BISON_ARGS, [OTHER_AT_CHECK_ARGS])
464# ----------------------------------------------------------
465# Check that warnings (if some are expected) are correctly
466# turned into errors with -Werror, etc.
467m4_define([AT_BISON_CHECK_WARNINGS],
468[m4_if(m4_bregexp([$4], [: warning: ]), [-1], [],
469 [m4_null_if([$2], [AT_BISON_CHECK_WARNINGS_($@)])])])
470
471m4_define([AT_BISON_CHECK_WARNINGS_],
94843f0a
AD
472[[# Defining POSIXLY_CORRECT causes bison to complain if options are
473# added after the grammar file name, so skip these checks in that
474# case.
0a36880a 475if test "$POSIXLY_CORRECT_IS_EXPORTED" = false; then
5192fd5d 476 ]AT_SAVE_SPECIAL_FILES[
e4a14879 477
8f6bbe0c
TR
478 # To avoid expanding it repeatedly, store specified stdout.
479 ]AT_DATA([expout], [$3])[
e4a14879 480
8f6bbe0c 481 # Run with -Werror.
e4828e23 482 ]AT_BISON_CHECK_([$1[ -Werror]], [[1]], [expout], [stderr])[
e4a14879 483
8f6bbe0c
TR
484 # Build expected stderr up to and including the "warnings being
485 # treated as errors" message.
e89d8806
TR
486 ]AT_DATA([[experr]], [$4])[
487 $PERL -pi -e 's{(.*): warning: (.*)\[-W(.*)\]$}
488 {$][1: error: $][2\@<:@-Werror=$][3@:>@}' experr
489 ]AT_CHECK([[sed 's,.*/$,,' stderr 1>&2]], [[0]], [[]], [experr])[
8f6bbe0c
TR
490
491 # Now check --warnings=error.
492 cp stderr experr
e4828e23 493 ]AT_BISON_CHECK_([$1[ --warnings=error]], [[1]], [expout], [experr])[
e4a14879 494
8f6bbe0c
TR
495 # Now check -Wnone and --warnings=none by making sure that
496 # -Werror doesn't change the exit status when -Wnone or
497 # --warnings=none is specified.
e4828e23
AD
498 ]AT_BISON_CHECK_([$1[ -Wnone -Werror]], [[0]], [expout])[
499 ]AT_BISON_CHECK_([$1[ --warnings=none -Werror]], [[0]], [expout])[
e4a14879 500
8f6bbe0c 501 ]AT_RESTORE_SPECIAL_FILES[
e4828e23 502fi]dnl
2bfcac9a 503])
da730230 504
da730230
JD
505# AT_BISON_CHECK_NO_XML(BISON_ARGS, [OTHER_AT_CHECK_ARGS])
506# --------------------------------------------------------
507# Same as AT_BISON_CHECK except don't perform XML/XSLT checks. This is useful
508# when a tortured grammar's XML is known to be too large for xsltproc to
509# handle.
510m4_define([AT_BISON_CHECK_NO_XML],
e4828e23
AD
511[AT_CHECK(m4_null_if([$2], [], [AT_QUELL_VALGRIND ])[[bison ]]$@)
512AT_BISON_CHECK_WARNINGS($@)])
da730230
JD
513
514# AT_BISON_CHECK_XML(BISON_ARGS, [OTHER_AT_CHECK_ARGS])
515# -----------------------------------------------------
516# Run AT_BISON_CHECK's XML/XSLT checks if $BISON_TEST_XML=1 and $XSLTPROC is
517# defined. It doesn't make sense to invoke this macro if Bison is expected to
518# have a non-zero exit status.
519m4_define([AT_BISON_CHECK_XML],
035810ed
AD
520[[if test x"$BISON_TEST_XML" = x1 && test x"$XSLTPROC" != x""; then]
521 AT_SAVE_SPECIAL_FILES
522 [mkdir xml-tests]
da730230
JD
523 m4_pushdef([AT_BISON_ARGS],
524 [m4_bpatsubsts([[$1]],
525 [--report(-file)?=[^][ ]*], [],
526 [--graph=[^][ ]*], [],
527 [--xml=[^][ ]*], [])])dnl
528 # Don't combine these Bison invocations since we want to be sure that
529 # --report=all isn't required to get the full XML file.
a122efad 530 AT_BISON_CHECK_([[--report=all --report-file=xml-tests/test.output \
da730230
JD
531 --graph=xml-tests/test.dot ]]AT_BISON_ARGS,
532 [[0]], [ignore], [ignore])
a122efad 533 AT_BISON_CHECK_([[--xml=xml-tests/test.xml ]]AT_BISON_ARGS,
da730230
JD
534 [[0]], [ignore], [ignore])
535 m4_popdef([AT_BISON_ARGS])dnl
247b8c21 536 [cp xml-tests/test.output expout]
da730230
JD
537 AT_CHECK([[$XSLTPROC \
538 `]]AT_QUELL_VALGRIND[[ bison --print-datadir`/xslt/xml2text.xsl \
539 xml-tests/test.xml]], [[0]], [expout])
247b8c21 540 [cp xml-tests/test.dot expout]
da730230
JD
541 AT_CHECK([[$XSLTPROC \
542 `]]AT_QUELL_VALGRIND[[ bison --print-datadir`/xslt/xml2dot.xsl \
543 xml-tests/test.xml]], [[0]], [expout])
035810ed
AD
544 [rm -rf xml-tests expout]
545 AT_RESTORE_SPECIAL_FILES
546[fi]])
da730230
JD
547
548# AT_QUELL_VALGRIND
549# -----------------
550# Put this before a Bison invocation to keep Valgrind from complaining about
551# reachable memory.
552#
553# Do not quote invocations of this macro within the first argument of AT_CHECK.
554# The triple quoting below will cause test cases to fail if you do. If you do
555# so anyway but also decrease the quoting below to avoid that problem, AT_CHECK
556# will then fail to shell-escape its contents when attempting to print them.
557# The testsuite verbose output, at least, will be incorrect, but nothing may
558# fail to make sure you notice.
559m4_define([AT_QUELL_VALGRIND],
560[[[VALGRIND_OPTS="$VALGRIND_OPTS --leak-check=summary --show-reachable=no"; export VALGRIND_OPTS;]]])
67a25fed 561
e4828e23
AD
562
563
67a25fed
AD
564## ------------------------ ##
565## Compiling C, C++ Files. ##
566## ------------------------ ##
567
568
569# AT_COMPILE(OUTPUT, [SOURCES = OUTPUT.c])
570# ----------------------------------------
91ce0b3a
AD
571# Compile SOURCES into OUTPUT.
572#
573# If OUTPUT does not contain '.', assume that we are linking too,
574# otherwise pass "-c"; this is a hack. The default SOURCES is OUTPUT
575# with trailing .o removed, and ".c" appended.
67a25fed 576m4_define([AT_COMPILE],
0a36880a
AD
577[AT_CHECK([case $POSIXLY_CORRECT_IS_EXPORTED:$C_COMPILER_POSIXLY_CORRECT in
578 true:false) echo 'cannot compile properly with POSIXLY_CORRECT' && exit 77;;
579esac])
580AT_CHECK(m4_join([ ],
91ce0b3a
AD
581 [$CC $CFLAGS $CPPFLAGS],
582 [m4_bmatch([$1], [[.]], [-c], [$LDFLAGS])],
583 [-o $1],
584 [m4_default([$2], [m4_bpatsubst([$1], [\.o$]).c])],
585 [m4_bmatch([$1], [[.]], [], [$LIBS])]),
e9690142 586 0, [ignore], [ignore])])
67a25fed 587
07971983 588# AT_COMPILE_CXX(OUTPUT, [SOURCES = OUTPUT.cc])
91ce0b3a
AD
589# ---------------------------------------------
590# Compile SOURCES into OUTPUT. If the C++ compiler does not work,
591# ignore the test.
592#
593# If OUTPUT does not contain '.', assume that we are linking too,
594# otherwise pass "-c"; this is a hack. The default SOURCES is OUTPUT
595# with trailing .o removed, and ".cc" appended.
67a25fed
AD
596m4_define([AT_COMPILE_CXX],
597[AT_KEYWORDS(c++)
209ea708 598AT_CHECK([$BISON_CXX_WORKS], 0, ignore, ignore)
91ce0b3a
AD
599AT_CHECK(m4_join([ ],
600 [$CXX $CXXFLAGS $CPPFLAGS],
601 [m4_bmatch([$1], [[.]], [-c], [$LDFLAGS])],
602 [-o $1],
603 [m4_default([$2], [m4_bpatsubst([$1], [\.o$]).cc])],
604 [m4_bmatch([$1], [[.]], [], [$LIBS])]),
e9690142 605 0, [ignore], [ignore])])
67a25fed 606
d2060f06
JD
607# AT_JAVA_COMPILE(SOURCES)
608# ------------------------
609# Compile SOURCES into Java class files. Skip the test if java or javac
610# is not installed.
611m4_define([AT_JAVA_COMPILE],
612[AT_KEYWORDS(java)
916f26b6
AD
613AT_SKIP_IF([[test -z "$CONF_JAVAC"]])
614AT_SKIP_IF([[test -z "$CONF_JAVA"]])
d2060f06
JD
615AT_CHECK([[$SHELL ../../../javacomp.sh ]$1],
616 [[0]], [ignore], [ignore])])
67a25fed 617
2d40532b
AD
618# AT_LANG_COMPILE(OUTPUT, [SOURCES = OUTPUT.c]
619# --------------------------------------------
91ce0b3a
AD
620# Compile SOURCES into OUTPUT. Skip if compiler does not work.
621#
622# If OUTPUT does not contain '.', assume that we are linking too,
623# otherwise pass "-c"; this is a hack. The default SOURCES is OUTPUT
624# with trailing .o removed, and ".c"/".cc" appended.
2d40532b
AD
625m4_define([AT_LANG_COMPILE],
626[m4_case(AT_LANG,
627[c], [AT_COMPILE([$1], [$2])],
05a7b6ec 628[c++], [AT_COMPILE_CXX([$1], [$2])],
2d40532b
AD
629[java], [AT_JAVA_COMPILE([$1.java], [$2])],
630 [m4_fatal([unknown language: ]m4_defn([AT_LANG]))])[]dnl
631])
632
6aef2e01
AD
633# AT_FULL_COMPILE(OUTPUT, [OTHER1], [OTHER2])
634# -------------------------------------------
d2060f06
JD
635# Compile OUTPUT.y to OUTPUT.c, OUTPUT.cc, or OUTPUT.java, and then
636# compile it to OUTPUT or OUTPUT.class. If OTHER is specified, compile
637# OUTPUT-OTHER.c, OUTPUT-OTHER.cc, or OUTPUT-OTHER.java to OUTPUT or
638# OUTPUT.java along with it. Relies on AT_SKEL_CC_IF and
639# AT_SKEL_JAVA_IF.
2d40532b
AD
640m4_define([AT_FULL_COMPILE],
641[m4_case(AT_LANG,
642[java],
643 [AT_BISON_CHECK([-o $1.java $1.y])
644 AT_LANG_COMPILE([$1],
6aef2e01
AD
645 m4_join([ ],
646 [$1.java],
647 m4_ifval($2, [[$1-$2.java]]),
2d40532b 648 m4_ifval($3, [[$1-$3.java]])))],
05a7b6ec 649[c++],
2d40532b
AD
650 [AT_BISON_CHECK([-o $1.cc $1.y])
651 AT_LANG_COMPILE([$1],
6aef2e01
AD
652 m4_join([ ],
653 [$1.cc],
654 m4_ifval($2, [[$1-$2.cc]]),
2d40532b
AD
655 m4_ifval($3, [[$1-$3.cc]])))],
656[c],
657 [AT_BISON_CHECK([-o $1.c $1.y])
658 AT_LANG_COMPILE([$1],
6aef2e01 659 m4_join([ ],
e436fa67 660 [$1.c],
6aef2e01 661 m4_ifval($2, [[$1-$2.c]]),
2d40532b 662 m4_ifval($3, [[$1-$3.c]])))])
7ca2266a
AD
663])
664
67a25fed 665
8aaa0c2f
AD
666
667# AT_SKIP_IF_CANNOT_LINK_C_AND_CXX
668# --------------------------------
669# Check that we can link together C and C++ objects.
670m4_define([AT_SKIP_IF_CANNOT_LINK_C_AND_CXX],
671[AT_DATA([c-and-cxx.h],
672[[#ifdef __cplusplus
673extern "C"
674{
675#endif
676 int fortytwo (void);
677#ifdef __cplusplus
678}
679#endif
680]])
681AT_DATA([c-only.c],
682[[#include "c-and-cxx.h"
683int
684main (void)
685{
686 return fortytwo () == 42 ? 0 : 1;
687}
688]])
689AT_DATA([cxx-only.cc],
690[[#include "c-and-cxx.h"
691int fortytwo ()
692{
693 return 42;
694}
695]])
696AT_COMPILE([c-only.o], [c-only.c])
697AT_COMPILE_CXX([cxx-only.o], [cxx-only.cc])
698AT_CHECK([$CXX $CXXFLAGS $CPPFLAGS $LDFLAGS c-only.o cxx-only.o -o c-and-cxx ||
699 exit 77], [ignore], [ignore])
2bb8f621 700AT_PARSER_CHECK([./c-and-cxx])
8aaa0c2f
AD
701])
702
703
67a25fed
AD
704## ---------------------------- ##
705## Running a generated parser. ##
706## ---------------------------- ##
707
95e343fe 708
e0ac9b4b
JD
709# AT_PARSER_CHECK(COMMAND, EXIT-STATUS, EXPOUT, EXPERR, [PRE])
710# ------------------------------------------------------------
67a25fed 711# So that we can run `./testsuite PREPARSER='valgrind -q' for instance.
95e343fe
AD
712#
713# Get rid of spurious messages when compiled with --coverage:
714# +profiling:/[...]/lib/fprintf.gcda:Merge mismatch for summaries
67a25fed 715m4_define([AT_PARSER_CHECK],
95e343fe
AD
716[AT_CHECK([$5 $PREPARSER $1], [$2], [$3], [stderr])
717AT_CHECK([sed >&2 -e '/^profiling:.*:Merge mismatch for summaries/d' stderr],
718 [0], [], [$4])
719])
720
1f7a61ff 721
d2060f06
JD
722# AT_JAVA_PARSER_CHECK(COMMAND, EXIT-STATUS, EXPOUT, EXPERR, [PRE])
723# -----------------------------------------------------------------
724m4_define([AT_JAVA_PARSER_CHECK],
725[AT_CHECK([$5[ $SHELL ../../../javaexec.sh ]$1], [$2], [$3], [$4])])
726
95e343fe 727
7254f6a8
JD
728# AT_TEST_TABLES_AND_PARSE(TITLE, COND-VALUE, TEST-SPEC,
729# DECLS, GRAMMAR, INPUT,
730# BISON-STDERR, TABLES-OR-LAST-STATE,
731# [OTHER-CHECKS],
732# [PARSER-EXIT-VALUE],
733# [PARSER-STDOUT], [PARSER-STDERR])
734# -------------------------------------------------------------
735# Using TITLE as the test group title, check the generated parser tables
736# and parser for a specified grammar file under a condition labeled by
737# COND-VALUE.
738#
739# TEST-SPEC is a comma-delimited list of attributes of this test. Each
740# recognized attribute is described below where it is relevant.
741#
742# Insert DECLS and GRAMMAR into the declarations and grammar section of
743# the grammar file. Insert basic yyerror, yylex, and main function
744# definitions as well. Hardcode yylex to return the (possibly empty)
745# comma-delimited series of tokens in INPUT followed by token 0.
746#
747# If TEST-SPEC contains the attribute no-xml, then invoke bison using
748# AT_BISON_CHECK_NO_XML. Otherwise, invoke bison using AT_BISON_CHECK.
749# On the bison command-line, specify `--report=all --defines'. Check
750# that Bison exits with value 0, has no stdout, and has stderr
751# BISON-STDERR.
752#
753# If TEST-SPEC contains the attribute `last-state', check that the value
754# of TABLES-OR-LAST-STATE is the index of the last state generated for
755# the grammar; in other words, check the number of states (minus one).
756# Otherwise, check that everything in the `.output' file starting with
757# the definition of state 0 is the same as the entire value of
758# TABLES-OR-LAST-STATE.
759#
760# Expand the M4 in OTHER-CHECKS to perform additional checks of the
761# `.output' file, which is named `input.output', and/or grammar file,
762# which is named `input.y'.
763#
764# Finally, compile the generated parser and then run it using
765# AT_PARSER_CHECK with PARSER-EXIT-VALUE, PARSER-STDOUT, and
766# PARSER-STDERR as the 2nd-4th arguments.
767#
768# As a precondition, you must properly double-quote all arguments that
769# are to be interpreted as strings.
770#
771# AT_COND_CASE (when appearing in single-quoted segments of arguments)
772# invokes m4_case with its own arguments but COND-VALUE inserted as the
773# first argument. This is useful, for example, when wrapping multiple
774# AT_TEST_TABLES_AND_PARSE invocations, each representing a different
775# condition, in another macro.
776#
777# For example:
778#
779# # AT_TEST_SYNTAX_ERROR(DESCRIPTION, DECLS, GRAMMAR, INPUT, LAST-STATE,
780# # PARSER-EXIT-VALUE, PARSER-STDOUT, PARSER-STDERR)
781# # ---------------------------------------------------------------------
782# m4_define([AT_TEST_SYNTAX_ERROR],
783# [
784# AT_TEST_TABLES_AND_PARSE([$1[ with %error-verbose]], [[verbose]],
785# [[last-state]],
786# [[%error-verbose ]$2], [$3], [$4],
787# [[]], [$5], [], [$6], [$7], [$8])
788# AT_TEST_TABLES_AND_PARSE([$1[ with no %error-verbose]], [[no verbose]],
789# [[last-state]],
790# [$2], [$3], [$4],
791# [[]], [$5], [], [$6], [$7], [$8])
792# ])
793#
794# AT_TEST_SYNTAX_ERROR([[Single Char Grammar]],
795# [[%token 'b']], [[start: 'a' ;]], [['a', 'b']],
796# [[3]],
797# [[1]], [[]],
798# [AT_COND_CASE([[no verbose]],
799# [[syntax error
800# ]],
801# [[syntax error, unexpected 'b', expecting $end
802# ]])])
803m4_define([AT_TEST_TABLES_AND_PARSE],
c4be5517 804[m4_pushdef([AT_COND_CASE], [m4_case([$2], $][@)])
7254f6a8 805
c4be5517 806AT_SETUP([$1])
55f48c48 807AT_BISON_OPTION_PUSHDEFS([$4])
7254f6a8
JD
808AT_DATA_GRAMMAR([[input.y]],
809[[%code {
810 #include <stdio.h>
55f48c48
AD
811 ]AT_YYERROR_DECLARE[
812 ]AT_YYLEX_DECLARE[
7254f6a8
JD
813}
814
c4be5517 815]$4[
7254f6a8
JD
816
817%%
818
c4be5517 819]$5[
7254f6a8
JD
820
821%%
55f48c48 822]AT_YYERROR_DEFINE[
7254f6a8
JD
823static int
824yylex (void)
825{
826 static int const input[] = {
c4be5517 827 ]m4_if([$6], [], [], [$6], [[]], [], [$6[, ]])[0
7254f6a8
JD
828 };
829 static int const *inputp = input;
830 return *inputp++;
831}
832
833int
834main (void)
835{
836 return yyparse ();
837}
838]])
839
c4be5517
JD
840# In some versions of Autoconf, AT_CHECK invokes AS_ESCAPE before
841# expanding macros, so it corrupts some special characters in the
842# macros. To avoid this, expand now and pass it the result with proper
cbdb6d91 843# string quotation. Assume args 7 through 12 expand to properly quoted
c4be5517 844# strings.
7254f6a8 845
c4be5517 846m4_if(m4_index(m4_quote($3), [no-xml]), -1,
7254f6a8
JD
847 [AT_BISON_CHECK],
848 [AT_BISON_CHECK_NO_XML])([[--report=all --defines -o input.c input.y]],
c4be5517 849 [0], [], m4_dquote($7))
7254f6a8 850
c4be5517 851m4_if(m4_index(m4_quote($3), [last-state]), -1,
7254f6a8 852 [AT_CHECK([[sed -n '/^state 0$/,$p' input.output]], [[0]],
c4be5517 853 m4_dquote($8))],
7254f6a8 854 [AT_CHECK([[sed -n 's/^state //p' input.output | tail -1]], [[0]],
c4be5517 855 m4_dquote($8)[[
7254f6a8 856]])])
7254f6a8 857
c4be5517 858$9
7254f6a8 859
8ec3110a
AD
860# Canonical LR generates very large tables, resulting in very long
861# files with #line directives that may overflow what the standards
862# (C90 and C++98) guarantee: 32767. In that case, GCC's -pedantic
863# will issue an error.
864#
865# There is no "" around `wc` since some indent the result.
866m4_bmatch([$4], [%define lr.type canonical-lr],
867[if test 32767 -lt `wc -l < input.c`; then
868 CFLAGS=`echo " $CFLAGS " | sed -e 's/ -pedantic //'`
869 CXXFLAGS=`echo " $CXXFLAGS " | sed -e 's/ -pedantic //'`
870fi])
7254f6a8
JD
871AT_COMPILE([[input]])
872
c4be5517
JD
873AT_PARSER_CHECK([[./input]],
874 m4_ifval([$10], [m4_dquote($10)]),
875 m4_ifval([$11], [m4_dquote($11)]),
876 m4_ifval([$12], [m4_dquote($12)]))
7254f6a8 877
55f48c48 878AT_BISON_OPTION_POPDEFS
7254f6a8
JD
879AT_CLEANUP
880
881m4_popdef([AT_COND_CASE])])
1f7a61ff
AD
882
883
884
885## ----------------------- ##
886## Launch the test suite. ##
887## ----------------------- ##
888
889AT_INIT
890
ac3f2e33
AD
891# Cannot assign CC and CFLAGS here, since atlocal is loaded after
892# options are processed, so we don't know the value of CXX and
893# CXXFLAGS yet.
894#
895# Note that it also means that command line values for CXX and
896# CXXFLAGS will not be propagated to CC and CFLAGS.
897AT_ARG_OPTION([compile-c-with-cxx],
898 [compile C parsers with the C++ compiler])
899
900AT_COLOR_TESTS
901
1f7a61ff 902AT_TESTED([bison])