tests/push.at

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