Re: proposed patch for Bison core dumps when using lalr1.cc

[Akim Demaille]

Here is a proposed patch to fix a couple of Bison core dumps reported
by Tim Van Holder.

2003-01-26  Paul Eggert  <address@hidden>

        * data/lalr1.cc: Do not use @output_header_name@ unless
        b4_defines_flag is set.  This fixes two bugs reported by
        Tim Van Holder in
        <http://mail.gnu.org/archive/html/bug-bison/2003-01/msg00071.html>
        and <http://mail.gnu.org/archive/html/bug-bison/2003-01/msg00073.html>.

This patch is wrong: the header is not optional.  M4 should die if the
value is not defined.  I'll do that when I have time.