Re: "Assertion failed!"

[Colin Campbell]

On 2015-06-13 10:52 AM, David Kastrup wrote:
> Daniel Rosen <address@hidden> writes:
>
> > > -----Original Message-----
> > > From: David Kastrup [mailto:address@hidden
> > > Sent: Saturday, June 13, 2015 5:23 AM
> > > To: Andrew Bernard
> > > Cc: Daniel Rosen; address@hidden
> > > Subject: Re: "Assertion failed!"
> > >
> > > Andrew Bernard <address@hidden> writes:
> > >
> > > > Hi David,
> > > >
> > > > The one I have reported dumps core. So pretty much a fatal error.
> > > Assertion failures always dump core.  The idea is that they dump core at a
> > > point of time where one is still reasonably close to the problem
> > > rather than at
> > > some arbitrary point later.
> > >
> > > A core dump can be used for analyzing the state of the program at the point
> > > of the core dump.
> > >
> > > > But it is good to know the program behaviour has been altered and that
> > > > accounts for why we are suddenly seeing assertion failures when they
> > > > occur.
> > > The difference is just that the production version of LilyPond no longer
> > > ignores assertions and just crosses fingers.
> > >
> > > Some assertions might warrant converting into programming errors, some
> > > assertions might warrant finding the cause and either fixing it or putting up
> > > some sensible continuation strategy.
> > >
> > > At any rate, the failed assertions will not go away by themselves:
> > > making suitable small examples and reporting them on the bug reporting list
> > > will give developers a chance to look at them as they occur.
> > Would it still be helpful for me to submit a bug report, or have you
> > now identified an existing issue as the culprit?
> I haven't.  That code is not my area of expertise.
Under the assumption that the changed assertion handling is exposing 
previously non-fatal bugs, I propose to create separate issues for the 3 
items now known: Daniel's two and another reported by Andrew Barnard.  
Given David K's comments, this seems preferabvle to updating Issue 2787.

Cheers,
Colin

--
I've learned that you shouldn't go through life with a catcher's mitt on both 
hands.
You need to be able to throw something back.
-Maya Angelou, poet (1928- )