tests/reduce.at

   1 # Exercising Bison Grammar Reduction.                      -*- Autotest -*-
   2 # Copyright 2001 Free Software Foundation, Inc.
   3
   4 # This program is free software; you can redistribute it and/or modify
   5 # it under the terms of the GNU General Public License as published by
   6 # the Free Software Foundation; either version 2, or (at your option)
   7 # any later version.
   8
   9 # This program is distributed in the hope that it will be useful,
  10 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  11 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  12 # GNU General Public License for more details.
  13
  14 # You should have received a copy of the GNU General Public License
  15 # along with this program; if not, write to the Free Software
  16 # Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
  17 # 02111-1307, USA.
  18
  19 AT_BANNER([[Grammar Reduction.]])
  20
  21
  22 ## ------------------- ##
  23 ## Useless Terminals.  ##
  24 ## ------------------- ##
  25
  26 AT_SETUP([Useless Terminals])
  27
  28 AT_DATA([[input.y]],
  29 [[%verbose
  30 %output="input.c"
  31
  32 %token useless1
  33 %token useless2
  34 %token useless3
  35 %token useless4
  36 %token useless5
  37 %token useless6
  38 %token useless7
  39 %token useless8
  40 %token useless9
  41
  42 %token useful
  43 %%
  44 exp: useful;
  45 ]])
  46
  47 AT_CHECK([[bison input.y]])
  48
  49 AT_CHECK([[sed -n '/^Grammar/q;/^$/!p' input.output]], 0,
  50 [[Terminals which are not used:
  51    useless1
  52    useless2
  53    useless3
  54    useless4
  55    useless5
  56    useless6
  57    useless7
  58    useless8
  59    useless9
  60 ]])
  61
  62 AT_CLEANUP
  63
  64
  65
  66 ## ---------------------- ##
  67 ## Useless Nonterminals.  ##
  68 ## ---------------------- ##
  69
  70 AT_SETUP([Useless Nonterminals])
  71
  72 AT_DATA([[input.y]],
  73 [[%verbose
  74 %output="input.c"
  75
  76 %nterm useless1
  77 %nterm useless2
  78 %nterm useless3
  79 %nterm useless4
  80 %nterm useless5
  81 %nterm useless6
  82 %nterm useless7
  83 %nterm useless8
  84 %nterm useless9
  85
  86 %token useful
  87 %%
  88 exp: useful;
  89 ]])
  90
  91 AT_CHECK([[bison input.y]], 0, [],
  92 [[input.y: warning: 9 useless nonterminals
  93 input.y:4.8-15: warning: useless nonterminal: useless1
  94 input.y:5.8-15: warning: useless nonterminal: useless2
  95 input.y:6.8-15: warning: useless nonterminal: useless3
  96 input.y:7.8-15: warning: useless nonterminal: useless4
  97 input.y:8.8-15: warning: useless nonterminal: useless5
  98 input.y:9.8-15: warning: useless nonterminal: useless6
  99 input.y:10.8-15: warning: useless nonterminal: useless7
 100 input.y:11.8-15: warning: useless nonterminal: useless8
 101 input.y:12.8-15: warning: useless nonterminal: useless9
 102 ]])
 103
 104 AT_CHECK([[sed -n '/^Grammar/q;/^$/!p' input.output]], 0,
 105 [[Useless nonterminals:
 106    useless1
 107    useless2
 108    useless3
 109    useless4
 110    useless5
 111    useless6
 112    useless7
 113    useless8
 114    useless9
 115 ]])
 116
 117 AT_CLEANUP
 118
 119
 120
 121 ## --------------- ##
 122 ## Useless Rules.  ##
 123 ## --------------- ##
 124
 125 AT_SETUP([Useless Rules])
 126
 127 AT_KEYWORDS([report])
 128
 129 AT_DATA([[input.y]],
 130 [[%verbose
 131 %output="input.c"
 132 %token useful
 133 %%
 134 exp: useful;
 135 useless1: '1';
 136 useless2: '2';
 137 useless3: '3';
 138 useless4: '4';
 139 useless5: '5';
 140 useless6: '6';
 141 useless7: '7';
 142 useless8: '8';
 143 useless9: '9';
 144 ]])
 145
 146 AT_CHECK([[bison input.y]], 0, [],
 147 [[input.y: warning: 9 useless nonterminals and 9 useless rules
 148 input.y:6.1-8: warning: useless nonterminal: useless1
 149 input.y:7.1-8: warning: useless nonterminal: useless2
 150 input.y:8.1-8: warning: useless nonterminal: useless3
 151 input.y:9.1-8: warning: useless nonterminal: useless4
 152 input.y:10.1-8: warning: useless nonterminal: useless5
 153 input.y:11.1-8: warning: useless nonterminal: useless6
 154 input.y:12.1-8: warning: useless nonterminal: useless7
 155 input.y:13.1-8: warning: useless nonterminal: useless8
 156 input.y:14.1-8: warning: useless nonterminal: useless9
 157 input.y:6.9-13: warning: useless rule: useless1: '1'
 158 input.y:7.9-13: warning: useless rule: useless2: '2'
 159 input.y:8.9-13: warning: useless rule: useless3: '3'
 160 input.y:9.9-13: warning: useless rule: useless4: '4'
 161 input.y:10.9-13: warning: useless rule: useless5: '5'
 162 input.y:11.9-13: warning: useless rule: useless6: '6'
 163 input.y:12.9-13: warning: useless rule: useless7: '7'
 164 input.y:13.9-13: warning: useless rule: useless8: '8'
 165 input.y:14.9-13: warning: useless rule: useless9: '9'
 166 ]])
 167
 168 AT_CHECK([[sed -n '/^Grammar/q;/^$/!p' input.output]], 0,
 169 [[Useless nonterminals:
 170    useless1
 171    useless2
 172    useless3
 173    useless4
 174    useless5
 175    useless6
 176    useless7
 177    useless8
 178    useless9
 179 Terminals which are not used:
 180    '1'
 181    '2'
 182    '3'
 183    '4'
 184    '5'
 185    '6'
 186    '7'
 187    '8'
 188    '9'
 189 Useless rules
 190     2 useless1: '1'
 191     3 useless2: '2'
 192     4 useless3: '3'
 193     5 useless4: '4'
 194     6 useless5: '5'
 195     7 useless6: '6'
 196     8 useless7: '7'
 197     9 useless8: '8'
 198    10 useless9: '9'
 199 ]])
 200
 201 AT_CLEANUP
 202
 203
 204
 205 ## ------------------- ##
 206 ## Reduced Automaton.  ##
 207 ## ------------------- ##
 208
 209 # Check that the automaton is that as the for the grammar reduced by
 210 # hand.
 211
 212 AT_SETUP([Reduced Automaton])
 213
 214 AT_KEYWORDS([report])
 215
 216 # The non reduced grammar.
 217 # ------------------------
 218 AT_DATA([[not-reduced.y]],
 219 [[/* A useless token. */
 220 %token useless_token
 221 /* A useful one. */
 222 %token useful
 223 %verbose
 224 %output="not-reduced.c"
 225
 226 %%
 227
 228 exp: useful            { /* A useful action. */ }
 229    | non_productive    { /* A non productive action. */ }
 230    ;
 231
 232 not_reachable: useful  { /* A not reachable action. */ }
 233              ;
 234
 235 non_productive: non_productive useless_token
 236                        { /* Another non productive action. */ }
 237               ;
 238 %%
 239 ]])
 240
 241 AT_CHECK([[bison not-reduced.y]], 0, [],
 242 [[not-reduced.y: warning: 2 useless nonterminals and 3 useless rules
 243 not-reduced.y:14.1-13: warning: useless nonterminal: not_reachable
 244 not-reduced.y:11.6-19: warning: useless nonterminal: non_productive
 245 not-reduced.y:11.4-57: warning: useless rule: exp: non_productive
 246 not-reduced.y:14.14-56: warning: useless rule: not_reachable: useful
 247 not-reduced.y:17.15-18.63: warning: useless rule: non_productive: non_productive useless_token
 248 ]])
 249
 250 AT_CHECK([[sed -n '/^Grammar/q;/^$/!p' not-reduced.output]], 0,
 251 [[Useless nonterminals:
 252    not_reachable
 253    non_productive
 254 Terminals which are not used:
 255    useless_token
 256 Useless rules
 257     2 exp: non_productive
 258     3 not_reachable: useful
 259     4 non_productive: non_productive useless_token
 260 ]])
 261
 262 # The reduced grammar.
 263 # --------------------
 264 AT_DATA([[reduced.y]],
 265 [[/* A useless token. */
 266 %token useless_token
 267 /* A useful one. */
 268 %token useful
 269 %verbose
 270 %output="reduced.c"
 271
 272 %%
 273
 274 exp: useful            { /* A useful action. */ }
 275 //   | non_productive    { /* A non productive action. */ } */
 276    ;
 277
 278 //not_reachable: useful  { /* A not reachable action. */ }
 279 //             ;
 280
 281 //non_productive: non_productive useless_token
 282 //                       { /* Another non productive action. */ }
 283 //              ;
 284 %%
 285 ]])
 286
 287 AT_CHECK([[bison reduced.y]])
 288
 289 # Comparing the parsers.
 290 cp reduced.c expout
 291 AT_CHECK([sed 's/not-reduced/reduced/g' not-reduced.c], 0, [expout])
 292
 293 AT_CLEANUP
 294
 295
 296
 297 ## ------------------- ##
 298 ## Underivable Rules.  ##
 299 ## ------------------- ##
 300
 301 AT_SETUP([Underivable Rules])
 302
 303 AT_KEYWORDS([report])
 304
 305 AT_DATA([[input.y]],
 306 [[%verbose
 307 %output="input.c"
 308 %token useful
 309 %%
 310 exp: useful | underivable;
 311 underivable: indirection;
 312 indirection: underivable;
 313 ]])
 314
 315 AT_CHECK([[bison input.y]], 0, [],
 316 [[input.y: warning: 2 useless nonterminals and 3 useless rules
 317 input.y:5.15-25: warning: useless nonterminal: underivable
 318 input.y:6.14-24: warning: useless nonterminal: indirection
 319 input.y:5.13-25: warning: useless rule: exp: underivable
 320 input.y:6.12-24: warning: useless rule: underivable: indirection
 321 input.y:7.12-24: warning: useless rule: indirection: underivable
 322 ]])
 323
 324 AT_CHECK([[sed -n '/^Grammar/q;/^$/!p' input.output]], 0,
 325 [[Useless nonterminals:
 326    underivable
 327    indirection
 328 Useless rules
 329     2 exp: underivable
 330     3 underivable: indirection
 331     4 indirection: underivable
 332 ]])
 333
 334 AT_CLEANUP
 335
 336
 337
 338 ## ---------------- ##
 339 ## Empty Language.  ##
 340 ## ---------------- ##
 341
 342 AT_SETUP([Empty Language])
 343
 344 AT_DATA([[input.y]],
 345 [[%output="input.c"
 346 %%
 347 exp: exp;
 348 ]])
 349
 350 AT_CHECK([[bison input.y]], 1, [],
 351 [[input.y: warning: 2 useless nonterminals and 2 useless rules
 352 input.y:3.1-3: fatal error: start symbol exp does not derive any sentence
 353 ]])
 354
 355 AT_CLEANUP