From 75ad86eebd3f49dff81976eb83036eb7b7793e68 Mon Sep 17 00:00:00 2001 From: "Joel E. Denny" Date: Tue, 8 May 2007 05:03:53 +0000 Subject: [PATCH] * NEWS (2.3a+): Mention yesterday's state-removal change. (2.3a): Remove the %language entry, which was added after 2.3a. * src/LR0.c, src/closure.c, src/closure.h, src/conflicts.c, src/conflicts.h, src/lalr.c, src/lalr.h, src/print.c, src/print_graph.c, src/state.c, src/state.h, tests/conflicts.at, tests/existing.at: Update copyright date. --- ChangeLog | 9 +++++++++ NEWS | 15 ++++++++++++--- src/LR0.c | 2 +- src/closure.c | 2 +- src/closure.h | 2 +- src/conflicts.c | 4 ++-- src/conflicts.h | 2 +- src/lalr.c | 2 +- src/lalr.h | 2 +- src/print.c | 2 +- src/print_graph.c | 2 +- src/state.c | 2 +- src/state.h | 2 +- tests/conflicts.at | 2 +- tests/existing.at | 4 ++-- 15 files changed, 36 insertions(+), 18 deletions(-) diff --git a/ChangeLog b/ChangeLog index 6d0cec9d..dc8d7835 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,12 @@ +2007-05-07 Joel E. Denny + + * NEWS (2.3a+): Mention yesterday's state-removal change. + (2.3a): Remove the %language entry, which was added after 2.3a. + * src/LR0.c, src/closure.c, src/closure.h, src/conflicts.c, + src/conflicts.h, src/lalr.c, src/lalr.h, src/print.c, + src/print_graph.c, src/state.c, src/state.h, tests/conflicts.at, + tests/existing.at: Update copyright date. + 2007-05-06 Joel E. Denny If conflict resolution makes states unreachable, remove those states, diff --git a/NEWS b/NEWS index 68fb66f0..854023cc 100644 --- a/NEWS +++ b/NEWS @@ -3,6 +3,18 @@ Bison News Changes in version 2.3a+ (????-??-??): +* Previously, Bison sometimes generated parser tables with states that were + unreachable due to conflicts in predecessor states. Bison now: + + 1. Removes unreachable states. + + 2. Does not report any conflicts that appeared in unreachable states. + WARNING: As a result, you may need to update %expect and %expect-rr + directives in existing grammar files. + + 3. For any rule used only in such states, Bison now reports the rule as + "never reduced because of conflicts". + * The -g and --graph options now output graphs in Graphviz DOT format, not VCG format. @@ -92,9 +104,6 @@ Changes in version 2.3a+ (????-??-??): Changes in version 2.3a, 2006-09-13: -* Bison now supports generating Java parsers. Grammars written for - the Java language should include the `%language "Java"' directive. - * Instead of %union, you can define and use your own union type YYSTYPE if your grammar contains at least one tag. Your YYSTYPE need not be a macro; it can be a typedef. diff --git a/src/LR0.c b/src/LR0.c index f94f5ec9..3fd633fa 100644 --- a/src/LR0.c +++ b/src/LR0.c @@ -1,6 +1,6 @@ /* Generate the nondeterministic finite state machine for Bison. - Copyright (C) 1984, 1986, 1989, 2000, 2001, 2002, 2004, 2005, 2006 + Copyright (C) 1984, 1986, 1989, 2000, 2001, 2002, 2004, 2005, 2006, 2007 Free Software Foundation, Inc. This file is part of Bison, the GNU Compiler Compiler. diff --git a/src/closure.c b/src/closure.c index a12e9622..89b033ff 100644 --- a/src/closure.c +++ b/src/closure.c @@ -1,6 +1,6 @@ /* Closures for Bison - Copyright (C) 1984, 1989, 2000, 2001, 2002, 2004, 2005 Free + Copyright (C) 1984, 1989, 2000, 2001, 2002, 2004, 2005, 2007 Free Software Foundation, Inc. This file is part of Bison, the GNU Compiler Compiler. diff --git a/src/closure.h b/src/closure.h index c170e645..96c849e0 100644 --- a/src/closure.h +++ b/src/closure.h @@ -1,6 +1,6 @@ /* Subroutines for bison - Copyright (C) 1984, 1989, 2000, 2001, 2002 Free Software + Copyright (C) 1984, 1989, 2000, 2001, 2002, 2007 Free Software Foundation, Inc. This file is part of Bison, the GNU Compiler Compiler. diff --git a/src/conflicts.c b/src/conflicts.c index 16fa0ae0..cb7f13a6 100644 --- a/src/conflicts.c +++ b/src/conflicts.c @@ -1,7 +1,7 @@ /* Find and resolve or report lookahead conflicts for bison, - Copyright (C) 1984, 1989, 1992, 2000, 2001, 2002, 2003, 2004, 2005, 2006 - Free Software Foundation, Inc. + Copyright (C) 1984, 1989, 1992, 2000, 2001, 2002, 2003, 2004, 2005, 2006, + 2007 Free Software Foundation, Inc. This file is part of Bison, the GNU Compiler Compiler. diff --git a/src/conflicts.h b/src/conflicts.h index 055905eb..95c5d69b 100644 --- a/src/conflicts.h +++ b/src/conflicts.h @@ -1,5 +1,5 @@ /* Find and resolve or report lookahead conflicts for bison, - Copyright (C) 2000, 2001, 2002, 2004 Free Software Foundation, Inc. + Copyright (C) 2000, 2001, 2002, 2004, 2007 Free Software Foundation, Inc. This file is part of Bison, the GNU Compiler Compiler. diff --git a/src/lalr.c b/src/lalr.c index 00455b06..f7560552 100644 --- a/src/lalr.c +++ b/src/lalr.c @@ -1,7 +1,7 @@ /* Compute lookahead criteria for Bison. Copyright (C) 1984, 1986, 1989, 2000, 2001, 2002, 2003, 2004, 2005, - 2006 Free Software Foundation, Inc. + 2006, 2007 Free Software Foundation, Inc. This file is part of Bison, the GNU Compiler Compiler. diff --git a/src/lalr.h b/src/lalr.h index 0c68cd74..3fb2ca2f 100644 --- a/src/lalr.h +++ b/src/lalr.h @@ -1,6 +1,6 @@ /* Compute lookahead criteria for bison, - Copyright (C) 1984, 1986, 1989, 2000, 2002, 2004, 2006 Free Software + Copyright (C) 1984, 1986, 1989, 2000, 2002, 2004, 2006, 2007 Free Software Foundation, Inc. This file is part of Bison, the GNU Compiler Compiler. diff --git a/src/print.c b/src/print.c index 3fecc2a7..f16816a0 100644 --- a/src/print.c +++ b/src/print.c @@ -1,6 +1,6 @@ /* Print information on generated parser, for bison, - Copyright (C) 1984, 1986, 1989, 2000, 2001, 2002, 2003, 2004, 2005 + Copyright (C) 1984, 1986, 1989, 2000, 2001, 2002, 2003, 2004, 2005, 2007 Free Software Foundation, Inc. This file is part of Bison, the GNU Compiler Compiler. diff --git a/src/print_graph.c b/src/print_graph.c index 8898c9aa..76a76587 100644 --- a/src/print_graph.c +++ b/src/print_graph.c @@ -1,6 +1,6 @@ /* Output a graph of the generated parser, for Bison. - Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006 Free Software + Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006, 2007 Free Software Foundation, Inc. This file is part of Bison, the GNU Compiler Compiler. diff --git a/src/state.c b/src/state.c index bae3575e..9448da7d 100644 --- a/src/state.c +++ b/src/state.c @@ -1,6 +1,6 @@ /* Type definitions for nondeterministic finite state machine for Bison. - Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006 Free Software + Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006, 2007 Free Software Foundation, Inc. This file is part of Bison, the GNU Compiler Compiler. diff --git a/src/state.h b/src/state.h index 668aa73f..e0aa6b75 100644 --- a/src/state.h +++ b/src/state.h @@ -1,6 +1,6 @@ /* Type definitions for nondeterministic finite state machine for Bison. - Copyright (C) 1984, 1989, 2000, 2001, 2002, 2003, 2004 Free + Copyright (C) 1984, 1989, 2000, 2001, 2002, 2003, 2004, 2007 Free Software Foundation, Inc. This file is part of Bison, the GNU Compiler Compiler. diff --git a/tests/conflicts.at b/tests/conflicts.at index 79a77307..21ba86d7 100644 --- a/tests/conflicts.at +++ b/tests/conflicts.at @@ -1,6 +1,6 @@ # Exercising Bison on conflicts. -*- Autotest -*- -# Copyright (C) 2002, 2003, 2004, 2005 Free Software Foundation, Inc. +# Copyright (C) 2002, 2003, 2004, 2005, 2007 Free Software Foundation, Inc. # 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 diff --git a/tests/existing.at b/tests/existing.at index cb385f53..fe343584 100644 --- a/tests/existing.at +++ b/tests/existing.at @@ -1,7 +1,7 @@ # Exercising Bison on actual grammars. -*- Autotest -*- -# Copyright (C) 1989, 1990, 1991, 1992, 2000, 2001, 2002, 2003, 2004, 2005 -# Free Software Foundation, Inc. +# Copyright (C) 1989, 1990, 1991, 1992, 2000, 2001, 2002, 2003, 2004, 2005, +# 2007 Free Software Foundation, Inc. # 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 -- 2.47.2