* src/conflicts.c (conflicts_output): Don't output rules never

[bison.git] / tests / reduce.at

diff --git a/tests/reduce.at b/tests/reduce.at
index ba9d27edd8e9cbcf0e49ffbf7039a96ac5a05c57..e475cb04a8d2ffa3cd9cf70988b9d4a2336888e4 100644 (file)
--- a/tests/reduce.at
+++ b/tests/reduce.at
@@ -47,7 +47,7 @@ exp: useful;
 AT_CHECK([[bison input.y]])
 
 AT_CHECK([[sed -n '/^Grammar/q;/^$/!p' input.output]], 0,
 AT_CHECK([[bison input.y]])
 
 AT_CHECK([[sed -n '/^Grammar/q;/^$/!p' input.output]], 0,

-[[Terminals which are not used:
+[[Terminals which are not used

    useless1
    useless2
    useless3
    useless1
    useless2
    useless3


@@ -102,7 +102,7 @@ input.y:12.8-15: warning: useless nonterminal: useless9
 ]])
 
 AT_CHECK([[sed -n '/^Grammar/q;/^$/!p' input.output]], 0,
 ]])
 
 AT_CHECK([[sed -n '/^Grammar/q;/^$/!p' input.output]], 0,

-[[Useless nonterminals:
+[[Useless nonterminals

    useless1
    useless2
    useless3
    useless1
    useless2
    useless3


@@ -124,6 +124,8 @@ AT_CLEANUP
 
 AT_SETUP([Useless Rules])
 
 
 AT_SETUP([Useless Rules])
 

+AT_KEYWORDS([report])
+

 AT_DATA([[input.y]],
 [[%verbose
 %output="input.c"
 AT_DATA([[input.y]],
 [[%verbose
 %output="input.c"


@@ -164,7 +166,7 @@ input.y:14.9-13: warning: useless rule: useless9: '9'
 ]])
 
 AT_CHECK([[sed -n '/^Grammar/q;/^$/!p' input.output]], 0,
 ]])
 
 AT_CHECK([[sed -n '/^Grammar/q;/^$/!p' input.output]], 0,

-[[Useless nonterminals:
+[[Useless nonterminals

    useless1
    useless2
    useless3
    useless1
    useless2
    useless3


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

-Terminals which are not used:
+Terminals which are not used

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


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

-Useless rules:
-#2     useless1: '1';
-#3     useless2: '2';
-#4     useless3: '3';
-#5     useless4: '4';
-#6     useless5: '5';
-#7     useless6: '6';
-#8     useless7: '7';
-#9     useless8: '8';
-#10    useless9: '9';
+Useless rules
+    2 useless1: '1'
+    3 useless2: '2'
+    4 useless3: '3'
+    5 useless4: '4'
+    6 useless5: '5'
+    7 useless6: '6'
+    8 useless7: '7'
+    9 useless8: '8'
+   10 useless9: '9'

 ]])
 
 AT_CLEANUP
 ]])
 
 AT_CLEANUP


@@ -209,6 +211,8 @@ AT_CLEANUP
 
 AT_SETUP([Reduced Automaton])
 
 
 AT_SETUP([Reduced Automaton])
 

+AT_KEYWORDS([report])
+

 # The non reduced grammar.
 # ------------------------
 AT_DATA([[not-reduced.y]],
 # The non reduced grammar.
 # ------------------------
 AT_DATA([[not-reduced.y]],


@@ -244,15 +248,15 @@ not-reduced.y:17.15-18.63: warning: useless rule: non_productive: non_productive
 ]])
 
 AT_CHECK([[sed -n '/^Grammar/q;/^$/!p' not-reduced.output]], 0,
 ]])
 
 AT_CHECK([[sed -n '/^Grammar/q;/^$/!p' not-reduced.output]], 0,

-[[Useless nonterminals:
+[[Useless nonterminals

    not_reachable
    non_productive
    not_reachable
    non_productive

-Terminals which are not used:
+Terminals which are not used

    useless_token
    useless_token

-Useless rules:
-#2     exp: non_productive;
-#3     not_reachable: useful;
-#4     non_productive: non_productive useless_token;
+Useless rules
+    2 exp: non_productive
+    3 not_reachable: useful
+    4 non_productive: non_productive useless_token

 ]])
 
 # The reduced grammar.
 ]])
 
 # The reduced grammar.


@@ -296,6 +300,8 @@ AT_CLEANUP
 
 AT_SETUP([Underivable Rules])
 
 
 AT_SETUP([Underivable Rules])
 

+AT_KEYWORDS([report])
+

 AT_DATA([[input.y]],
 [[%verbose
 %output="input.c"
 AT_DATA([[input.y]],
 [[%verbose
 %output="input.c"


@@ -316,13 +322,34 @@ input.y:7.12-24: warning: useless rule: indirection: underivable
 ]])
 
 AT_CHECK([[sed -n '/^Grammar/q;/^$/!p' input.output]], 0,
 ]])
 
 AT_CHECK([[sed -n '/^Grammar/q;/^$/!p' input.output]], 0,

-[[Useless nonterminals:
+[[Useless nonterminals

    underivable
    indirection
    underivable
    indirection

-Useless rules:
-#2     exp: underivable;
-#3     underivable: indirection;
-#4     indirection: underivable;
+Useless rules
+    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_CHECK([[bison input.y]], 1, [],
+[[input.y: warning: 2 useless nonterminals and 2 useless rules
+input.y:3.1-3: fatal error: start symbol exp does not derive any sentence

 ]])
 
 AT_CLEANUP
 ]])
 
 AT_CLEANUP