c++: please G++ 4.8 with -O3: array bounds

[bison.git] / tests / push.at

diff --git a/tests/push.at b/tests/push.at
index 831be0c06311a660718e2520de038334b31ed4bc..7dde2957ef52b5bc0da420aa652615ef7bcab67a 100644 (file)
--- a/tests/push.at
+++ b/tests/push.at
@@ -1,5 +1,6 @@
 # Checking Push Parsing.                            -*- Autotest -*-
 # Checking Push Parsing.                            -*- Autotest -*-

-# Copyright (C) 2007, 2009 Free Software Foundation, Inc.
+
+# Copyright (C) 2007, 2009-2013 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
 
 # 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


@@ -16,24 +17,25 @@
 
 AT_BANNER([[Push Parsing Tests]])
 
 
 AT_BANNER([[Push Parsing Tests]])
 

-## ---------------------------------------------- ##
-## Push Parsing: Memory Leak for Early Deletion.  ##
-## ---------------------------------------------- ##
+## -------------------------------- ##
+## Memory Leak for Early Deletion.  ##
+## -------------------------------- ##

 
 

-AT_SETUP([[Push Parsing: Memory Leak for Early Deletion]])
+AT_SETUP([[Memory Leak for Early Deletion]])

 
 # Requires Valgrind.
 
 # Requires Valgrind.

