Re: no users destructors if stack 0 deleted (was: Re: duplicated user destructor for lookahead)

[Joel E. Denny]

On Mon, 26 Sep 2005, Joel E. Denny wrote:

> On Tue, 20 Sep 2005, Joel E. Denny wrote:
>
> > In the event of memory exhaustion, if stack 0 happens to be marked for 
> > deletion (guaranteeing that in a test case is not something I want to think 
> > about), no user destructors are called on any symbols.
>
> I created a test case.

<snip>

> I created a patch using this approach.
>
> I've only tested after applying my earlier `duplicated user destructor for 
> lookahead' patch, which I cut from the diff for this patch.

I just want to be sure the two patches and one test case mentioned above 
are not forgotten.  You can find them here:

  http://lists.gnu.org/archive/html/bison-patches/2005-09/msg00078.html
  http://lists.gnu.org/archive/html/bison-patches/2005-09/msg00109.html

Joel