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 18 AT_BANNER([[Skeleton Support.]]) 19 20 ## ------------------------------ ## 21 ## Relative skeleton file names. ## 22 ## ------------------------------ ## 23 24 AT_SETUP([[Relative skeleton file names]]) 25 26 AT_CHECK([[mkdir tmp]]) 27 28 AT_DATA([[tmp/skel.c]], 29 [[m4@&t@_divert_push(0)d@&t@nl 30 @output(b4_parser_file_name@)d@&t@nl 31 b4_percent_define_get([[test]]) 32 m4@&t@_divert_pop(0) 33 ]]) 34 35 AT_DATA([[skel.c]], 36 [[m4@&t@_divert_push(0)d@&t@nl 37 @output(b4_parser_file_name@)d@&t@nl 38 b4_percent_define_get([[test]]) -- Local 39 m4@&t@_divert_pop(0) 40 ]]) 41 42 AT_DATA([[tmp/input-gram.y]], 43 [[%skeleton "./skel.c" 44 %define test "Hello World" 45 %% 46 start: ; 47 ]]) 48 49 AT_DATA([[input-gram.y]], 50 [[%skeleton "./skel.c" 51 %define test "Hello World" 52 %% 53 start: ; 54 ]]) 55 56 AT_DATA([[tmp/input-cmd-line.y]], 57 [[%define test "Hello World" 58 %% 59 start: ; 60 ]]) 61 62 AT_BISON_CHECK([[tmp/input-gram.y]]) 63 AT_CHECK([[cat input-gram.tab.c]], [[0]], 64 [[Hello World 65 ]]) 66 67 AT_BISON_CHECK([[input-gram.y]]) 68 AT_CHECK([[cat input-gram.tab.c]], [[0]], 69 [[Hello World -- Local 70 ]]) 71 72 AT_BISON_CHECK([[--skeleton=tmp/skel.c tmp/input-cmd-line.y]]) 73 AT_CHECK([[cat input-cmd-line.tab.c]], [[0]], 74 [[Hello World 75 ]]) 76 77 AT_CLEANUP 78 79 80 ## ------------------------------- ## 81 ## Installed skeleton file names. ## 82 ## ------------------------------- ## 83 84 AT_SETUP([[Installed skeleton file names]]) 85 86 AT_BISON_OPTION_PUSHDEFS 87 m4_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 99 start: ; 100 101 %% 102 103 ]AT_YYERROR_DEFINE[ 104 int 105 yylex (void) 106 { 107 return 'a'; 108 } 109 110 int 111 main (void) 112 { 113 return yyparse (); 114 } 115 ]]) 116 117 AT_DATA_GRAMMAR([[input-cmd-line.y]], 118 [AT_GRAM]) 119 120 AT_DATA_GRAMMAR([[input-gram.y]], 121 [[%skeleton "yacc.c"] 122 AT_GRAM]) 123 124 AT_BISON_CHECK([[--skeleton=yacc.c -o input-cmd-line.c input-cmd-line.y]]) 125 AT_COMPILE([[input-cmd-line]]) 126 AT_PARSER_CHECK([[./input-cmd-line]], [[1]], [], 127 [[syntax error, unexpected 'a', expecting $end 128 ]]) 129 130 AT_BISON_CHECK([[-o input-gram.c input-gram.y]]) 131 AT_COMPILE([[input-gram]]) 132 AT_PARSER_CHECK([[./input-gram]], [[1]], [], 133 [[syntax error, unexpected 'a', expecting $end 134 ]]) 135 136 m4_popdef([AT_GRAM]) 137 138 AT_BISON_OPTION_POPDEFS 139 AT_CLEANUP 140 141 142 ## ------------------------------------------------------ ## 143 ## %define Boolean variables: invalid skeleton defaults. ## 144 ## ------------------------------------------------------ ## 145 146 AT_SETUP([[%define Boolean variables: invalid skeleton defaults]]) 147 148 AT_DATA([[skel.c]], 149 [[b4_percent_define_default([[foo]], [[bogus value]]) 150 b4_percent_define_flag_if([[foo]]) 151 ]]) 152 153 AT_DATA([[input.y]], 154 [[%skeleton "./skel.c" 155 %% 156 start: ; 157 ]]) 158 159 AT_BISON_CHECK([[input.y]], [[1]], [[]], 160 [[<skeleton default value>: error: invalid value for %define Boolean variable 'foo' 161 ]]) 162 163 AT_CLEANUP 164 165 166 ## --------------------------------------------- ## 167 ## Complaining during macro argument expansion. ## 168 ## --------------------------------------------- ## 169 170 AT_SETUP([[Complaining during macro argument expansion]]) 171 172 AT_DATA([[skel1.c]], 173 [[m4@&t@_define([foow], [b4_warn([[foow fubar]])]) 174 m4@&t@_define([foowat], [b4_warn_at([[foow.y:2.3]], 175 [[foow.y:5.4]], [[foowat fubar]])]) 176 m4@&t@_define([fooc], [b4_complain([[fooc fubar]])]) 177 m4@&t@_define([foocat], [b4_complain_at([[fooc.y:1.1]], 178 [[fooc.y:10.6]], [[foocat fubar]])]) 179 m4@&t@_define([foof], [b4_fatal([[foof fubar]])]) 180 m4@&t@_if(foow, [1], [yes]) 181 m4@&t@_if(foowat, [1], [yes]) 182 m4@&t@_if(fooc, [1], [yes]) 183 m4@&t@_if(foocat, [1], [yes]) 184 m4@&t@_if(foof, [1], [yes]) 185 ]]) 186 187 AT_DATA([[input1.y]], 188 [[%skeleton "./skel1.c" 189 %% 190 start: ; 191 ]]) 192 193 AT_BISON_CHECK([[input1.y]], [[1]], [[]], 194 [[input1.y: warning: foow fubar 195 foow.y:2.3-5.3: warning: foowat fubar 196 input1.y: error: fooc fubar 197 fooc.y:1.1-10.5: error: foocat fubar 198 input1.y: fatal error: foof fubar 199 ]]) 200 201 AT_DATA([[skel2.c]], 202 [[m4@&t@_define([foofat], [b4_fatal_at([[foof.y:12.11]], 203 [[foof.y:100.123]], [[foofat fubar]])]) 204 m4@&t@_if(foofat, [1], [yes]) 205 ]]) 206 207 AT_DATA([[input2.y]], 208 [[%skeleton "./skel2.c" 209 %% 210 start: ; 211 ]]) 212 213 AT_BISON_CHECK([[input2.y]], [[1]], [[]], 214 [[foof.y:12.11-100.122: fatal error: foofat fubar 215 ]]) 216 217 AT_DATA([[skel3.c]], 218 [[b4_complain_at(b4_percent_define_get_loc([[bogus]]), [[bad value]]) 219 ]]) 220 221 AT_DATA([[input3.y]], 222 [[%skeleton "./skel3.c" 223 %% 224 start: ; 225 ]]) 226 227 AT_BISON_CHECK([[input3.y]], [[1]], [[]], 228 [[input3.y: fatal error: b4_percent_define_get_loc: undefined %define variable 'bogus' 229 ]]) 230 231 AT_DATA([[skel4.c]], 232 [[b4_warn_at(b4_percent_define_get_syncline([[bogus]]), [[bad value]]) 233 ]]) 234 235 AT_DATA([[input4.y]], 236 [[%skeleton "./skel4.c" 237 %% 238 start: ; 239 ]]) 240 241 AT_BISON_CHECK([[input4.y]], [[1]], [[]], 242 [[input4.y: fatal error: b4_percent_define_get_syncline: undefined %define variable 'bogus' 243 ]]) 244 245 AT_CLEANUP 246 247 248 ## --------------------------------------- ## 249 ## Fatal errors make M4 exit immediately. ## 250 ## --------------------------------------- ## 251 252 AT_SETUP([[Fatal errors make M4 exit immediately]]) 253 254 AT_DATA([[skel1.c]], 255 [[b4_complain([[non-fatal error]]) 256 b4_fatal([[M4 should exit immediately here]]) 257 m4@&t@_fatal([this should never be evaluated]) 258 ]]) 259 260 AT_DATA([[input1.y]], 261 [[%skeleton "./skel1.c" 262 %% 263 start: ; 264 ]]) 265 266 AT_BISON_CHECK([[input1.y]], [[1]], [[]], 267 [[input1.y: error: non-fatal error 268 input1.y: fatal error: M4 should exit immediately here 269 ]]) 270 271 AT_DATA([[skel2.c]], 272 [[b4_warn([[morning]]) 273 b4_fatal_at([[foo.y:1.5]], [[foo.y:1.7]], [[M4 should exit immediately here]]) 274 m4@&t@_fatal([this should never be evaluated]) 275 ]]) 276 277 AT_DATA([[input2.y]], 278 [[%skeleton "./skel2.c" 279 %% 280 start: ; 281 ]]) 282 283 AT_BISON_CHECK([[input2.y]], [[1]], [[]], 284 [[input2.y: warning: morning 285 foo.y:1.5-6: fatal error: M4 should exit immediately here 286 ]]) 287 288 AT_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 306 AT_SETUP([[Fatal errors but M4 continues producing output]]) 307 308 AT_DATA([[gen-skel.pl]], 309 [[use warnings; 310 use strict; 311 my $M4 = "m4"; 312 my $DNL = "d"."nl"; 313 print "${M4}_divert_push(0)$DNL\n"; 314 print '@output(@,@)', "\n"; 315 (print "garbage"x10, "\n") for (1..1000); 316 print "${M4}_divert_pop(0)\n"; 317 ]]) 318 AT_CHECK([[$PERL gen-skel.pl > skel.c || exit 77]]) 319 320 AT_DATA([[input.y]], 321 [[%skeleton "./skel.c" 322 %% 323 start: ; 324 ]]) 325 326 AT_BISON_CHECK([[input.y]], [[1]], [[]], 327 [[input.y: fatal error: too many arguments for @output directive in skeleton 328 ]]) 329 330 AT_CLEANUP 331