tests/push.at

   1 # Checking Push Parsing.                            -*- Autotest -*-
   2
   3 # Copyright (C) 2007, 2009-2011 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
  28 AT_DATA_GRAMMAR([[input.y]],
  29 [[
  30 %{
  31   #include <assert.h>
  32   #include <stdio.h>
  33   #define YYINITDEPTH 1
  34   void yyerror (char const *msg);
  35 %}
  36
  37 %define api.pure %define api.push-pull push
  38
  39 %%
  40
  41 start: 'a' 'b' 'c' ;
  42
  43 %%
  44
  45 void
  46 yyerror (char const *msg)
  47 {
  48   fprintf (stderr, "%s\n", msg);
  49 }
  50
  51 int
  52 main (void)
  53 {
  54   yypstate *ps;
  55
  56   /* Make sure we don't try to free ps->yyss in this case.  */
  57   ps = yypstate_new ();
  58   yypstate_delete (ps);
  59
  60   /* yypstate_delete used to leak ps->yyss if the stack was reallocated but the
  61      parse did not return on success, syntax error, or memory exhaustion.  */
  62   ps = yypstate_new ();
  63   assert (yypush_parse (ps, 'a', NULL) == YYPUSH_MORE);
  64   yypstate_delete (ps);
  65
  66   ps = yypstate_new ();
  67   assert (yypush_parse (ps, 'a', NULL) == YYPUSH_MORE);
  68   assert (yypush_parse (ps, 'b', NULL) == YYPUSH_MORE);
  69   yypstate_delete (ps);
  70
  71   return 0;
  72 }
  73 ]])
  74
  75 AT_BISON_CHECK([[-o input.c input.y]])
  76 AT_COMPILE([[input]])
  77 AT_PARSER_CHECK([[./input]])
  78
  79 AT_CLEANUP
  80
  81 ## --------------------------- ##
  82 ## Multiple impure instances.  ##
  83 ## --------------------------- ##
  84
  85 AT_SETUP([[Multiple impure instances]])
  86
  87 m4_pushdef([AT_MULTIPLE_IMPURE_INSTANCES_CHECK], [
  88 AT_DATA_GRAMMAR([[input.y]],
  89 [[
  90 %{
  91   #include <assert.h>
  92   #include <stdio.h>
  93   void yyerror (char const *msg);
  94   int yylex (void);
  95 %}
  96
  97 %define api.push-pull ]$1[
  98
  99 %%
 100
 101 start: ;
 102
 103 %%
 104
 105 void
 106 yyerror (char const *msg)
 107 {
 108   fprintf (stderr, "%s\n", msg);
 109 }
 110
 111 int
 112 yylex (void)
 113 {
 114   return 0;
 115 }
 116
 117 int
 118 main (void)
 119 {
 120   yypstate *ps;
 121   int i;
 122
 123   for (i = 0; i < 2; ++i)
 124     {
 125       ps = yypstate_new ();
 126       assert (ps);
 127       assert (yypstate_new () == NULL);
 128       ]m4_if([$1], [[both]], [[assert (yyparse () == 2)]])[;
 129       yychar = 0;
 130       assert (yypush_parse (ps) == 0);
 131       assert (yypstate_new () == NULL);
 132       ]m4_if([$1], [[both]], [[assert (yyparse () == 2)]])[;
 133       yypstate_delete (ps);
 134     }
 135
 136   return 0;
 137 }
 138 ]])
 139
 140 AT_BISON_CHECK([[-o input.c input.y]])
 141 AT_COMPILE([[input]])
 142 AT_PARSER_CHECK([[./input]])
 143 ])
 144
 145 AT_MULTIPLE_IMPURE_INSTANCES_CHECK([[both]])
 146 AT_MULTIPLE_IMPURE_INSTANCES_CHECK([[push]])
 147
 148 m4_popdef([AT_MULTIPLE_IMPURE_INSTANCES_CHECK])
 149
 150 AT_CLEANUP
 151
 152 ## ----------------------- ##
 153 ## Unsupported Skeletons.  ##
 154 ## ----------------------- ##
 155
 156 AT_SETUP([[Unsupported Skeletons]])
 157
 158 AT_DATA([[input.y]],
 159 [[%glr-parser
 160 %define api.push-pull push
 161 %%
 162 start: ;
 163 ]])
 164
 165 AT_BISON_CHECK([[input.y]], [[1]], [],
 166 [[input.y:2.9-21: %define variable `api.push-pull' is not used
 167 ]])
 168
 169 AT_CLEANUP