X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/628be6c97d9966201f0522c4ec1a4908df12ace5..3a526f5cc3b45fc68d06de0b5332105113741093:/tests/push.at?ds=sidebyside diff --git a/tests/push.at b/tests/push.at index 4c548fd9..d2c09263 100644 --- a/tests/push.at +++ b/tests/push.at @@ -1,5 +1,6 @@ # Checking Push Parsing. -*- Autotest -*- -# Copyright (C) 2007, 2009 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,20 +76,21 @@ 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 ]$1[ @@ -100,34 +100,22 @@ AT_DATA_GRAMMAR([[input.y]], 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 (yypstate_new () == YY_NULL); ]m4_if([$1], [[both]], [[assert (yyparse () == 2)]])[; yychar = 0; assert (yypush_parse (ps) == 0); - assert (yypstate_new () == NULL); + assert (yypstate_new () == YY_NULL); ]m4_if([$1], [[both]], [[assert (yyparse () == 2)]])[; yypstate_delete (ps); } @@ -139,6 +127,7 @@ main (void) AT_BISON_CHECK([[-o input.c input.y]]) AT_COMPILE([[input]]) AT_PARSER_CHECK([[./input]]) +AT_BISON_OPTION_POPDEFS ]) AT_MULTIPLE_IMPURE_INSTANCES_CHECK([[both]]) @@ -148,21 +137,23 @@ 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 %% start: ; ]]) +AT_BISON_OPTION_POPDEFS AT_BISON_CHECK([[input.y]], [[1]], [], -[[input.y:2.9-21: %define variable `api.push-pull' is not used +[[input.y:2.9-21: %define variable 'api.push-pull' is not used ]]) AT_CLEANUP