X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/da730230ce159265f4380daa456e3e3c5f9422f4..a0c45dd5d2697b726add2bbc81947e9cb98c2799:/tests/push.at?ds=sidebyside diff --git a/tests/push.at b/tests/push.at index 53b20b7d..d2c09263 100644 --- a/tests/push.at +++ b/tests/push.at @@ -1,5 +1,6 @@ # Checking Push Parsing. -*- Autotest -*- -# Copyright (C) 2007 Free Software Foundation, Inc. + +# Copyright (C) 2007, 2009-2012 Free Software Foundation, Inc. # This program is free software: you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by @@ -16,24 +17,25 @@ AT_BANNER([[Push Parsing Tests]]) -## ---------------------------------------------- ## -## Push Parsing: Memory Leak for Early Deletion. ## -## ---------------------------------------------- ## +## -------------------------------- ## +## Memory Leak for Early Deletion. ## +## -------------------------------- ## -AT_SETUP([[Push Parsing: Memory Leak for Early Deletion]]) +AT_SETUP([[Memory Leak for Early Deletion]]) # Requires Valgrind. - +AT_BISON_OPTION_PUSHDEFS AT_DATA_GRAMMAR([[input.y]], [[ %{ #include #include #define YYINITDEPTH 1 - void yyerror (char const *msg); +]AT_YYERROR_DECLARE[ %} -%define api.pure %define api.push_pull "push" +%define api.pure +%define api.push-pull push %% @@ -41,11 +43,7 @@ start: 'a' 'b' 'c' ; %% -void -yyerror (char const *msg) -{ - fprintf (stderr, "%s\n", msg); -} +]AT_YYERROR_DEFINE[ int main (void) @@ -59,17 +57,18 @@ main (void) /* yypstate_delete used to leak ps->yyss if the stack was reallocated but the parse did not return on success, syntax error, or memory exhaustion. */ ps = yypstate_new (); - assert (yypush_parse (ps, 'a', NULL) == YYPUSH_MORE); + assert (yypush_parse (ps, 'a', YY_NULL) == YYPUSH_MORE); yypstate_delete (ps); ps = yypstate_new (); - assert (yypush_parse (ps, 'a', NULL) == YYPUSH_MORE); - assert (yypush_parse (ps, 'b', NULL) == YYPUSH_MORE); + assert (yypush_parse (ps, 'a', YY_NULL) == YYPUSH_MORE); + assert (yypush_parse (ps, 'b', YY_NULL) == YYPUSH_MORE); yypstate_delete (ps); return 0; } ]]) +AT_BISON_OPTION_POPDEFS AT_BISON_CHECK([[-o input.c input.y]]) AT_COMPILE([[input]]) @@ -77,57 +76,47 @@ AT_PARSER_CHECK([[./input]]) AT_CLEANUP -## ----------------------------------------- ## -## Push Parsing: Multiple impure instances. ## -## ----------------------------------------- ## +## --------------------------- ## +## Multiple impure instances. ## +## --------------------------- ## -AT_SETUP([[Push Parsing: Multiple impure instances]]) +AT_SETUP([[Multiple impure instances]]) +m4_pushdef([AT_MULTIPLE_IMPURE_INSTANCES_CHECK], [ +AT_BISON_OPTION_PUSHDEFS([%define api.push-pull $1]) AT_DATA_GRAMMAR([[input.y]], [[ %{ #include #include - void yyerror (char const *msg); - int yylex (void); +]AT_YYERROR_DECLARE[ +]m4_if([$1], [[both]], [AT_YYLEX_DECLARE([])])[ %} -%define api.push_pull "both" +%define api.push-pull ]$1[ %% start: ; %% - -void -yyerror (char const *msg) -{ - fprintf (stderr, "%s\n", msg); -} - -int -yylex (void) -{ - return 0; -} +]AT_YYERROR_DEFINE[ +]m4_if([$1], [[both]], [AT_YYLEX_DEFINE])[ int main (void) { - yypstate *ps; int i; - for (i = 0; i < 2; ++i) { - ps = yypstate_new (); + yypstate *ps = yypstate_new (); assert (ps); - assert (yypstate_new () == NULL); - assert (yyparse () == 2); + assert (yypstate_new () == YY_NULL); + ]m4_if([$1], [[both]], [[assert (yyparse () == 2)]])[; yychar = 0; assert (yypush_parse (ps) == 0); - assert (yypstate_new () == NULL); - assert (yyparse () == 2); + assert (yypstate_new () == YY_NULL); + ]m4_if([$1], [[both]], [[assert (yyparse () == 2)]])[; yypstate_delete (ps); } @@ -137,34 +126,34 @@ main (void) AT_BISON_CHECK([[-o input.c input.y]]) AT_COMPILE([[input]]) -AT_PARSER_CHECK([[./input]], 0, [], -[[cannot allocate multiple impure push-parser instances -cannot allocate multiple impure push-parser instances -cannot allocate multiple impure push-parser instances -cannot allocate multiple impure push-parser instances -cannot allocate multiple impure push-parser instances -cannot allocate multiple impure push-parser instances -cannot allocate multiple impure push-parser instances -cannot allocate multiple impure push-parser instances -]]) +AT_PARSER_CHECK([[./input]]) +AT_BISON_OPTION_POPDEFS +]) + +AT_MULTIPLE_IMPURE_INSTANCES_CHECK([[both]]) +AT_MULTIPLE_IMPURE_INSTANCES_CHECK([[push]]) + +m4_popdef([AT_MULTIPLE_IMPURE_INSTANCES_CHECK]) AT_CLEANUP -## ------------------------------------- ## -## Push Parsing: Unsupported Skeletons. ## -## ------------------------------------- ## +## ----------------------- ## +## Unsupported Skeletons. ## +## ----------------------- ## -AT_SETUP([[Push Parsing: Unsupported Skeletons]]) +AT_SETUP([[Unsupported Skeletons]]) +AT_BISON_OPTION_PUSHDEFS AT_DATA([[input.y]], [[%glr-parser -%define api.push_pull "push" +%define api.push-pull push %% start: ; ]]) +AT_BISON_OPTION_POPDEFS -AT_BISON_CHECK([[input.y]], [0], [], -[[input.y:2.9-21: warning: %define variable `api.push_pull' is not used +AT_BISON_CHECK([[input.y]], [[1]], [], +[[input.y:2.9-21: %define variable 'api.push-pull' is not used ]]) AT_CLEANUP