mirror of
https://git.savannah.gnu.org/git/bison.git
synced 2026-03-09 12:23:04 +00:00
d9df47b656
at <http://lists.gnu.org/archive/html/bison-patches/2007-09/msg00006.html>. * NEWS (2.3a+): Mention. * data/bison.m4 (b4_pure_if): Don't define it here. * data/c.m4 (b4_identification): Depend on individual skeletons to define b4_pure_flag, b4_push_flag, or b4_pull_flag if they use the values of the %define variables api.pure or api.push_pull. Define YYPURE, YYPUSH, and YYPULL accordingly. * data/glr.c: Define b4_pure_if based on `%define api.pure' unless glr.cc has already defined b4_pure_flag. * data/push.c: Define b4_pure_if based on `%define api.pure'. Remove YYPUSH and YYPULL since they're back in b4_identification again. * data/yacc.c Define b4_pure_if based on `%define api.pure'. * doc/bison.texinfo (Pure Decl): Update. (Push Decl): Update. (Decl Summary): Add api.pure to %define entry. In %pure-parser entry, say it's deprecated and reference %define. (Pure Calling): Update. (Error Reporting): Update. (C++ Scanner Interface): Update. (How Can I Reset the Parser): Update. (Table of Symbols): In %pure-parser entry, say it's deprecated and reference %define. * src/getargs.c (pure_parser): Remove global variable. * src/getargs.h (pure_parser): Remove extern. * src/output.c (prepare): Don't define pure_flag muscle. * src/parse-gram.y (prologue_declaration): Implement %pure-parser as a wrapper around `%define api.pure'. * tests/calc.at (Simple LALR Calculator): Update. (Simple GLR Calculator): Update. * tests/cxx-type.at (GLR: Resolve ambiguity, pure, no locations): Update. (GLR: Resolve ambiguity, pure, locations): Update. (GLR: Merge conflicting parses, pure, no locations): Update. (GLR: Merge conflicting parses, pure, locations): Update. * tests/glr-regression.at (Uninitialized location when reporting ambiguity): Update * tests/input.at (Unused %define api.pure): New test case. * tests/local.at (_AT_BISON_OPTION_PUSHDEFS): Update definition for AT_PURE_IF and AT_PURE_AND_LOC_IF. * tests/push.at (Push Parsing: Memory Leak for Early Deletion): Update.
171 lines
3.7 KiB
Plaintext
171 lines
3.7 KiB
Plaintext
# Checking Push Parsing. -*- Autotest -*-
|
|
# Copyright (C) 2007 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
|
|
# the Free Software Foundation, either version 3 of the License, or
|
|
# (at your option) any later version.
|
|
#
|
|
# This program is distributed in the hope that it will be useful,
|
|
# but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
# GNU General Public License for more details.
|
|
#
|
|
# You should have received a copy of the GNU General Public License
|
|
# along with this program. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
AT_BANNER([[Push Parsing Tests]])
|
|
|
|
## ---------------------------------------------- ##
|
|
## Push Parsing: Memory Leak for Early Deletion. ##
|
|
## ---------------------------------------------- ##
|
|
|
|
AT_SETUP([[Push Parsing: Memory Leak for Early Deletion]])
|
|
|
|
# Requires Valgrind.
|
|
|
|
AT_DATA_GRAMMAR([[input.y]],
|
|
[[
|
|
%{
|
|
#include <assert.h>
|
|
#include <stdio.h>
|
|
#define YYINITDEPTH 1
|
|
void yyerror (char const *msg);
|
|
%}
|
|
|
|
%define api.pure %define api.push_pull "push"
|
|
|
|
%%
|
|
|
|
start: 'a' 'b' 'c' ;
|
|
|
|
%%
|
|
|
|
void
|
|
yyerror (char const *msg)
|
|
{
|
|
fprintf (stderr, "%s\n", msg);
|
|
}
|
|
|
|
int
|
|
main (void)
|
|
{
|
|
yypstate *ps;
|
|
|
|
/* Make sure we don't try to free ps->yyss in this case. */
|
|
ps = yypstate_new ();
|
|
yypstate_delete (ps);
|
|
|
|
/* 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);
|
|
yypstate_delete (ps);
|
|
|
|
ps = yypstate_new ();
|
|
assert (yypush_parse (ps, 'a', NULL) == YYPUSH_MORE);
|
|
assert (yypush_parse (ps, 'b', NULL) == YYPUSH_MORE);
|
|
yypstate_delete (ps);
|
|
|
|
return 0;
|
|
}
|
|
]])
|
|
|
|
AT_CHECK([[bison -o input.c input.y]])
|
|
AT_COMPILE([[input]])
|
|
AT_PARSER_CHECK([[./input]])
|
|
|
|
AT_CLEANUP
|
|
|
|
## ----------------------------------------- ##
|
|
## Push Parsing: Multiple impure instances. ##
|
|
## ----------------------------------------- ##
|
|
|
|
AT_SETUP([[Push Parsing: Multiple impure instances]])
|
|
|
|
AT_DATA_GRAMMAR([[input.y]],
|
|
[[
|
|
%{
|
|
#include <assert.h>
|
|
#include <stdio.h>
|
|
void yyerror (char const *msg);
|
|
int yylex (void);
|
|
%}
|
|
|
|
%define api.push_pull "both"
|
|
|
|
%%
|
|
|
|
start: ;
|
|
|
|
%%
|
|
|
|
void
|
|
yyerror (char const *msg)
|
|
{
|
|
fprintf (stderr, "%s\n", msg);
|
|
}
|
|
|
|
int
|
|
yylex (void)
|
|
{
|
|
return 0;
|
|
}
|
|
|
|
int
|
|
main (void)
|
|
{
|
|
yypstate *ps;
|
|
int i;
|
|
|
|
for (i = 0; i < 2; ++i)
|
|
{
|
|
ps = yypstate_new ();
|
|
assert (ps);
|
|
assert (yypstate_new () == NULL);
|
|
assert (yyparse () == 2);
|
|
yychar = 0;
|
|
assert (yypush_parse (ps) == 0);
|
|
assert (yypstate_new () == NULL);
|
|
assert (yyparse () == 2);
|
|
yypstate_delete (ps);
|
|
}
|
|
|
|
return 0;
|
|
}
|
|
]])
|
|
|
|
AT_CHECK([[bison -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_CLEANUP
|
|
|
|
## ------------------------------------- ##
|
|
## Push Parsing: Unsupported Skeletons. ##
|
|
## ------------------------------------- ##
|
|
|
|
AT_SETUP([[Push Parsing: Unsupported Skeletons]])
|
|
|
|
AT_DATA([[input.y]],
|
|
[[%glr-parser
|
|
%define api.push_pull "push"
|
|
%%
|
|
start: ;
|
|
]])
|
|
|
|
AT_CHECK([[bison input.y]], [0], [],
|
|
[[input.y:2.9-21: warning: %define variable `api.push_pull' is not used
|
|
]])
|
|
|
|
AT_CLEANUP
|