Fix --help.

[bison.git] / tests / reduce.at

diff --git a/tests/reduce.at b/tests/reduce.at
index 7dc939ed399e4428911efeb30449c28cd37287fa..5fe650a894abebe4b49bb9c2ee93da33ae640ec9 100644 (file)
--- a/tests/reduce.at
+++ b/tests/reduce.at
@@ -1,20 +1,18 @@
 # Exercising Bison Grammar Reduction.                      -*- Autotest -*-
 # Exercising Bison Grammar Reduction.                      -*- Autotest -*-

-# Copyright 2001 Free Software Foundation, Inc.
+# Copyright (C) 2001, 2002, 2007, 2008 Free Software Foundation, Inc.

 
 

-# This program is free software; you can redistribute it and/or modify
+# This program is free software: you can redistribute it and/or modify

 # it under the terms of the GNU General Public License as published by
 # it under the terms of the GNU General Public License as published by

-# the Free Software Foundation; either version 2, or (at your option)
-# any later version.
-
+# the Free Software Foundation, either version 3 of the License, or
+# (at your option) any later version.
+#

 # This program is distributed in the hope that it will be useful,
 # but WITHOUT ANY WARRANTY; without even the implied warranty of
 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 # GNU General Public License for more details.
 # This program is distributed in the hope that it will be useful,
 # but WITHOUT ANY WARRANTY; without even the implied warranty of
 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 # GNU General Public License for more details.

-
+#

 # You should have received a copy of the GNU General Public License
 # You should have received a copy of the GNU General Public License

-# along with this program; if not, write to the Free Software
-# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
-# 02111-1307, USA.
+# along with this program.  If not, see <http://www.gnu.org/licenses/>.

 
 AT_BANNER([[Grammar Reduction.]])
 
 
 AT_BANNER([[Grammar Reduction.]])
 


