tests/headers.at

   1 # Bison Parser Headers.                               -*- Autotest -*-
   2
   3 # Copyright (C) 2001-2002, 2006-2007, 2009-2015, 2018-2019 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: %empty;
  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 AT_SETUP([export YYLTYPE])
  69
  70 AT_BISON_OPTION_PUSHDEFS([%name-prefix "my_"])
  71 AT_DATA_GRAMMAR([input.y],
  72 [[%locations
  73
  74 %name-prefix "my_"
  75 %{
  76 #include <stdio.h>
  77 #include <stdlib.h>
  78
  79 ]AT_YYERROR_DEFINE[
  80 ]AT_YYLEX_DEFINE[
  81 %}
  82 %%
  83 exp: %empty;
  84 ]])
  85
  86 AT_BISON_CHECK([--defines -o input.c input.y], [], [],
  87 [[input.y:11.1-18: warning: deprecated directive: '%name-prefix "my_"', use '%define api.prefix {my_}' [-Wdeprecated]
  88 input.y: warning: fix-its can be applied.  Rerun with option '--update'. [-Wother]
  89 ]])
  90
  91 # YYLTYPE should be defined, and MY_LLOC declared.
  92 AT_DATA([caller.c],
  93 [[#include "input.h"
  94 YYLTYPE *my_llocp = &my_lloc;
  95
  96 int my_parse (void);
  97
  98 ]AT_MAIN_DEFINE[
  99 ]])
 100
 101 # Link and execute, just to make sure everything is fine (and in
 102 # particular, that MY_LLOC is indeed defined somewhere).
 103 AT_COMPILE([caller.o])
 104 AT_COMPILE([input.o])
 105 AT_COMPILE([caller], [caller.o input.o])
 106 AT_PARSER_CHECK([caller])
 107 AT_BISON_OPTION_POPDEFS
 108 AT_CLEANUP
 109
 110
 111
 112 ## -------------- ##
 113 ## Sane headers.  ##
 114 ## -------------- ##
 115
 116 # AT_TEST([DIRECTIVES], [COMPILER-FLAGS])
 117 # ---------------------------------------
 118 # Check that headers are self-contained and protected againt multiple
 119 # inclusions.
 120
 121 m4_pushdef([AT_TEST],
 122 [AT_SETUP([Sane headers: $1])
 123
 124 AT_BISON_OPTION_PUSHDEFS([$1])
 125 AT_DATA_GRAMMAR([input.y],
 126 [[$1
 127 %define parse.error verbose
 128 ]AT_VARIANT_IF([%token <int> 'x'], [%union {int integer;}])[
 129 %code {
 130 #include <stdio.h> /* printf. */
 131 ]AT_PUSH_IF([[
 132 #if defined __GNUC__ && (7 == __GNUC__ || 9 == __GNUC__)
 133 # pragma GCC diagnostic ignored "-Wmaybe-uninitialized"
 134 #endif
 135 ]])[
 136   ]AT_YYERROR_DECLARE[
 137   ]AT_YYLEX_DECLARE[
 138 }
 139 %%
 140 exp:
 141   'x' { printf ("x\n"); }
 142 ;
 143
 144 %%
 145 ]AT_YYERROR_DEFINE[
 146 ]AT_YYLEX_DEFINE(["x"])[
 147 ]])
 148
 149 AT_BISON_CHECK([-d -o input.AT_LANG_EXT input.y])
 150
 151 AT_LANG_COMPILE([input.o])
 152
 153 AT_DATA([main.cc],
 154 [AT_DATA_SOURCE_PROLOGUE
 155 AT_MAIN_DEFINE
 156 ])
 157
 158 # Check that the headers are self-contained, and protected against
 159 # multiple inclusions.  While at it, check they are sane for C++.
 160 for h in *.AT_LANG_HDR
 161 do
 162   # No shell expansion with AT_DATA.
 163   cat >$h.AT_LANG_EXT <<EOF
 164 AT_DATA_SOURCE_PROLOGUE
 165 #include "$h"
 166 #include "$h"
 167 EOF
 168   AT_LANG_COMPILE([$h.o])
 169 done
 170
 171 AT_BISON_OPTION_POPDEFS
 172
 173 AT_CLEANUP
 174 ])# AT_TEST
 175
 176 AT_TEST([])
 177 AT_TEST([%locations %debug])
 178
 179 AT_TEST([%glr-parser])
 180 AT_TEST([%locations %debug %glr-parser])
 181
 182 AT_TEST([%define api.pure])
 183 AT_TEST([%define api.push-pull both])
 184 AT_TEST([%define api.pure %define api.push-pull both])
 185
 186 AT_TEST([%language "c++"])
 187 AT_TEST([%locations %debug %language "c++"])
 188 AT_TEST([%language "c++" %define api.value.type variant %define parse.assert])
 189
 190 AT_TEST([%locations %language "c++" %glr-parser])
 191
 192
 193
 194 ## ----------------- ##
 195 ## Several parsers.  ##
 196 ## ----------------- ##
 197
 198 AT_SETUP([Several parsers])
 199
 200 # AT_TEST([PREFIX], [DIRECTIVES])
 201 # -------------------------------
 202 # Generate and compile to *.o.  Make sure there is no (allowed) YY*
 203 # nor yy* identifiers in the header after applying api.prefix.  Check
 204 # that headers can be compiled by a C++ compiler.
 205 m4_pushdef([AT_TEST],
 206 [AT_BISON_OPTION_PUSHDEFS([%define api.prefix {$1_} $2])
 207 AT_DATA_GRAMMAR([$1.y],
 208 [[%define api.prefix {$1_}
 209 $2
 210 %define parse.error verbose
 211 %union
 212 {
 213   int integer;
 214 }
 215 %{
 216 #include <stdio.h> /* printf. */
 217 ]AT_PUSH_IF([[
 218 #if defined __GNUC__ && (7 == __GNUC__ || 9 == __GNUC__)
 219 # pragma GCC diagnostic ignored "-Wmaybe-uninitialized"
 220 #endif
 221 ]])[
 222   ]AT_YYERROR_DECLARE[
 223   ]AT_YYLEX_DECLARE[
 224 %}
 225 %%
 226 exp:
 227   'x' '1' { printf ("x1\n"); }
 228 | 'x' '2' { printf ("x2\n"); }
 229 | 'x' '3' { printf ("x3\n"); }
 230 | 'x' '4' { printf ("x4\n"); }
 231 | 'x' '5' { printf ("x5\n"); }
 232 | 'x' '6' { printf ("x6\n"); }
 233 | 'x' '7' { printf ("x7\n"); }
 234 | 'x' '8' { printf ("x8\n"); }
 235 | 'x' '9' { printf ("x9\n"); }
 236 ;
 237
 238 %%
 239 ]AT_YYERROR_DEFINE[
 240 ]AT_YYLEX_DEFINE(["$1"])[
 241 ]])
 242
 243 AT_BISON_CHECK([-d -o $1.AT_LANG_EXT $1.y])
 244
 245 AT_LANG_COMPILE([$1.o])
 246 AT_CHECK([[echo "$1" >>expout]])
 247
 248 AT_BISON_OPTION_POPDEFS
 249 ])# AT_TEST
 250
 251 AT_DATA([main.cc],
 252 [AT_DATA_SOURCE_PROLOGUE
 253 [// If we are compiling with CC=$CXX, then do not load the C headers
 254 // inside extern "C", since they were _not_ compiled this way.
 255 #if ! CC_IS_CXX
 256 extern "C"
 257 {
 258 #endif
 259   #include "x1.h"
 260   #include "x2.h"
 261   #include "x3.h"
 262   #include "x4.h"
 263   #include "x6.h"
 264   #include "x7.h"
 265   #include "x8.h"
 266 #if ! CC_IS_CXX
 267 }
 268 #endif
 269 #include "x5.hh"
 270 #include "x9.hh"
 271
 272 #define RUN(S)                                  \
 273   do {                                          \
 274     int res = S;                                \
 275     if (res)                                    \
 276       std::cerr << #S": " << res << '\n';       \
 277   } while (false)
 278
 279 int
 280 main (void)
 281 {
 282   RUN(x1_parse());
 283   RUN(x2_parse());
 284   RUN(x3_parse());
 285   RUN(x4_parse());
 286   x5_::parser p5;
 287   RUN(p5.parse());
 288   RUN(x6_parse());
 289   RUN(x7_parse());
 290   RUN(x8_parse());
 291   x9_::parser p9;
 292   RUN(p9.parse());
 293   return 0;
 294 }
 295 ]])# main.cc
 296
 297 AT_TEST([x1], [])
 298 AT_TEST([x2], [%locations %debug])
 299 AT_TEST([x3], [%glr-parser])
 300 AT_TEST([x4], [%locations %debug %glr-parser])
 301 AT_TEST([x5], [%locations %debug %language "c++"])
 302 AT_TEST([x6], [%define api.pure])
 303 AT_TEST([x7], [%define api.push-pull both])
 304 AT_TEST([x8], [%define api.pure %define api.push-pull both])
 305 AT_TEST([x9], [%locations %code requires {#include "location.hh"} %define api.location.type {x5_::location} %debug %language "c++"])
 306 #AT_TEST([x5], [%locations %language "c++" %glr-parser])
 307
 308 # Check that api.prefix works properly:
 309 #
 310 # - no 'yy' left.
 311 #   C++ output relies on namespaces and still uses yy a lot.
 312 #
 313 # - no 'YY' left.
 314 #   Ignore comments, YYChar (template parameter), YYPUSH_MORE(_DEFINED)?
 315 #   (constant definition), YY_\w+_INCLUDED (header guards).
 316 #   YYDEBUG (not renamed) can be read, but not changed.
 317 AT_PERL_CHECK([[-n -0777 -e '
 318   s{/\*.*?\*/}{}gs;
 319   s{//.*}{}g;
 320   s{\b((defined|if)\ YYDEBUG
 321       |YYChar
 322       |YYPUSH_MORE(?:_DEFINED)?
 323       |YYUSE
 324       |YY_ATTRIBUTE(?:_PURE|_UNUSED)
 325       |YY(?:_REINTERPRET)?_CAST
 326       |YY_CONSTEXPR
 327       |YY_COPY
 328       |YY_CPLUSPLUS
 329       |YY_IGNORE_(?:MAYBE_UNINITIALIZED|USELESS_CAST)_(?:BEGIN|END)
 330       |YY_INITIAL_VALUE
 331       |YY_MOVE
 332       |YY_MOVE_OR_COPY
 333       |YY_MOVE_REF
 334       |YY_NOEXCEPT
 335       |YY_NOTHROW
 336       |YY_NULLPTR
 337       |YY_RVREF
 338       |YY_\w+_INCLUDED
 339       )\b}{}gx;
 340   while (/^(.*YY.*)$/gm)
 341   {
 342     print "$ARGV: invalid exported YY: $1\n";
 343   }
 344   if ($ARGV =~ /\.h$/)
 345   {
 346     while (/^(.*yy.*)$/gm)
 347     {
 348       print "$ARGV: invalid exported yy: $1\n";
 349     }
 350   }
 351 ' -- *.hh *.h]])
 352
 353 # Do this late, so that other checks have been performed.
 354 AT_SKIP_IF_CANNOT_LINK_C_AND_CXX
 355
 356 AT_COMPILE_CXX([parser], [[x[1-9].o -DCC_IS_CXX=$CC_IS_CXX main.cc]])
 357 AT_PARSER_CHECK([parser], [0], [[expout]])
 358
 359 m4_popdef([AT_TEST])
 360
 361 AT_CLEANUP