# 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
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 <assert.h>
#include <stdio.h>
#define YYINITDEPTH 1
- void yyerror (char const *msg);
+]AT_YYERROR_DECLARE[
%}
-%pure-parser %define push_pull "push"
+%define api.pure
+%define api.push-pull push
%%
%%
-void
-yyerror (char const *msg)
-{
- fprintf (stderr, "%s\n", msg);
-}
+]AT_YYERROR_DEFINE[
int
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_CHECK([[bison -o input.c input.y]])
+AT_BISON_CHECK([[-o input.c input.y]])
AT_COMPILE([[input]])
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 <assert.h>
#include <stdio.h>
- void yyerror (char const *msg);
- int yylex (void);
+]AT_YYERROR_DECLARE[
+]m4_if([$1], [[both]], [AT_YYLEX_DECLARE([])])[
%}
-%define 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);
}
}
]])
-AT_CHECK([[bison -o input.c input.y]])
+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 push_pull "push"
+%define api.push-pull push
%%
start: ;
]])
+AT_BISON_OPTION_POPDEFS
-AT_CHECK([[bison input.y]], [0], [],
-[[input.y:2.9-17: warning: %define variable `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