GNU bug report logs - #27761
Crash while using proof-general/company-coq on OS X

Previous Next

Full log

View this message in rfc822 format

From: Денис Редозубов
 <denis.redozubov <at> gmail.com>
To: Eli Zaretskii <eliz <at> gnu.org>
Cc: 27761 <at> debbugs.gnu.org, John Wiegley <jwiegley <at> gmail.com>
Subject: bug#27761: Crash while using proof-general/company-coq on OS X
Date: Wed, 19 Jul 2017 15:03:37 -0400

[Message part 1 (text/plain, inline)]

I think it's reasonable to do both, but maybe it makes more sense to me to
start with the latter. I'll need some help from John though. We'll keep you
posted.

2017-07-19 14:40 GMT-04:00 Eli Zaretskii <eliz <at> gnu.org>:

> > From: John Wiegley <jwiegley <at> gmail.com>
> > Cc: denis.redozubov <at> gmail.com,  27761 <at> debbugs.gnu.org
> > Date: Wed, 19 Jul 2017 14:34:15 -0400
> >
> > >>>>> Eli Zaretskii <eliz <at> gnu.org> writes:
> >
> > >> This may be hard, but we'll try. It's 100% reproducible in both 25.1
> and
> > >> 25.2, but involves company-coq, Proof General, and some particular
> source
> > >> files.
> >
> > > Aren't those available for reproducing on another machine?
> >
> > Sure, if you're willing to install them, we can send the source files
> and the
> > exact steps.
>
> Please go ahead.
>
> > > Alternatively, I could guide you through debugging the recursion, but
> I'll
> > > need you to use GDB, not the macOS debugger.
> >
> > Sadly, only lldb is possible here. :(
>
> Then I cannot help you with specific commands, but if you could step
> through that code in get_next_display_element which recurses, and tell
> me why it does so, what is the character where this happens, and what
> is the value of it->method there, it could give some hints.
>

[Message part 2 (text/html, inline)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.