-
+AT_BISON_OPTION_PUSHDEFS

 AT_DATA_GRAMMAR([[input.y]],
 [[
 %{
   #include <assert.h>
   #include <stdio.h>
   #define YYINITDEPTH 1
 AT_DATA_GRAMMAR([[input.y]],
 [[
 %{
   #include <assert.h>
   #include <stdio.h>
   #define YYINITDEPTH 1

-  void yyerror (char const *msg);
+]AT_YYERROR_DECLARE[

 %}
 
 %}
 

-%define api.pure %define api.push-pull push
+%define api.pure
+%define api.push-pull push

 
 %%
 
 
 %%
 


@@ -41,11 +43,7 @@ start: 'a' 'b' 'c' ;
 
 %%
 
 
 %%
 

-void
-yyerror (char const *msg)
-{
-  fprintf (stderr, "%s\n", msg);
-}
+]AT_YYERROR_DEFINE[

 
 int
 main (void)
 
 int
 main (void)


@@ -59,17 +57,18 @@ main (void)
   /* 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 ();
   /* 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);
+  assert (yypush_parse (ps, 'a', YY_NULL) == YYPUSH_MORE);

   yypstate_delete (ps);
 
   ps = yypstate_new ();
   yypstate_delete (ps);
 
   ps = yypstate_new ();

-  assert (yypush_parse (ps, 'a', NULL) == YYPUSH_MORE);
-  assert (yypush_parse (ps, 'b', NULL) == YYPUSH_MORE);
+  assert (yypush_parse (ps, 'a', YY_NULL) == YYPUSH_MORE);
+  assert (yypush_parse (ps, 'b', YY_NULL) == YYPUSH_MORE);

   yypstate_delete (ps);
 
   return 0;
 }
 ]])
   yypstate_delete (ps);
 
   return 0;
 }
 ]])

+AT_BISON_OPTION_POPDEFS

 
 AT_BISON_CHECK([[-o input.c input.y]])
 AT_COMPILE([[input]])
 
 AT_BISON_CHECK([[-o input.c input.y]])
 AT_COMPILE([[input]])


@@ -77,20 +76,21 @@ AT_PARSER_CHECK([[./input]])
 
 AT_CLEANUP
 
 
 AT_CLEANUP
 

-## ----------------------------------------- ##
-## Push Parsing: Multiple impure instances.  ##
-## ----------------------------------------- ##
+## --------------------------- ##
+## Multiple impure instances.  ##
+## --------------------------- ##

 
 

-AT_SETUP([[Push Parsing: Multiple impure instances]])
+AT_SETUP([[Multiple impure instances]])

 
 m4_pushdef([AT_MULTIPLE_IMPURE_INSTANCES_CHECK], [
 
 m4_pushdef([AT_MULTIPLE_IMPURE_INSTANCES_CHECK], [

+AT_BISON_OPTION_PUSHDEFS([%define api.push-pull $1])

 AT_DATA_GRAMMAR([[input.y]],
 [[
 %{
   #include <assert.h>
   #include <stdio.h>
 AT_DATA_GRAMMAR([[input.y]],
 [[
 %{
   #include <assert.h>
   #include <stdio.h>

-  void yyerror (char const *msg);
-  int yylex (void);
+]AT_YYERROR_DECLARE[
+]m4_if([$1], [[both]], [AT_YYLEX_DECLARE([])])[

 %}
 
 %define api.push-pull ]$1[
 %}
 
 %define api.push-pull ]$1[


@@ -100,34 +100,22 @@ AT_DATA_GRAMMAR([[input.y]],
 start: ;
 
 %%
 start: ;
 
 %%

-
-void
-yyerror (char const *msg)
-{
-  fprintf (stderr, "%s\n", msg);
-}
-
-int
-yylex (void)
-{
-  return 0;
-}
+]AT_YYERROR_DEFINE[
+]m4_if([$1], [[both]], [AT_YYLEX_DEFINE])[

 
 int
 main (void)
 {
 
 int
 main (void)
 {

-  yypstate *ps;

   int i;
   int i;

-

   for (i = 0; i < 2; ++i)
     {
   for (i = 0; i < 2; ++i)
     {

-      ps = yypstate_new ();
+      yypstate *ps = yypstate_new ();

       assert (ps);
       assert (ps);

-      assert (yypstate_new () == NULL);
+      assert (yypstate_new () == YY_NULL);

       ]m4_if([$1], [[both]], [[assert (yyparse () == 2)]])[;
       yychar = 0;
       assert (yypush_parse (ps) == 0);
       ]m4_if([$1], [[both]], [[assert (yyparse () == 2)]])[;
       yychar = 0;
       assert (yypush_parse (ps) == 0);

-      assert (yypstate_new () == NULL);
+      assert (yypstate_new () == YY_NULL);

       ]m4_if([$1], [[both]], [[assert (yyparse () == 2)]])[;
       yypstate_delete (ps);
     }
       ]m4_if([$1], [[both]], [[assert (yyparse () == 2)]])[;
       yypstate_delete (ps);
     }


@@ -139,6 +127,7 @@ main (void)
 AT_BISON_CHECK([[-o input.c input.y]])
 AT_COMPILE([[input]])
 AT_PARSER_CHECK([[./input]])
 AT_BISON_CHECK([[-o input.c input.y]])
 AT_COMPILE([[input]])
 AT_PARSER_CHECK([[./input]])

+AT_BISON_OPTION_POPDEFS

 ])
 
 AT_MULTIPLE_IMPURE_INSTANCES_CHECK([[both]])
 ])
 
 AT_MULTIPLE_IMPURE_INSTANCES_CHECK([[both]])


@@ -148,21 +137,23 @@ m4_popdef([AT_MULTIPLE_IMPURE_INSTANCES_CHECK])
 
 AT_CLEANUP
 
 
 AT_CLEANUP
 

-## ------------------------------------- ##
-## Push Parsing: Unsupported Skeletons.  ##
-## ------------------------------------- ##
+## ----------------------- ##
+## Unsupported Skeletons.  ##
+## ----------------------- ##

 
 

-AT_SETUP([[Push Parsing: Unsupported Skeletons]])
+AT_SETUP([[Unsupported Skeletons]])

 
 

+AT_BISON_OPTION_PUSHDEFS

 AT_DATA([[input.y]],
 [[%glr-parser
 %define api.push-pull push
 %%
 start: ;
 ]])
 AT_DATA([[input.y]],
 [[%glr-parser
 %define api.push-pull push
 %%
 start: ;
 ]])

+AT_BISON_OPTION_POPDEFS

 
 

-AT_BISON_CHECK([[input.y]], [0], [],
-[[input.y:2.9-21: warning: %define variable `api.push-pull' is not used
+AT_BISON_CHECK([[input.y]], [[1]], [],
+[[input.y:2.9-21: error: %define variable 'api.push-pull' is not used

 ]])
 
 AT_CLEANUP
 ]])
 
 AT_CLEANUP