tests/headers.at

   1 # Bison Parser Headers.                               -*- Autotest -*-
   2
   3 # Copyright (C) 2001-2002, 2006-2007, 2009-2013 Free Software
   4 # Foundation, Inc.
   5
   6 # This program is free software: you can redistribute it and/or modify
   7 # it under the terms of the GNU General Public License as published by
   8 # the Free Software Foundation, either version 3 of the License, or
   9 # (at your option) any later version.
  10 #
  11 # This program is distributed in the hope that it will be useful,
  12 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  13 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  14 # GNU General Public License for more details.
  15 #
  16 # You should have received a copy of the GNU General Public License
  17 # along with this program.  If not, see <http://www.gnu.org/licenses/>.
  18
  19 AT_BANNER([[Parser Headers.]])
  20
  21
  22 ## --------------------- ##
  23 ## Invalid CPP headers.  ##
  24 ## --------------------- ##
  25
  26 # AT_TEST_CPP_GUARD_H(BASE-NAME, [DIRECTIVES])
  27 # --------------------------------------------
  28 # FIXME: Much of this can be covered by calc.at.
  29 m4_define([AT_TEST_CPP_GUARD_H],
  30 [AT_SETUP([Invalid CPP guards: $2 --defines=$1.h])
  31 AT_BISON_OPTION_PUSHDEFS([$2])
  32 # Possibly create inner directories.
  33 dirname=`AS_DIRNAME([$1])`
  34 AS_MKDIR_P([$dirname])
  35
  36 AT_DATA_GRAMMAR([$1.y],
  37 [$2
  38 %{
  39 #include <$1.h>
  40 ]AT_YYERROR_DECLARE_EXTERN[
  41 ]AT_YYLEX_DECLARE_EXTERN[
  42 %}
  43 %%
  44 dummy:;
  45 %%
  46 #include <$1.h>
  47 ])
  48
  49 AT_BISON_CHECK([--defines=$1.h --output=$1.c $1.y])
  50
  51 AT_COMPILE([$1.o], [-I. -c $1.c])
  52
  53 AT_BISON_OPTION_POPDEFS
  54 AT_CLEANUP
  55 ])
  56
  57 AT_TEST_CPP_GUARD_H([input/input])
  58 AT_TEST_CPP_GUARD_H([9foo])
  59 AT_TEST_CPP_GUARD_H([input/input], [%glr-parser])
  60 AT_TEST_CPP_GUARD_H([9foo],        [%glr-parser])
  61
  62
  63
  64 ## ---------------- ##
  65 ## export YYLTYPE.  ##
  66 ## ---------------- ##
  67
  68
  69 AT_SETUP([export YYLTYPE])
  70
  71 AT_BISON_OPTION_PUSHDEFS([%name-prefix "my_"])
  72 AT_DATA_GRAMMAR([input.y],
  73 [[%locations
  74
  75 %name-prefix "my_"
  76 %{
  77 #include <stdio.h>
  78 #include <stdlib.h>
  79
  80 ]AT_YYERROR_DEFINE[
  81 ]AT_YYLEX_DEFINE[
  82 %}
  83 %%
  84 exp:;
  85 ]])
  86
  87 AT_BISON_CHECK([--defines -o input.c input.y])
  88
  89 # YYLTYPE should be defined, and MY_LLOC declared.
  90 AT_DATA([caller.c],
  91 [[#include "input.h"
  92 YYLTYPE *my_llocp = &my_lloc;
  93
  94 int my_parse (void);
  95
  96 ]AT_MAIN_DEFINE[
  97 ]])
  98
  99 # Link and execute, just to make sure everything is fine (and in
 100 # particular, that MY_LLOC is indeed defined somewhere).
 101 AT_COMPILE([caller.o])
 102 AT_COMPILE([input.o])
 103 AT_COMPILE([caller], [caller.o input.o])
 104 AT_PARSER_CHECK([./caller])
 105 AT_BISON_OPTION_POPDEFS
 106 AT_CLEANUP
 107
 108 ## ----------------- ##
 109 ## Several parsers.  ##
 110 ## ----------------- ##
 111
 112 AT_SETUP([Several parsers])
 113
 114 # AT_TEST([PREFIX], [DIRECTIVES])
 115 # -------------------------------
 116 # Generate and compile to *.o.  Make sure there is no (allowed) YY*
 117 # nor yy* identifiers in the header.  Check that headers are
 118 # self-contained, and can be compiled by a C++ compiler.
 119 m4_pushdef([AT_TEST],
 120 [AT_BISON_OPTION_PUSHDEFS([%define api.prefix "$1_" $2])
 121 AT_DATA_GRAMMAR([$1.y],
 122 [[%define api.prefix "$1_"
 123 $2
 124 %error-verbose
 125 %union
 126 {
 127   int integer;
 128 }
 129 %{
 130 #include <stdio.h>
 131   ]AT_YYERROR_DECLARE[
 132   ]AT_YYLEX_DECLARE[
 133 %}
 134 %%
 135 exp:
 136   'x' '1' { printf ("x1\n"); }
 137 | 'x' '2' { printf ("x2\n"); }
 138 | 'x' '3' { printf ("x3\n"); }
 139 | 'x' '4' { printf ("x4\n"); }
 140 | 'x' '5' { printf ("x5\n"); }
 141 | 'x' '6' { printf ("x6\n"); }
 142 | 'x' '7' { printf ("x7\n"); }
 143 | 'x' '8' { printf ("x8\n"); }
 144 ;
 145
 146 %%
 147 ]AT_YYERROR_DEFINE[
 148 ]AT_YYLEX_DEFINE(["$1"])[
 149 ]])
 150
 151 AT_BISON_CHECK([-d -o $1.AT_SKEL_CC_IF([cc], [c]) $1.y])
 152
 153 AT_LANG_COMPILE([$1.o])
 154 AT_CHECK([[echo "$1" >>expout]])
 155
 156 AT_BISON_OPTION_POPDEFS
 157 ])# AT_TEST
 158
 159 AT_DATA([main.cc],
 160 [AT_DATA_SOURCE_PROLOGUE
 161 [// If we are compiling with CC=$CXX, then do not load the C headers
 162 // inside extern "C", since they were _not_ compiled this way.
 163 #if ! CC_IS_CXX
 164 extern "C"
 165 {
 166 #endif
 167   #include "x1.h"
 168   #include "x2.h"
 169   #include "x3.h"
 170   #include "x4.h"
 171   #include "x6.h"
 172   #include "x7.h"
 173   #include "x8.h"
 174 #if ! CC_IS_CXX
 175 }
 176 #endif
 177 #include "x5.hh"
 178 //#include "x6.hh"
 179
 180 #define RUN(S)                                  \
 181   do {                                          \
 182     int res = S;                                \
 183     if (res)                                    \
 184       std::cerr << #S": " << res << std::endl;  \
 185   } while (false)
 186
 187 int
 188 main (void)
 189 {
 190   RUN(x1_parse());
 191   RUN(x2_parse());
 192   RUN(x3_parse());
 193   RUN(x4_parse());
 194   x5_::parser p5;
 195   RUN(p5.parse());
 196   RUN(x6_parse());
 197   RUN(x7_parse());
 198   RUN(x8_parse());
 199 //  x6_::parser p6;
 200 //  RUN(p6.parse());
 201   return 0;
 202 }
 203 ]])# main.cc
 204
 205 AT_TEST([x1], [])
 206 AT_TEST([x2], [%locations %debug])
 207 AT_TEST([x3], [%glr-parser])
 208 AT_TEST([x4], [%locations %debug %glr-parser])
 209 AT_TEST([x5], [%locations %debug %language "c++"])
 210 AT_TEST([x6], [%define api.pure])
 211 AT_TEST([x7], [%define api.push-pull both])
 212 AT_TEST([x8], [%define api.pure %define api.push-pull both])
 213 #AT_TEST([x5], [%locations %language "c++" %glr-parser])
 214
 215 # Check there is no 'yy' left.
 216 # C++ output relies on namespaces and still uses yy a lot.
 217 #
 218 # Check there is no 'YY' left.
 219 # Ignore comments, YYChar (template parameter), YYPUSH_MORE(_DEFINED)?
 220 # (constant definition), YY_\w+_INCLUDED (header guards).
 221 # YYDEBUG (not renamed) can be read, but not changed.
 222 AT_CHECK([[$PERL -n -0777 -e '
 223   s{/\*.*?\*/}{}gs;
 224   s{//.*}{}g;
 225   s{\b(YYChar
 226       |YYPUSH_MORE(_DEFINED)?
 227       |YY_\w+_INCLUDED
 228       |YY_NULL
 229       |(defined|if)\ YYDEBUG
 230       )\b}{}gx;
 231   while (/^(.*YY.*)$/gm)
 232   {
 233     print "$ARGV: invalid exported YY: $1\n";
 234   }
 235   if ($ARGV =~ /\.h$/)
 236   {
 237     while (/^(.*yy.*)$/gm)
 238     {
 239       print "$ARGV: invalid exported yy: $1\n";
 240     }
 241   }
 242 ' -- *.hh *.h]])
 243
 244 # Check that the headers are self-contained, and protected against
 245 # multiple inclusions.  While at it, check they are sane for C++.
 246 for h in *.h *.hh
 247 do
 248   # No shell expansion with AT_DATA.
 249   cat >$h.cc <<EOF
 250 AT_DATA_SOURCE_PROLOGUE
 251 #include "$h"
 252 #include "$h"
 253 EOF
 254   AT_COMPILE_CXX([$h.o])
 255 done
 256
 257 # Do this late, so that other checks have been performed.
 258 AT_SKIP_IF_CANNOT_LINK_C_AND_CXX
 259
 260 AT_COMPILE_CXX([parser], [[x[1-8].o -DCC_IS_CXX=$CC_IS_CXX main.cc]])
 261 AT_PARSER_CHECK([./parser], [0], [[expout]])
 262
 263 m4_popdef([AT_TEST])
 264
 265 AT_CLEANUP