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