]> git.saurik.com Git - bison.git/blob - tests/push.at
muscle: factor conditionals on defined %define variables
[bison.git] / tests / push.at
1 # Checking Push Parsing. -*- Autotest -*-
2
3 # Copyright (C) 2007, 2009-2013 Free Software Foundation, Inc.
4
5 # This program is free software: you can redistribute it and/or modify
6 # it under the terms of the GNU General Public License as published by
7 # the Free Software Foundation, either version 3 of the License, or
8 # (at your option) any later version.
9 #
10 # This program is distributed in the hope that it will be useful,
11 # but WITHOUT ANY WARRANTY; without even the implied warranty of
12 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 # GNU General Public License for more details.
14 #
15 # You should have received a copy of the GNU General Public License
16 # along with this program. If not, see <http://www.gnu.org/licenses/>.
17
18 AT_BANNER([[Push Parsing Tests]])
19
20 ## -------------------------------- ##
21 ## Memory Leak for Early Deletion. ##
22 ## -------------------------------- ##
23
24 AT_SETUP([[Memory Leak for Early Deletion]])
25
26 # Requires Valgrind.
27 AT_BISON_OPTION_PUSHDEFS
28 AT_DATA_GRAMMAR([[input.y]],
29 [[
30 %{
31 #include <assert.h>
32 #include <stdio.h>
33 #define YYINITDEPTH 1
34 ]AT_YYERROR_DECLARE[
35 %}
36
37 %define api.pure
38 %define api.push-pull push
39
40 %%
41
42 start: 'a' 'b' 'c' ;
43
44 %%
45
46 ]AT_YYERROR_DEFINE[
47
48 int
49 main (void)
50 {
51 yypstate *ps;
52
53 /* Make sure we don't try to free ps->yyss in this case. */
54 ps = yypstate_new ();
55 yypstate_delete (ps);
56
57 /* yypstate_delete used to leak ps->yyss if the stack was reallocated but the
58 parse did not return on success, syntax error, or memory exhaustion. */
59 ps = yypstate_new ();
60 assert (yypush_parse (ps, 'a', YY_NULL) == YYPUSH_MORE);
61 yypstate_delete (ps);
62
63 ps = yypstate_new ();
64 assert (yypush_parse (ps, 'a', YY_NULL) == YYPUSH_MORE);
65 assert (yypush_parse (ps, 'b', YY_NULL) == YYPUSH_MORE);
66 yypstate_delete (ps);
67
68 return 0;
69 }
70 ]])
71 AT_BISON_OPTION_POPDEFS
72
73 AT_BISON_CHECK([[-o input.c input.y]])
74 AT_COMPILE([[input]])
75 AT_PARSER_CHECK([[./input]])
76
77 AT_CLEANUP
78
79 ## --------------------------- ##
80 ## Multiple impure instances. ##
81 ## --------------------------- ##
82
83 AT_SETUP([[Multiple impure instances]])
84
85 m4_pushdef([AT_MULTIPLE_IMPURE_INSTANCES_CHECK], [
86 AT_BISON_OPTION_PUSHDEFS([%define api.push-pull $1])
87 AT_DATA_GRAMMAR([[input.y]],
88 [[
89 %{
90 #include <assert.h>
91 #include <stdio.h>
92 ]AT_YYERROR_DECLARE[
93 ]m4_if([$1], [[both]], [AT_YYLEX_DECLARE([])])[
94 %}
95
96 %define api.push-pull ]$1[
97
98 %%
99
100 start: ;
101
102 %%
103 ]AT_YYERROR_DEFINE[
104 ]m4_if([$1], [[both]], [AT_YYLEX_DEFINE])[
105
106 int
107 main (void)
108 {
109 int i;
110 for (i = 0; i < 2; ++i)
111 {
112 yypstate *ps = yypstate_new ();
113 assert (ps);
114 assert (yypstate_new () == YY_NULL);
115 ]m4_if([$1], [[both]], [[assert (yyparse () == 2)]])[;
116 yychar = 0;
117 assert (yypush_parse (ps) == 0);
118 assert (yypstate_new () == YY_NULL);
119 ]m4_if([$1], [[both]], [[assert (yyparse () == 2)]])[;
120 yypstate_delete (ps);
121 }
122
123 return 0;
124 }
125 ]])
126
127 AT_BISON_CHECK([[-o input.c input.y]])
128 AT_COMPILE([[input]])
129 AT_PARSER_CHECK([[./input]])
130 AT_BISON_OPTION_POPDEFS
131 ])
132
133 AT_MULTIPLE_IMPURE_INSTANCES_CHECK([[both]])
134 AT_MULTIPLE_IMPURE_INSTANCES_CHECK([[push]])
135
136 m4_popdef([AT_MULTIPLE_IMPURE_INSTANCES_CHECK])
137
138 AT_CLEANUP
139
140 ## ----------------------- ##
141 ## Unsupported Skeletons. ##
142 ## ----------------------- ##
143
144 AT_SETUP([[Unsupported Skeletons]])
145
146 AT_BISON_OPTION_PUSHDEFS
147 AT_DATA([[input.y]],
148 [[%glr-parser
149 %define api.push-pull push
150 %%
151 start: ;
152 ]])
153 AT_BISON_OPTION_POPDEFS
154
155 AT_BISON_CHECK([[input.y]], [[1]], [],
156 [[input.y:2.9-21: error: %define variable 'api.push-pull' is not used
157 ]])
158
159 AT_CLEANUP