1# Checking skeleton support. -*- Autotest -*- 2 3# Copyright (C) 2007, 2009-2012 Free Software Foundation, Inc. 4 5# This program is free software: you can redistribute it and/or modify 6# it under the terms of the GNU General Public License as published by 7# the Free Software Foundation, either version 3 of the License, or 8# (at your option) any later version. 9# 10# This program is distributed in the hope that it will be useful, 11# but WITHOUT ANY WARRANTY; without even the implied warranty of 12# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 13# GNU General Public License for more details. 14# 15# You should have received a copy of the GNU General Public License 16# along with this program. If not, see <http://www.gnu.org/licenses/>. 17 18AT_BANNER([[Skeleton Support.]]) 19 20## ------------------------------ ## 21## Relative skeleton file names. ## 22## ------------------------------ ## 23 24AT_SETUP([[Relative skeleton file names]]) 25 26AT_CHECK([[mkdir tmp]]) 27 28AT_DATA([[tmp/skel.c]], 29[[m4@&t@_divert_push(0)d@&t@nl 30@output(b4_parser_file_name@)d@&t@nl 31b4_percent_define_get([[test]]) 32m4@&t@_divert_pop(0) 33]]) 34 35AT_DATA([[skel.c]], 36[[m4@&t@_divert_push(0)d@&t@nl 37@output(b4_parser_file_name@)d@&t@nl 38b4_percent_define_get([[test]]) -- Local 39m4@&t@_divert_pop(0) 40]]) 41 42AT_DATA([[tmp/input-gram.y]], 43[[%skeleton "./skel.c" 44%define test "Hello World" 45%% 46start: ; 47]]) 48 49AT_DATA([[input-gram.y]], 50[[%skeleton "./skel.c" 51%define test "Hello World" 52%% 53start: ; 54]]) 55 56AT_DATA([[tmp/input-cmd-line.y]], 57[[%define test "Hello World" 58%% 59start: ; 60]]) 61 62AT_BISON_CHECK([[tmp/input-gram.y]]) 63AT_CHECK([[cat input-gram.tab.c]], [[0]], 64[[Hello World 65]]) 66 67AT_BISON_CHECK([[input-gram.y]]) 68AT_CHECK([[cat input-gram.tab.c]], [[0]], 69[[Hello World -- Local 70]]) 71 72AT_BISON_CHECK([[--skeleton=tmp/skel.c tmp/input-cmd-line.y]]) 73AT_CHECK([[cat input-cmd-line.tab.c]], [[0]], 74[[Hello World 75]]) 76 77AT_CLEANUP 78 79 80## ------------------------------- ## 81## Installed skeleton file names. ## 82## ------------------------------- ## 83 84AT_SETUP([[Installed skeleton file names]]) 85 86AT_BISON_OPTION_PUSHDEFS 87m4_pushdef([AT_GRAM], 88[[%{ 89 #include <stdio.h> 90 ]AT_YYERROR_DECLARE[ 91 int yylex (void); 92%} 93 94%error-verbose 95%token 'a' 96 97%% 98 99start: ; 100 101%% 102 103]AT_YYERROR_DEFINE[ 104int 105yylex (void) 106{ 107 return 'a'; 108} 109 110int 111main (void) 112{ 113 return yyparse (); 114} 115]]) 116 117AT_DATA_GRAMMAR([[input-cmd-line.y]], 118[AT_GRAM]) 119 120AT_DATA_GRAMMAR([[input-gram.y]], 121[[%skeleton "yacc.c"] 122AT_GRAM]) 123 124AT_BISON_CHECK([[--skeleton=yacc.c -o input-cmd-line.c input-cmd-line.y]]) 125AT_COMPILE([[input-cmd-line]]) 126AT_PARSER_CHECK([[./input-cmd-line]], [[1]], [], 127[[syntax error, unexpected 'a', expecting $end 128]]) 129 130AT_BISON_CHECK([[-o input-gram.c input-gram.y]]) 131AT_COMPILE([[input-gram]]) 132AT_PARSER_CHECK([[./input-gram]], [[1]], [], 133[[syntax error, unexpected 'a', expecting $end 134]]) 135 136m4_popdef([AT_GRAM]) 137 138AT_BISON_OPTION_POPDEFS 139AT_CLEANUP 140 141 142## ------------------------------------------------------ ## 143## %define Boolean variables: invalid skeleton defaults. ## 144## ------------------------------------------------------ ## 145 146AT_SETUP([[%define Boolean variables: invalid skeleton defaults]]) 147 148AT_DATA([[skel.c]], 149[[b4_percent_define_default([[foo]], [[bogus value]]) 150b4_percent_define_flag_if([[foo]]) 151]]) 152 153AT_DATA([[input.y]], 154[[%skeleton "./skel.c" 155%% 156start: ; 157]]) 158 159AT_BISON_CHECK([[input.y]], [[1]], [[]], 160[[<skeleton default value>: error: invalid value for %define Boolean variable 'foo' 161]]) 162 163AT_CLEANUP 164 165 166## --------------------------------------------- ## 167## Complaining during macro argument expansion. ## 168## --------------------------------------------- ## 169 170AT_SETUP([[Complaining during macro argument expansion]]) 171 172AT_DATA([[skel1.c]], 173[[m4@&t@_define([foow], [b4_warn([[foow fubar]])]) 174m4@&t@_define([foowat], [b4_warn_at([[foow.y:2.3]], 175 [[foow.y:5.4]], [[foowat fubar]])]) 176m4@&t@_define([fooc], [b4_complain([[fooc fubar]])]) 177m4@&t@_define([foocat], [b4_complain_at([[fooc.y:1.1]], 178 [[fooc.y:10.6]], [[foocat fubar]])]) 179m4@&t@_define([foof], [b4_fatal([[foof fubar]])]) 180m4@&t@_if(foow, [1], [yes]) 181m4@&t@_if(foowat, [1], [yes]) 182m4@&t@_if(fooc, [1], [yes]) 183m4@&t@_if(foocat, [1], [yes]) 184m4@&t@_if(foof, [1], [yes]) 185]]) 186 187AT_DATA([[input1.y]], 188[[%skeleton "./skel1.c" 189%% 190start: ; 191]]) 192 193AT_BISON_CHECK([[input1.y]], [[1]], [[]], 194[[input1.y: warning: foow fubar 195foow.y:2.3-5.3: warning: foowat fubar 196input1.y: error: fooc fubar 197fooc.y:1.1-10.5: error: foocat fubar 198input1.y: fatal error: foof fubar 199]]) 200 201AT_DATA([[skel2.c]], 202[[m4@&t@_define([foofat], [b4_fatal_at([[foof.y:12.11]], 203 [[foof.y:100.123]], [[foofat fubar]])]) 204m4@&t@_if(foofat, [1], [yes]) 205]]) 206 207AT_DATA([[input2.y]], 208[[%skeleton "./skel2.c" 209%% 210start: ; 211]]) 212 213AT_BISON_CHECK([[input2.y]], [[1]], [[]], 214[[foof.y:12.11-100.122: fatal error: foofat fubar 215]]) 216 217AT_DATA([[skel3.c]], 218[[b4_complain_at(b4_percent_define_get_loc([[bogus]]), [[bad value]]) 219]]) 220 221AT_DATA([[input3.y]], 222[[%skeleton "./skel3.c" 223%% 224start: ; 225]]) 226 227AT_BISON_CHECK([[input3.y]], [[1]], [[]], 228[[input3.y: fatal error: b4_percent_define_get_loc: undefined %define variable 'bogus' 229]]) 230 231AT_DATA([[skel4.c]], 232[[b4_warn_at(b4_percent_define_get_syncline([[bogus]]), [[bad value]]) 233]]) 234 235AT_DATA([[input4.y]], 236[[%skeleton "./skel4.c" 237%% 238start: ; 239]]) 240 241AT_BISON_CHECK([[input4.y]], [[1]], [[]], 242[[input4.y: fatal error: b4_percent_define_get_syncline: undefined %define variable 'bogus' 243]]) 244 245AT_CLEANUP 246 247 248## --------------------------------------- ## 249## Fatal errors make M4 exit immediately. ## 250## --------------------------------------- ## 251 252AT_SETUP([[Fatal errors make M4 exit immediately]]) 253 254AT_DATA([[skel1.c]], 255[[b4_complain([[non-fatal error]]) 256b4_fatal([[M4 should exit immediately here]]) 257m4@&t@_fatal([this should never be evaluated]) 258]]) 259 260AT_DATA([[input1.y]], 261[[%skeleton "./skel1.c" 262%% 263start: ; 264]]) 265 266AT_BISON_CHECK([[input1.y]], [[1]], [[]], 267[[input1.y: error: non-fatal error 268input1.y: fatal error: M4 should exit immediately here 269]]) 270 271AT_DATA([[skel2.c]], 272[[b4_warn([[morning]]) 273b4_fatal_at([[foo.y:1.5]], [[foo.y:1.7]], [[M4 should exit immediately here]]) 274m4@&t@_fatal([this should never be evaluated]) 275]]) 276 277AT_DATA([[input2.y]], 278[[%skeleton "./skel2.c" 279%% 280start: ; 281]]) 282 283AT_BISON_CHECK([[input2.y]], [[1]], [[]], 284[[input2.y: warning: morning 285foo.y:1.5-6: fatal error: M4 should exit immediately here 286]]) 287 288AT_CLEANUP 289 290 291## ------------------------------------------------ ## 292## Fatal errors but M4 continues producing output. ## 293## ------------------------------------------------ ## 294 295# At one time, if Bison encountered a fatal error during M4 processing, 296# Bison failed to drain M4's output pipe. The result was a SIGPIPE. 297# On some platforms, the default disposition for SIGPIPE is terminate, 298# which was fine. On others, it's ignore, which caused M4 to report 299# the broken pipe to the user, but we don't want to bother the user with 300# that. 301 302# There is a race condition somewhere. That is, before the associated 303# fix, running this test group many times in a row would occasionally 304# produce a pass among all the failures. 305 306AT_SETUP([[Fatal errors but M4 continues producing output]]) 307 308AT_DATA([[gen-skel.pl]], 309[[use warnings; 310use strict; 311my $M4 = "m4"; 312my $DNL = "d"."nl"; 313print "${M4}_divert_push(0)$DNL\n"; 314print '@output(@,@)', "\n"; 315(print "garbage"x10, "\n") for (1..1000); 316print "${M4}_divert_pop(0)\n"; 317]]) 318AT_CHECK([[$PERL gen-skel.pl > skel.c || exit 77]]) 319 320AT_DATA([[input.y]], 321[[%skeleton "./skel.c" 322%% 323start: ; 324]]) 325 326AT_BISON_CHECK([[input.y]], [[1]], [[]], 327[[input.y: fatal error: too many arguments for @output directive in skeleton 328]]) 329 330AT_CLEANUP 331