tests/push.at

   1 # Checking Push Parsing.                            -*- Autotest -*-
   2 # Copyright (C) 2007 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 %pure-parser %push-parser
  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_CHECK([[bison -o input.c input.y]])
  75 AT_COMPILE([[input]])
  76 AT_PARSER_CHECK([[./input]])
  77
  78 AT_CLEANUP