@@ -27,7 +25,7 @@ AT_SETUP([Useless Terminals])
 
 AT_DATA([[input.y]],
 [[%verbose
 
 AT_DATA([[input.y]],
 [[%verbose

-%output="input.c"
+%output "input.c"

 
 %token useless1
 %token useless2
 
 %token useless1
 %token useless2


@@ -44,10 +42,10 @@ AT_DATA([[input.y]],
 exp: useful;
 ]])
 
 exp: useful;
 ]])
 

-AT_CHECK([[bison input.y]])
+AT_BISON_CHECK([[input.y]])

 
 AT_CHECK([[sed -n '/^Grammar/q;/^$/!p' input.output]], 0,
 
 AT_CHECK([[sed -n '/^Grammar/q;/^$/!p' input.output]], 0,

-[[Terminals which are not used:
+[[Terminals unused in grammar

    useless1
    useless2
    useless3
    useless1
    useless2
    useless3


@@ -71,7 +69,7 @@ AT_SETUP([Useless Nonterminals])
 
 AT_DATA([[input.y]],
 [[%verbose
 
 AT_DATA([[input.y]],
 [[%verbose

-%output="input.c"
+%output "input.c"

 
 %nterm useless1
 %nterm useless2
 
 %nterm useless1
 %nterm useless2


@@ -88,21 +86,21 @@ AT_DATA([[input.y]],
 exp: useful;
 ]])
 
 exp: useful;
 ]])
 

-AT_CHECK([[bison input.y]], 0, [],
-[[input.y: warning: 9 useless nonterminals
-input.y:4.8-15: warning: useless nonterminal: useless1
-input.y:5.8-15: warning: useless nonterminal: useless2
-input.y:6.8-15: warning: useless nonterminal: useless3
-input.y:7.8-15: warning: useless nonterminal: useless4
-input.y:8.8-15: warning: useless nonterminal: useless5
-input.y:9.8-15: warning: useless nonterminal: useless6
-input.y:10.8-15: warning: useless nonterminal: useless7
-input.y:11.8-15: warning: useless nonterminal: useless8
-input.y:12.8-15: warning: useless nonterminal: useless9
+AT_BISON_CHECK([[input.y]], 0, [],
+[[input.y: warning: 9 nonterminals useless in grammar
+input.y:4.8-15: warning: nonterminal useless in grammar: useless1
+input.y:5.8-15: warning: nonterminal useless in grammar: useless2
+input.y:6.8-15: warning: nonterminal useless in grammar: useless3
+input.y:7.8-15: warning: nonterminal useless in grammar: useless4
+input.y:8.8-15: warning: nonterminal useless in grammar: useless5
+input.y:9.8-15: warning: nonterminal useless in grammar: useless6
+input.y:10.8-15: warning: nonterminal useless in grammar: useless7
+input.y:11.8-15: warning: nonterminal useless in grammar: useless8
+input.y:12.8-15: warning: nonterminal useless in grammar: useless9

 ]])
 
 AT_CHECK([[sed -n '/^Grammar/q;/^$/!p' input.output]], 0,
 ]])
 
 AT_CHECK([[sed -n '/^Grammar/q;/^$/!p' input.output]], 0,

-[[Useless nonterminals:
+[[Nonterminals useless in grammar

    useless1
    useless2
    useless3
    useless1
    useless2
    useless3


@@ -128,7 +126,7 @@ AT_KEYWORDS([report])
 
 AT_DATA([[input.y]],
 [[%verbose
 
 AT_DATA([[input.y]],
 [[%verbose

-%output="input.c"
+%output "input.c"

 %token useful
 %%
 exp: useful;
 %token useful
 %%
 exp: useful;


@@ -143,30 +141,31 @@ useless8: '8';
 useless9: '9';
 ]])
 
 useless9: '9';
 ]])
 

-AT_CHECK([[bison input.y]], 0, [],
-[[input.y: warning: 9 useless nonterminals and 9 useless rules
-input.y:6.1-8: warning: useless nonterminal: useless1
-input.y:7.1-8: warning: useless nonterminal: useless2
-input.y:8.1-8: warning: useless nonterminal: useless3
-input.y:9.1-8: warning: useless nonterminal: useless4
-input.y:10.1-8: warning: useless nonterminal: useless5
-input.y:11.1-8: warning: useless nonterminal: useless6
-input.y:12.1-8: warning: useless nonterminal: useless7
-input.y:13.1-8: warning: useless nonterminal: useless8
-input.y:14.1-8: warning: useless nonterminal: useless9
-input.y:6.9-13: warning: useless rule: useless1: '1'
-input.y:7.9-13: warning: useless rule: useless2: '2'
-input.y:8.9-13: warning: useless rule: useless3: '3'
-input.y:9.9-13: warning: useless rule: useless4: '4'
-input.y:10.9-13: warning: useless rule: useless5: '5'
-input.y:11.9-13: warning: useless rule: useless6: '6'
-input.y:12.9-13: warning: useless rule: useless7: '7'
-input.y:13.9-13: warning: useless rule: useless8: '8'
-input.y:14.9-13: warning: useless rule: useless9: '9'
+AT_BISON_CHECK([[input.y]], 0, [],
+[[input.y: warning: 9 nonterminals useless in grammar
+input.y: warning: 9 rules useless in grammar
+input.y:6.1-8: warning: nonterminal useless in grammar: useless1
+input.y:7.1-8: warning: nonterminal useless in grammar: useless2
+input.y:8.1-8: warning: nonterminal useless in grammar: useless3
+input.y:9.1-8: warning: nonterminal useless in grammar: useless4
+input.y:10.1-8: warning: nonterminal useless in grammar: useless5
+input.y:11.1-8: warning: nonterminal useless in grammar: useless6
+input.y:12.1-8: warning: nonterminal useless in grammar: useless7
+input.y:13.1-8: warning: nonterminal useless in grammar: useless8
+input.y:14.1-8: warning: nonterminal useless in grammar: useless9
+input.y:6.11-13: warning: rule useless in grammar: useless1: '1'
+input.y:7.11-13: warning: rule useless in grammar: useless2: '2'
+input.y:8.11-13: warning: rule useless in grammar: useless3: '3'
+input.y:9.11-13: warning: rule useless in grammar: useless4: '4'
+input.y:10.11-13: warning: rule useless in grammar: useless5: '5'
+input.y:11.11-13: warning: rule useless in grammar: useless6: '6'
+input.y:12.11-13: warning: rule useless in grammar: useless7: '7'
+input.y:13.11-13: warning: rule useless in grammar: useless8: '8'
+input.y:14.11-13: warning: rule useless in grammar: useless9: '9'

 ]])
 
 AT_CHECK([[sed -n '/^Grammar/q;/^$/!p' input.output]], 0,
 ]])
 
 AT_CHECK([[sed -n '/^Grammar/q;/^$/!p' input.output]], 0,

-[[Useless nonterminals:
+[[Nonterminals useless in grammar

    useless1
    useless2
    useless3
    useless1
    useless2
    useless3


@@ -176,7 +175,7 @@ AT_CHECK([[sed -n '/^Grammar/q;/^$/!p' input.output]], 0,
    useless7
    useless8
    useless9
    useless7
    useless8
    useless9

-Terminals which are not used:
+Terminals unused in grammar

    '1'
    '2'
    '3'
    '1'
    '2'
    '3'


@@ -186,7 +185,7 @@ Terminals which are not used:
    '7'
    '8'
    '9'
    '7'
    '8'
    '9'

-Useless rules
+Rules useless in grammar

     2 useless1: '1'
     3 useless2: '2'
     4 useless3: '3'
     2 useless1: '1'
     3 useless2: '2'
     4 useless3: '3'


@@ -221,7 +220,7 @@ AT_DATA([[not-reduced.y]],
 /* A useful one. */
 %token useful
 %verbose
 /* A useful one. */
 %token useful
 %verbose

-%output="not-reduced.c"
+%output "not-reduced.c"

 
 %%
 
 
 %%
 


@@ -238,22 +237,23 @@ non_productive: non_productive useless_token
 %%
 ]])
 
 %%
 ]])
 

-AT_CHECK([[bison not-reduced.y]], 0, [],
-[[not-reduced.y: warning: 2 useless nonterminals and 3 useless rules
-not-reduced.y:14.1-13: warning: useless nonterminal: not_reachable
-not-reduced.y:11.6-19: warning: useless nonterminal: non_productive
-not-reduced.y:11.4-57: warning: useless rule: exp: non_productive
-not-reduced.y:14.14-56: warning: useless rule: not_reachable: useful
-not-reduced.y:17.15-18.63: warning: useless rule: non_productive: non_productive useless_token
+AT_BISON_CHECK([[not-reduced.y]], 0, [],
+[[not-reduced.y: warning: 2 nonterminals useless in grammar
+not-reduced.y: warning: 3 rules useless in grammar
+not-reduced.y:14.1-13: warning: nonterminal useless in grammar: not_reachable
+not-reduced.y:11.6-19: warning: nonterminal useless in grammar: non_productive
+not-reduced.y:11.6-57: warning: rule useless in grammar: exp: non_productive
+not-reduced.y:14.16-56: warning: rule useless in grammar: not_reachable: useful
+not-reduced.y:17.17-18.63: warning: rule useless in grammar: non_productive: non_productive useless_token

 ]])
 
 AT_CHECK([[sed -n '/^Grammar/q;/^$/!p' not-reduced.output]], 0,
 ]])
 
 AT_CHECK([[sed -n '/^Grammar/q;/^$/!p' not-reduced.output]], 0,

-[[Useless nonterminals:
+[[Nonterminals useless in grammar

    not_reachable
    non_productive
    not_reachable
    non_productive

-Terminals which are not used:
+Terminals unused in grammar

    useless_token
    useless_token

-Useless rules
+Rules useless in grammar

     2 exp: non_productive
     3 not_reachable: useful
     4 non_productive: non_productive useless_token
     2 exp: non_productive
     3 not_reachable: useful
     4 non_productive: non_productive useless_token


@@ -267,7 +267,7 @@ AT_DATA([[reduced.y]],
 /* A useful one. */
 %token useful
 %verbose
 /* A useful one. */
 %token useful
 %verbose

-%output="reduced.c"
+%output "reduced.c"

 
 %%
 
 
 %%
 


@@ -284,7 +284,7 @@ exp: useful            { /* A useful action. */ }
 %%
 ]])
 
 %%
 ]])
 

-AT_CHECK([[bison reduced.y]])
+AT_BISON_CHECK([[reduced.y]])

 
 # Comparing the parsers.
 cp reduced.c expout
 
 # Comparing the parsers.
 cp reduced.c expout


@@ -304,7 +304,7 @@ AT_KEYWORDS([report])
 
 AT_DATA([[input.y]],
 [[%verbose
 
 AT_DATA([[input.y]],
 [[%verbose

-%output="input.c"
+%output "input.c"

 %token useful
 %%
 exp: useful | underivable;
 %token useful
 %%
 exp: useful | underivable;


@@ -312,23 +312,46 @@ underivable: indirection;
 indirection: underivable;
 ]])
 
 indirection: underivable;
 ]])
 

-AT_CHECK([[bison input.y]], 0, [],
-[[input.y: warning: 2 useless nonterminals and 3 useless rules
-input.y:5.15-25: warning: useless nonterminal: underivable
-input.y:6.14-24: warning: useless nonterminal: indirection
-input.y:5.13-25: warning: useless rule: exp: underivable
-input.y:6.12-24: warning: useless rule: underivable: indirection
-input.y:7.12-24: warning: useless rule: indirection: underivable
+AT_BISON_CHECK([[input.y]], 0, [],
+[[input.y: warning: 2 nonterminals useless in grammar
+input.y: warning: 3 rules useless in grammar
+input.y:5.15-25: warning: nonterminal useless in grammar: underivable
+input.y:6.14-24: warning: nonterminal useless in grammar: indirection
+input.y:5.15-25: warning: rule useless in grammar: exp: underivable
+input.y:6.14-24: warning: rule useless in grammar: underivable: indirection
+input.y:7.14-24: warning: rule useless in grammar: indirection: underivable

 ]])
 
 AT_CHECK([[sed -n '/^Grammar/q;/^$/!p' input.output]], 0,
 ]])
 
 AT_CHECK([[sed -n '/^Grammar/q;/^$/!p' input.output]], 0,

-[[Useless nonterminals:
+[[Nonterminals useless in grammar

    underivable
    indirection
    underivable
    indirection

-Useless rules
+Rules useless in grammar

     2 exp: underivable
     3 underivable: indirection
     4 indirection: underivable
 ]])
 
 AT_CLEANUP
     2 exp: underivable
     3 underivable: indirection
     4 indirection: underivable
 ]])
 
 AT_CLEANUP

+
+
+
+## ---------------- ##
+## Empty Language.  ##
+## ---------------- ##
+
+AT_SETUP([Empty Language])
+
+AT_DATA([[input.y]],
+[[%output "input.c"
+%%
+exp: exp;
+]])
+
+AT_BISON_CHECK([[input.y]], 1, [],
+[[input.y: warning: 2 nonterminals useless in grammar
+input.y: warning: 2 rules useless in grammar
+input.y:3.1-3: fatal error: start symbol exp does not derive any sentence
+]])
+
+AT_CLEANUP