X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/812775a0391e122eff1983afea2da96c600c7307..60aa04a236004d3d03f00aeaf07b643a52ef0760:/tests/torture.at?ds=sidebyside diff --git a/tests/torture.at b/tests/torture.at index 91b3b1b9..338c1648 100644 --- a/tests/torture.at +++ b/tests/torture.at @@ -1,5 +1,6 @@ # Torturing Bison. -*- Autotest -*- -# Copyright (C) 2001, 2002, 2004, 2005, 2006, 2007, 2009 Free Software + +# Copyright (C) 2001-2002, 2004-2007, 2009-2012 Free Software # Foundation, Inc. # This program is free software: you can redistribute it and/or modify @@ -41,7 +42,8 @@ esac]) # Create FILE-NAME, containing a self checking parser for a huge # triangular grammar. m4_define([AT_DATA_TRIANGULAR_GRAMMAR], -[AT_DATA([[gengram.pl]], +[AT_BISON_OPTION_PUSHDEFS +AT_DATA([[gengram.pl]], [[#! /usr/bin/perl -w use strict; @@ -54,9 +56,10 @@ print < #include - -static int yylex (void); -static void yyerror (const char *msg); +#include +#define MAX $max +]AT_YYLEX_DECLARE[ +]AT_YYERROR_DECLARE[ %} %union { @@ -75,8 +78,8 @@ for my $size (1 .. $max) print < $max) + if (outer > MAX) return 0; else if (inner > outer) { @@ -111,13 +115,6 @@ yylex (void) } return inner++; } - -static void -yyerror (const char *msg) -{ - fprintf (stderr, "%s\\n", msg); -} - int main (void) { @@ -126,6 +123,7 @@ main (void) } EOF ]]) +AT_BISON_OPTION_POPDEFS AT_CHECK([perl -w ./gengram.pl $2 || exit 77], 0, [stdout]) mv stdout $1 @@ -156,7 +154,8 @@ AT_CLEANUP # Create FILE-NAME, containing a self checking parser for a huge # horizontal grammar. m4_define([AT_DATA_HORIZONTAL_GRAMMAR], -[AT_DATA([[gengram.pl]], +[AT_BISON_OPTION_PUSHDEFS +AT_DATA([[gengram.pl]], [[#! /usr/bin/perl -w use strict; @@ -169,9 +168,9 @@ print < #include - -static int yylex (void); -static void yyerror (const char *msg); +#define MAX $max +]AT_YYLEX_DECLARE[ +]AT_YYERROR_DECLARE[ %} %token @@ -192,25 +191,20 @@ print (map { "\"$_\"" } (1 .. $max)), ";"), "\n"; -print < +]AT_YYERROR_DEFINE[ static int yylex (void) { static int counter = 1; - if (counter <= $max) + if (counter <= MAX) return counter++; - if (counter++ != $max + 1) - abort (); + assert (counter++ == MAX + 1); return 0; } -static void -yyerror (const char *msg) -{ - fprintf (stderr, "%s\\n", msg); -} - int main (void) { @@ -222,6 +216,7 @@ EOF AT_CHECK([perl -w ./gengram.pl $2 || exit 77], 0, [stdout]) mv stdout $1 +AT_BISON_OPTION_POPDEFS ]) @@ -262,7 +257,8 @@ AT_CLEANUP # Create FILE-NAME, containing a self checking parser for a grammar # requiring SIZE lookahead tokens. m4_define([AT_DATA_LOOKAHEAD_TOKENS_GRAMMAR], -[AT_DATA([[gengram.pl]], +[AT_BISON_OPTION_PUSHDEFS +AT_DATA([[gengram.pl]], [[#! /usr/bin/perl -w use strict; @@ -276,9 +272,9 @@ print < # include # include - -static int yylex (void); -static void yyerror (const char *msg); +# define MAX $max +]AT_YYLEX_DECLARE[ +]AT_YYERROR_DECLARE[ %} %union { @@ -323,17 +319,17 @@ for my $count (1 .. $max) print "n$count: token { \$\$ = $count; };\n"; }; -print < $max) + if (counter > MAX) { - if (counter++ != $max + 1) - abort (); + assert (counter++ == MAX + 1); return 0; } if (return_token) @@ -345,12 +341,6 @@ yylex (void) return counter++; } -static void -yyerror (const char *msg) -{ - fprintf (stderr, "%s\\n", msg); -} - int main (void) { @@ -362,6 +352,7 @@ EOF AT_CHECK([perl -w ./gengram.pl $2 || exit 77], 0, [stdout]) mv stdout $1 +AT_BISON_OPTION_POPDEFS ]) @@ -389,7 +380,8 @@ AT_CLEANUP # ------------------------------------------------ # A parser specialized in torturing the stack size. m4_define([AT_DATA_STACK_TORTURE], -[# A grammar of parens growing the stack thanks to right recursion. +[AT_BISON_OPTION_PUSHDEFS([$2]) +# A grammar of parens growing the stack thanks to right recursion. # exp: AT_DATA([input.y], [[%{ @@ -398,8 +390,8 @@ AT_DATA([input.y], #include #include ]$1[ - static int yylex (void); - static void yyerror (const char *msg); + ]AT_YYLEX_DECLARE[ + ]AT_YYERROR_DECLARE[ %} ]$2[ %error-verbose @@ -408,17 +400,12 @@ AT_DATA([input.y], %% exp: WAIT_FOR_EOF exp | ; %% -static void -yyerror (const char *msg) -{ - fprintf (stderr, "%s\n", msg); -} - +]AT_YYERROR_DEFINE[ +#include static int yylex (void) { - if (yylval < 0) - abort (); + assert (0 <= yylval); if (yylval--) return WAIT_FOR_EOF; else @@ -430,13 +417,12 @@ main (int argc, const char **argv) { char *endp; YYSTYPE yylval_init; - if (argc != 2) - abort (); + assert (argc == 2); yylval_init = strtol (argv[1], &endp, 10); - if (! (argv[1] != endp - && 0 <= yylval_init && yylval_init <= INT_MAX - && errno != ERANGE)) - abort (); + assert (argv[1] != endp); + assert (0 <= yylval_init); + assert (yylval_init <= INT_MAX); + assert (errno != ERANGE); yydebug = 1; { int count; @@ -451,8 +437,7 @@ main (int argc, const char **argv) [[ new_status = yypull_parse (ps); ]], [[ new_status = yyparse (); -]])[ if (count > 0 && new_status != status) - abort (); +]])[ assert (0 <= count || new_status == status); status = new_status; } ]m4_bmatch([$2], [%push-], @@ -461,6 +446,7 @@ main (int argc, const char **argv) } } ]]) +AT_BISON_OPTION_POPDEFS([$2]) AT_BISON_CHECK([-o input.c input.y]) AT_COMPILE([input]) ]) @@ -496,7 +482,7 @@ AT_PARSER_CHECK([./input 10000], 2, [], [ignore], # just helps guarantee we don't let the YYSTACK_USE_ALLOCA feature affect # push parsers. AT_DATA_STACK_TORTURE([AT_USE_ALLOCA], -[[%define api.push-pull "both" +[[%define api.push-pull both ]]) AT_PARSER_CHECK([./input 20], 0, [], [ignore], [[VALGRIND_OPTS="$VALGRIND_OPTS --log-fd=1"]]) @@ -534,7 +520,7 @@ AT_PARSER_CHECK([./input 10000], 2, [], [ignore], [[VALGRIND_OPTS="$VALGRIND_OPTS --log-fd=1"]]) AT_DATA_STACK_TORTURE([AT_USE_ALLOCA], -[[%define api.push-pull "both" +[[%define api.push-pull both ]]) AT_PARSER_CHECK([./input 20], 0, [], [ignore], [[VALGRIND_OPTS="$VALGRIND_OPTS --log-fd=1"]])